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

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

=== Now, execution of the tool begins

BK_START 1494636477842


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ Diffusion2D-PT-D40N050 @ 3539 seconds
----- Start make result stdout -----
lola: LoLA will run for 3539 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 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-D40N050-UpperBounds.task
lola: MAX(cAMP__8_4_) : MAX(cAMP__5_28_) : MAX(cAMP__24_7_) : MAX(cAMP__31_15_) : MAX(cAMP__30_1_) : MAX(cAMP__23_8_) : MAX(cAMP__38_33_) : MAX(cAMP__18_24_) : MAX(cAMP__29_28_) : MAX(cAMP__27_21_) : MAX(cAMP__35_33_) : MAX(cAMP__26_40_) : MAX(cAMP__39_39_) : MAX(cAMP__25_22_) : MAX(cAMP__28_26_) : MAX(cAMP__35_36_)
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__8_4_)
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: 4327 markings, 12387 edges, 865 markings/sec, 0 secs
lola: 8576 markings, 25436 edges, 850 markings/sec, 5 secs
lola: 12942 markings, 39489 edges, 873 markings/sec, 10 secs
lola: 17291 markings, 53741 edges, 870 markings/sec, 15 secs
lola: 21657 markings, 67635 edges, 873 markings/sec, 20 secs
lola: 26010 markings, 81957 edges, 871 markings/sec, 25 secs
lola: 30365 markings, 95532 edges, 871 markings/sec, 30 secs
lola: 34722 markings, 109671 edges, 871 markings/sec, 35 secs
lola: 39021 markings, 123025 edges, 860 markings/sec, 40 secs
lola: 43327 markings, 136520 edges, 861 markings/sec, 45 secs
lola: 47628 markings, 151134 edges, 860 markings/sec, 50 secs
lola: 51927 markings, 165490 edges, 860 markings/sec, 55 secs
lola: 56242 markings, 178937 edges, 863 markings/sec, 60 secs
lola: 60569 markings, 192604 edges, 865 markings/sec, 65 secs
lola: 64920 markings, 206063 edges, 870 markings/sec, 70 secs
lola: 69287 markings, 219379 edges, 873 markings/sec, 75 secs
lola: 73553 markings, 232873 edges, 853 markings/sec, 80 secs
lola: 77880 markings, 247668 edges, 865 markings/sec, 85 secs
lola: 82208 markings, 261916 edges, 866 markings/sec, 90 secs
lola: 86558 markings, 275748 edges, 870 markings/sec, 95 secs
lola: 90939 markings, 289614 edges, 876 markings/sec, 100 secs
lola: 95288 markings, 302742 edges, 870 markings/sec, 105 secs
lola: 99633 markings, 316122 edges, 869 markings/sec, 110 secs
lola: 103966 markings, 331139 edges, 867 markings/sec, 115 secs
lola: 108296 markings, 344505 edges, 866 markings/sec, 120 secs
lola: 112643 markings, 357866 edges, 869 markings/sec, 125 secs
lola: 116959 markings, 372101 edges, 863 markings/sec, 130 secs
lola: 121297 markings, 385667 edges, 868 markings/sec, 135 secs
lola: 125622 markings, 399311 edges, 865 markings/sec, 140 secs
lola: 129950 markings, 413222 edges, 866 markings/sec, 145 secs
lola: 134272 markings, 426602 edges, 864 markings/sec, 150 secs
lola: 138582 markings, 440487 edges, 862 markings/sec, 155 secs
lola: 142920 markings, 454135 edges, 868 markings/sec, 160 secs
lola: 147239 markings, 468054 edges, 864 markings/sec, 165 secs
lola: 151572 markings, 481428 edges, 867 markings/sec, 170 secs
lola: 155890 markings, 495569 edges, 864 markings/sec, 175 secs
lola: 160182 markings, 509015 edges, 858 markings/sec, 180 secs
lola: 164477 markings, 522560 edges, 859 markings/sec, 185 secs
lola: 168772 markings, 536256 edges, 859 markings/sec, 190 secs
lola: 173074 markings, 550109 edges, 860 markings/sec, 195 secs
lola: 177396 markings, 563883 edges, 864 markings/sec, 200 secs
lola: 181697 markings, 578544 edges, 860 markings/sec, 205 secs
lola: 185999 markings, 592092 edges, 860 markings/sec, 210 secs
lola: 190314 markings, 605556 edges, 863 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__5_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: 4421 markings, 15392 edges, 884 markings/sec, 0 secs
lola: 8837 markings, 31934 edges, 883 markings/sec, 5 secs
lola: 13283 markings, 46736 edges, 889 markings/sec, 10 secs
lola: 17695 markings, 61572 edges, 882 markings/sec, 15 secs
lola: 22102 markings, 77540 edges, 881 markings/sec, 20 secs
lola: 26505 markings, 93103 edges, 881 markings/sec, 25 secs
lola: 30892 markings, 108655 edges, 877 markings/sec, 30 secs
lola: 35303 markings, 123583 edges, 882 markings/sec, 35 secs
lola: 39721 markings, 138740 edges, 884 markings/sec, 40 secs
lola: 44124 markings, 154591 edges, 881 markings/sec, 45 secs
lola: 48539 markings, 171017 edges, 883 markings/sec, 50 secs
lola: 52996 markings, 186317 edges, 891 markings/sec, 55 secs
lola: 57494 markings, 202008 edges, 900 markings/sec, 60 secs
lola: 61927 markings, 217399 edges, 887 markings/sec, 65 secs
lola: 66381 markings, 232175 edges, 891 markings/sec, 70 secs
lola: 70824 markings, 248278 edges, 889 markings/sec, 75 secs
lola: 75276 markings, 264786 edges, 890 markings/sec, 80 secs
lola: 79769 markings, 279961 edges, 899 markings/sec, 85 secs
lola: 84266 markings, 296071 edges, 899 markings/sec, 90 secs
lola: 88760 markings, 312152 edges, 899 markings/sec, 95 secs
lola: 93232 markings, 329555 edges, 894 markings/sec, 100 secs
lola: 97700 markings, 345650 edges, 894 markings/sec, 105 secs
lola: 102164 markings, 360481 edges, 893 markings/sec, 110 secs
lola: 106608 markings, 375678 edges, 889 markings/sec, 115 secs
lola: 111038 markings, 391579 edges, 886 markings/sec, 120 secs
lola: 115476 markings, 407515 edges, 888 markings/sec, 125 secs
lola: 119900 markings, 424608 edges, 885 markings/sec, 130 secs
lola: 124330 markings, 440681 edges, 886 markings/sec, 135 secs
lola: 128772 markings, 455331 edges, 888 markings/sec, 140 secs
lola: 133178 markings, 470267 edges, 881 markings/sec, 145 secs
lola: 137635 markings, 485213 edges, 891 markings/sec, 150 secs
lola: 142068 markings, 499544 edges, 887 markings/sec, 155 secs
lola: 146491 markings, 515041 edges, 885 markings/sec, 160 secs
lola: 150967 markings, 529653 edges, 895 markings/sec, 165 secs
lola: 155411 markings, 544671 edges, 889 markings/sec, 170 secs
lola: 159844 markings, 559934 edges, 887 markings/sec, 175 secs
lola: 164297 markings, 574350 edges, 891 markings/sec, 180 secs
lola: 168751 markings, 588511 edges, 891 markings/sec, 185 secs
lola: 173189 markings, 603963 edges, 888 markings/sec, 190 secs
lola: 177631 markings, 619175 edges, 888 markings/sec, 195 secs
lola: 182086 markings, 633231 edges, 891 markings/sec, 200 secs
lola: 186529 markings, 647775 edges, 889 markings/sec, 205 secs
lola: 190975 markings, 662643 edges, 889 markings/sec, 210 secs
lola: 195437 markings, 677623 edges, 892 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__24_7_)
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: 4386 markings, 14836 edges, 877 markings/sec, 0 secs
lola: 8791 markings, 29607 edges, 881 markings/sec, 5 secs
lola: 13183 markings, 44529 edges, 878 markings/sec, 10 secs
lola: 17561 markings, 58648 edges, 876 markings/sec, 15 secs
lola: 21935 markings, 72906 edges, 875 markings/sec, 20 secs
lola: 26302 markings, 87627 edges, 873 markings/sec, 25 secs
lola: 30682 markings, 101879 edges, 876 markings/sec, 30 secs
lola: 35069 markings, 115811 edges, 877 markings/sec, 35 secs
lola: 39430 markings, 129747 edges, 872 markings/sec, 40 secs
lola: 43774 markings, 144469 edges, 869 markings/sec, 45 secs
lola: 48108 markings, 159371 edges, 867 markings/sec, 50 secs
lola: 52435 markings, 173756 edges, 865 markings/sec, 55 secs
lola: 56777 markings, 187934 edges, 868 markings/sec, 60 secs
lola: 61085 markings, 203754 edges, 862 markings/sec, 65 secs
lola: 65422 markings, 217737 edges, 867 markings/sec, 70 secs
lola: 69769 markings, 231875 edges, 869 markings/sec, 75 secs
lola: 74113 markings, 245781 edges, 869 markings/sec, 80 secs
lola: 78472 markings, 259952 edges, 872 markings/sec, 85 secs
lola: 82823 markings, 274281 edges, 870 markings/sec, 90 secs
lola: 87175 markings, 288593 edges, 870 markings/sec, 95 secs
lola: 91494 markings, 302996 edges, 864 markings/sec, 100 secs
lola: 95820 markings, 317265 edges, 865 markings/sec, 105 secs
lola: 100146 markings, 331932 edges, 865 markings/sec, 110 secs
lola: 104462 markings, 346054 edges, 863 markings/sec, 115 secs
lola: 108771 markings, 359892 edges, 862 markings/sec, 120 secs
lola: 113094 markings, 374138 edges, 865 markings/sec, 125 secs
lola: 117407 markings, 388862 edges, 863 markings/sec, 130 secs
lola: 121734 markings, 402434 edges, 865 markings/sec, 135 secs
lola: 126072 markings, 416806 edges, 868 markings/sec, 140 secs
lola: 130228 markings, 430087 edges, 831 markings/sec, 145 secs
lola: 134524 markings, 443938 edges, 859 markings/sec, 150 secs
lola: 138778 markings, 457967 edges, 851 markings/sec, 155 secs
lola: 143103 markings, 471494 edges, 865 markings/sec, 160 secs
lola: 147431 markings, 485785 edges, 866 markings/sec, 165 secs
lola: 151760 markings, 500392 edges, 866 markings/sec, 170 secs
lola: 156117 markings, 514286 edges, 871 markings/sec, 175 secs
lola: 160467 markings, 528461 edges, 870 markings/sec, 180 secs
lola: 164801 markings, 543425 edges, 867 markings/sec, 185 secs
lola: 169083 markings, 557474 edges, 856 markings/sec, 190 secs
lola: 173383 markings, 571805 edges, 860 markings/sec, 195 secs
lola: 177695 markings, 586223 edges, 862 markings/sec, 200 secs
lola: 182023 markings, 599596 edges, 866 markings/sec, 205 secs
lola: 186356 markings, 613189 edges, 867 markings/sec, 210 secs
lola: 190664 markings, 627187 edges, 862 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__31_15_)
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, 15563 edges, 877 markings/sec, 0 secs
lola: 8759 markings, 31627 edges, 875 markings/sec, 5 secs
lola: 13144 markings, 46057 edges, 877 markings/sec, 10 secs
lola: 17541 markings, 60270 edges, 879 markings/sec, 15 secs
lola: 21928 markings, 74075 edges, 877 markings/sec, 20 secs
lola: 26318 markings, 87614 edges, 878 markings/sec, 25 secs
lola: 30587 markings, 101862 edges, 854 markings/sec, 30 secs
lola: 34973 markings, 115541 edges, 877 markings/sec, 35 secs
lola: 39342 markings, 128998 edges, 874 markings/sec, 40 secs
lola: 43710 markings, 143485 edges, 874 markings/sec, 45 secs
lola: 48081 markings, 158533 edges, 874 markings/sec, 50 secs
lola: 52433 markings, 173817 edges, 870 markings/sec, 55 secs
lola: 56759 markings, 189250 edges, 865 markings/sec, 60 secs
lola: 61084 markings, 204953 edges, 865 markings/sec, 65 secs
lola: 65413 markings, 220767 edges, 866 markings/sec, 70 secs
lola: 69808 markings, 235947 edges, 879 markings/sec, 75 secs
lola: 74200 markings, 251889 edges, 878 markings/sec, 80 secs
lola: 78591 markings, 267940 edges, 878 markings/sec, 85 secs
lola: 82995 markings, 283700 edges, 881 markings/sec, 90 secs
lola: 87377 markings, 299690 edges, 876 markings/sec, 95 secs
lola: 91822 markings, 313573 edges, 889 markings/sec, 100 secs
lola: 96244 markings, 328658 edges, 884 markings/sec, 105 secs
lola: 100670 markings, 343562 edges, 885 markings/sec, 110 secs
lola: 105080 markings, 359021 edges, 882 markings/sec, 115 secs
lola: 109472 markings, 373935 edges, 878 markings/sec, 120 secs
lola: 113855 markings, 390134 edges, 877 markings/sec, 125 secs
lola: 118286 markings, 404214 edges, 886 markings/sec, 130 secs
lola: 122718 markings, 418682 edges, 886 markings/sec, 135 secs
lola: 127133 markings, 431854 edges, 883 markings/sec, 140 secs
lola: 131552 markings, 445712 edges, 884 markings/sec, 145 secs
lola: 135968 markings, 459425 edges, 883 markings/sec, 150 secs
lola: 140385 markings, 472892 edges, 883 markings/sec, 155 secs
lola: 144788 markings, 486728 edges, 881 markings/sec, 160 secs
lola: 149190 markings, 500863 edges, 880 markings/sec, 165 secs
lola: 153575 markings, 516262 edges, 877 markings/sec, 170 secs
lola: 157977 markings, 530316 edges, 880 markings/sec, 175 secs
lola: 162387 markings, 543789 edges, 882 markings/sec, 180 secs
lola: 166776 markings, 556813 edges, 878 markings/sec, 185 secs
lola: 171183 markings, 570736 edges, 881 markings/sec, 190 secs
lola: 175603 markings, 584616 edges, 884 markings/sec, 195 secs
lola: 180020 markings, 598719 edges, 883 markings/sec, 200 secs
lola: 184411 markings, 613904 edges, 878 markings/sec, 205 secs
lola: 188826 markings, 627756 edges, 883 markings/sec, 210 secs
lola: 193239 markings, 641696 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 4 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__30_1_)
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: 4424 markings, 16051 edges, 885 markings/sec, 0 secs
lola: 8817 markings, 32115 edges, 879 markings/sec, 5 secs
lola: 13212 markings, 48587 edges, 879 markings/sec, 10 secs
lola: 17590 markings, 65028 edges, 876 markings/sec, 15 secs
lola: 21970 markings, 81264 edges, 876 markings/sec, 20 secs
lola: 26363 markings, 97531 edges, 879 markings/sec, 25 secs
lola: 30753 markings, 113724 edges, 878 markings/sec, 30 secs
lola: 35127 markings, 130018 edges, 875 markings/sec, 35 secs
lola: 39507 markings, 145018 edges, 876 markings/sec, 40 secs
lola: 43919 markings, 160125 edges, 882 markings/sec, 45 secs
lola: 48321 markings, 176010 edges, 880 markings/sec, 50 secs
lola: 52714 markings, 192366 edges, 879 markings/sec, 55 secs
lola: 57122 markings, 207612 edges, 882 markings/sec, 60 secs
lola: 61511 markings, 222872 edges, 878 markings/sec, 65 secs
lola: 65929 markings, 238436 edges, 884 markings/sec, 70 secs
lola: 70320 markings, 254143 edges, 878 markings/sec, 75 secs
lola: 74693 markings, 270398 edges, 875 markings/sec, 80 secs
lola: 79062 markings, 285962 edges, 874 markings/sec, 85 secs
lola: 83410 markings, 301451 edges, 870 markings/sec, 90 secs
lola: 87829 markings, 316474 edges, 884 markings/sec, 95 secs
lola: 92270 markings, 333124 edges, 888 markings/sec, 100 secs
lola: 96695 markings, 349146 edges, 885 markings/sec, 105 secs
lola: 101101 markings, 365196 edges, 881 markings/sec, 110 secs
lola: 105469 markings, 381116 edges, 874 markings/sec, 115 secs
lola: 109837 markings, 396505 edges, 874 markings/sec, 120 secs
lola: 114212 markings, 412499 edges, 875 markings/sec, 125 secs
lola: 118578 markings, 428720 edges, 873 markings/sec, 130 secs
lola: 122961 markings, 444255 edges, 877 markings/sec, 135 secs
lola: 127347 markings, 460227 edges, 877 markings/sec, 140 secs
lola: 131776 markings, 475943 edges, 886 markings/sec, 145 secs
lola: 136195 markings, 491952 edges, 884 markings/sec, 150 secs
lola: 140596 markings, 507213 edges, 880 markings/sec, 155 secs
lola: 144985 markings, 523235 edges, 878 markings/sec, 160 secs
lola: 149374 markings, 539914 edges, 878 markings/sec, 165 secs
lola: 153760 markings, 555949 edges, 877 markings/sec, 170 secs
lola: 158133 markings, 572337 edges, 875 markings/sec, 175 secs
lola: 162493 markings, 588949 edges, 872 markings/sec, 180 secs
lola: 166837 markings, 605428 edges, 869 markings/sec, 185 secs
lola: 171190 markings, 621254 edges, 871 markings/sec, 190 secs
lola: 175596 markings, 636887 edges, 881 markings/sec, 195 secs
lola: 180003 markings, 652352 edges, 881 markings/sec, 200 secs
lola: 184409 markings, 667792 edges, 881 markings/sec, 205 secs
lola: 188802 markings, 684011 edges, 879 markings/sec, 210 secs
lola: 193246 markings, 700074 edges, 889 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__23_8_)
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: 4355 markings, 14783 edges, 871 markings/sec, 0 secs
lola: 8729 markings, 30060 edges, 875 markings/sec, 5 secs
lola: 13102 markings, 45300 edges, 875 markings/sec, 10 secs
lola: 17469 markings, 59098 edges, 873 markings/sec, 15 secs
lola: 21814 markings, 74013 edges, 869 markings/sec, 20 secs
lola: 26144 markings, 89394 edges, 866 markings/sec, 25 secs
lola: 30484 markings, 104035 edges, 868 markings/sec, 30 secs
lola: 34815 markings, 119935 edges, 866 markings/sec, 35 secs
lola: 39137 markings, 135826 edges, 864 markings/sec, 40 secs
lola: 43449 markings, 150545 edges, 862 markings/sec, 45 secs
lola: 47754 markings, 166112 edges, 861 markings/sec, 50 secs
lola: 52086 markings, 181235 edges, 866 markings/sec, 55 secs
lola: 56431 markings, 196139 edges, 869 markings/sec, 60 secs
lola: 60800 markings, 210703 edges, 874 markings/sec, 65 secs
lola: 65163 markings, 224758 edges, 873 markings/sec, 70 secs
lola: 69470 markings, 239592 edges, 861 markings/sec, 75 secs
lola: 73757 markings, 255379 edges, 857 markings/sec, 80 secs
lola: 78035 markings, 270314 edges, 856 markings/sec, 85 secs
lola: 82317 markings, 285566 edges, 856 markings/sec, 90 secs
lola: 86614 markings, 300839 edges, 859 markings/sec, 95 secs
lola: 90911 markings, 316285 edges, 859 markings/sec, 100 secs
lola: 95206 markings, 331794 edges, 859 markings/sec, 105 secs
lola: 99529 markings, 345980 edges, 865 markings/sec, 110 secs
lola: 103840 markings, 361053 edges, 862 markings/sec, 115 secs
lola: 108157 markings, 374946 edges, 863 markings/sec, 120 secs
lola: 112469 markings, 389730 edges, 862 markings/sec, 125 secs
lola: 116776 markings, 404646 edges, 861 markings/sec, 130 secs
lola: 121069 markings, 418517 edges, 859 markings/sec, 135 secs
lola: 125355 markings, 432799 edges, 857 markings/sec, 140 secs
lola: 129623 markings, 448372 edges, 854 markings/sec, 145 secs
lola: 133895 markings, 463299 edges, 854 markings/sec, 150 secs
lola: 138185 markings, 477847 edges, 858 markings/sec, 155 secs
lola: 142513 markings, 491686 edges, 866 markings/sec, 160 secs
lola: 146834 markings, 506157 edges, 864 markings/sec, 165 secs
lola: 151182 markings, 520656 edges, 870 markings/sec, 170 secs
lola: 155543 markings, 534951 edges, 872 markings/sec, 175 secs
lola: 159904 markings, 549424 edges, 872 markings/sec, 180 secs
lola: 164246 markings, 565202 edges, 868 markings/sec, 185 secs
lola: 168601 markings, 580055 edges, 871 markings/sec, 190 secs
lola: 172958 markings, 595713 edges, 871 markings/sec, 195 secs
lola: 177350 markings, 610050 edges, 878 markings/sec, 200 secs
lola: 181728 markings, 624695 edges, 876 markings/sec, 205 secs
lola: 186079 markings, 638165 edges, 870 markings/sec, 210 secs
lola: 190362 markings, 653664 edges, 857 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__38_33_)
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: 4348 markings, 15480 edges, 870 markings/sec, 0 secs
lola: 8792 markings, 31610 edges, 889 markings/sec, 5 secs
lola: 13213 markings, 47178 edges, 884 markings/sec, 10 secs
lola: 17645 markings, 63184 edges, 886 markings/sec, 15 secs
lola: 22088 markings, 80320 edges, 889 markings/sec, 20 secs
lola: 26559 markings, 96427 edges, 894 markings/sec, 25 secs
lola: 31053 markings, 114272 edges, 899 markings/sec, 30 secs
lola: 35556 markings, 130560 edges, 901 markings/sec, 35 secs
lola: 40012 markings, 147090 edges, 891 markings/sec, 40 secs
lola: 44444 markings, 164133 edges, 886 markings/sec, 45 secs
lola: 48902 markings, 180282 edges, 892 markings/sec, 50 secs
lola: 53331 markings, 197915 edges, 886 markings/sec, 55 secs
lola: 57772 markings, 214004 edges, 888 markings/sec, 60 secs
lola: 62202 markings, 230354 edges, 886 markings/sec, 65 secs
lola: 66603 markings, 247172 edges, 880 markings/sec, 70 secs
lola: 71036 markings, 263355 edges, 887 markings/sec, 75 secs
lola: 75465 markings, 280755 edges, 886 markings/sec, 80 secs
lola: 79906 markings, 297032 edges, 888 markings/sec, 85 secs
lola: 84388 markings, 313528 edges, 896 markings/sec, 90 secs
lola: 88825 markings, 330525 edges, 887 markings/sec, 95 secs
lola: 93261 markings, 346752 edges, 887 markings/sec, 100 secs
lola: 97706 markings, 361187 edges, 889 markings/sec, 105 secs
lola: 102153 markings, 376676 edges, 889 markings/sec, 110 secs
lola: 106579 markings, 393150 edges, 885 markings/sec, 115 secs
lola: 111001 markings, 411215 edges, 884 markings/sec, 120 secs
lola: 115422 markings, 429718 edges, 884 markings/sec, 125 secs
lola: 119863 markings, 446131 edges, 888 markings/sec, 130 secs
lola: 124340 markings, 461484 edges, 895 markings/sec, 135 secs
lola: 128828 markings, 476632 edges, 898 markings/sec, 140 secs
lola: 133300 markings, 493166 edges, 894 markings/sec, 145 secs
lola: 137774 markings, 509866 edges, 895 markings/sec, 150 secs
lola: 142242 markings, 526237 edges, 894 markings/sec, 155 secs
lola: 146682 markings, 544255 edges, 888 markings/sec, 160 secs
lola: 151151 markings, 561402 edges, 894 markings/sec, 165 secs
lola: 155630 markings, 578216 edges, 896 markings/sec, 170 secs
lola: 160089 markings, 594591 edges, 892 markings/sec, 175 secs
lola: 164506 markings, 611376 edges, 883 markings/sec, 180 secs
lola: 168944 markings, 626557 edges, 888 markings/sec, 185 secs
lola: 173384 markings, 642712 edges, 888 markings/sec, 190 secs
lola: 177881 markings, 657800 edges, 899 markings/sec, 195 secs
lola: 182396 markings, 673254 edges, 903 markings/sec, 200 secs
lola: 186884 markings, 690053 edges, 898 markings/sec, 205 secs
lola: 191351 markings, 706824 edges, 893 markings/sec, 210 secs
lola: 195770 markings, 724194 edges, 884 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__18_24_)
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: 4475 markings, 15274 edges, 895 markings/sec, 0 secs
lola: 8916 markings, 29991 edges, 888 markings/sec, 5 secs
lola: 13265 markings, 43672 edges, 870 markings/sec, 10 secs
lola: 17669 markings, 59413 edges, 881 markings/sec, 15 secs
lola: 22014 markings, 74346 edges, 869 markings/sec, 20 secs
lola: 26452 markings, 87366 edges, 888 markings/sec, 25 secs
lola: 30884 markings, 101799 edges, 886 markings/sec, 30 secs
lola: 35308 markings, 117280 edges, 885 markings/sec, 35 secs
lola: 39768 markings, 130906 edges, 892 markings/sec, 40 secs
lola: 44218 markings, 146349 edges, 890 markings/sec, 45 secs
lola: 48634 markings, 162066 edges, 883 markings/sec, 50 secs
lola: 53055 markings, 176418 edges, 884 markings/sec, 55 secs
lola: 57451 markings, 191823 edges, 879 markings/sec, 60 secs
lola: 61859 markings, 206508 edges, 882 markings/sec, 65 secs
lola: 66268 markings, 221014 edges, 882 markings/sec, 70 secs
lola: 70684 markings, 235796 edges, 883 markings/sec, 75 secs
lola: 75086 markings, 250960 edges, 880 markings/sec, 80 secs
lola: 79513 markings, 265258 edges, 885 markings/sec, 85 secs
lola: 83925 markings, 280091 edges, 882 markings/sec, 90 secs
lola: 88337 markings, 294903 edges, 882 markings/sec, 95 secs
lola: 92744 markings, 309166 edges, 881 markings/sec, 100 secs
lola: 97149 markings, 323726 edges, 881 markings/sec, 105 secs
lola: 101569 markings, 337280 edges, 884 markings/sec, 110 secs
lola: 106008 markings, 350284 edges, 888 markings/sec, 115 secs
lola: 110479 markings, 363659 edges, 894 markings/sec, 120 secs
lola: 114836 markings, 376039 edges, 871 markings/sec, 125 secs
lola: 119275 markings, 390139 edges, 888 markings/sec, 130 secs
lola: 123706 markings, 404670 edges, 886 markings/sec, 135 secs
lola: 128167 markings, 418963 edges, 892 markings/sec, 140 secs
lola: 132626 markings, 431948 edges, 892 markings/sec, 145 secs
lola: 137064 markings, 446925 edges, 888 markings/sec, 150 secs
lola: 141535 markings, 459471 edges, 894 markings/sec, 155 secs
lola: 146006 markings, 472272 edges, 894 markings/sec, 160 secs
lola: 150465 markings, 485687 edges, 892 markings/sec, 165 secs
lola: 154918 markings, 499259 edges, 891 markings/sec, 170 secs
lola: 159316 markings, 512043 edges, 880 markings/sec, 175 secs
lola: 163747 markings, 526486 edges, 886 markings/sec, 180 secs
lola: 168119 markings, 540716 edges, 874 markings/sec, 185 secs
lola: 172560 markings, 552674 edges, 888 markings/sec, 190 secs
lola: 176993 markings, 564566 edges, 887 markings/sec, 195 secs
lola: 181452 markings, 577142 edges, 892 markings/sec, 200 secs
lola: 185905 markings, 590535 edges, 891 markings/sec, 205 secs
lola: 190355 markings, 603951 edges, 890 markings/sec, 210 secs
lola: 194752 markings, 616829 edges, 879 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__29_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: 4325 markings, 14300 edges, 865 markings/sec, 0 secs
lola: 8661 markings, 28811 edges, 867 markings/sec, 5 secs
lola: 13046 markings, 42856 edges, 877 markings/sec, 10 secs
lola: 17420 markings, 56645 edges, 875 markings/sec, 15 secs
lola: 21776 markings, 71511 edges, 871 markings/sec, 20 secs
lola: 26131 markings, 86360 edges, 871 markings/sec, 25 secs
lola: 30429 markings, 100685 edges, 860 markings/sec, 30 secs
lola: 34783 markings, 115725 edges, 871 markings/sec, 35 secs
lola: 39123 markings, 129900 edges, 868 markings/sec, 40 secs
lola: 43498 markings, 144043 edges, 875 markings/sec, 45 secs
lola: 47858 markings, 158789 edges, 872 markings/sec, 50 secs
lola: 52223 markings, 173012 edges, 873 markings/sec, 55 secs
lola: 56631 markings, 187284 edges, 882 markings/sec, 60 secs
lola: 61037 markings, 201903 edges, 881 markings/sec, 65 secs
lola: 65432 markings, 216805 edges, 879 markings/sec, 70 secs
lola: 69832 markings, 231440 edges, 880 markings/sec, 75 secs
lola: 74235 markings, 245878 edges, 881 markings/sec, 80 secs
lola: 78636 markings, 259877 edges, 880 markings/sec, 85 secs
lola: 83033 markings, 274111 edges, 879 markings/sec, 90 secs
lola: 87424 markings, 288417 edges, 878 markings/sec, 95 secs
lola: 91806 markings, 303907 edges, 876 markings/sec, 100 secs
lola: 96201 markings, 317762 edges, 879 markings/sec, 105 secs
lola: 100609 markings, 332173 edges, 882 markings/sec, 110 secs
lola: 105009 markings, 346286 edges, 880 markings/sec, 115 secs
lola: 109409 markings, 360551 edges, 880 markings/sec, 120 secs
lola: 113804 markings, 374632 edges, 879 markings/sec, 125 secs
lola: 118200 markings, 389022 edges, 879 markings/sec, 130 secs
lola: 122560 markings, 403649 edges, 872 markings/sec, 135 secs
lola: 126954 markings, 418544 edges, 879 markings/sec, 140 secs
lola: 131350 markings, 432570 edges, 879 markings/sec, 145 secs
lola: 135739 markings, 447009 edges, 878 markings/sec, 150 secs
lola: 140131 markings, 461357 edges, 878 markings/sec, 155 secs
lola: 144519 markings, 475474 edges, 878 markings/sec, 160 secs
lola: 148895 markings, 489972 edges, 875 markings/sec, 165 secs
lola: 153272 markings, 504949 edges, 875 markings/sec, 170 secs
lola: 157637 markings, 519742 edges, 873 markings/sec, 175 secs
lola: 162058 markings, 533605 edges, 884 markings/sec, 180 secs
lola: 166460 markings, 548478 edges, 880 markings/sec, 185 secs
lola: 170849 markings, 563133 edges, 878 markings/sec, 190 secs
lola: 175229 markings, 578927 edges, 876 markings/sec, 195 secs
lola: 179637 markings, 593138 edges, 882 markings/sec, 200 secs
lola: 184034 markings, 607083 edges, 879 markings/sec, 205 secs
lola: 188422 markings, 621789 edges, 878 markings/sec, 210 secs
lola: 192812 markings, 636177 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 9 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__27_21_)
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: 4401 markings, 14508 edges, 880 markings/sec, 0 secs
lola: 8820 markings, 28764 edges, 884 markings/sec, 5 secs
lola: 13249 markings, 43106 edges, 886 markings/sec, 10 secs
lola: 17653 markings, 58359 edges, 881 markings/sec, 15 secs
lola: 22052 markings, 73732 edges, 880 markings/sec, 20 secs
lola: 26438 markings, 90331 edges, 877 markings/sec, 25 secs
lola: 30830 markings, 105838 edges, 878 markings/sec, 30 secs
lola: 35231 markings, 120096 edges, 880 markings/sec, 35 secs
lola: 39611 markings, 135149 edges, 876 markings/sec, 40 secs
lola: 43997 markings, 150664 edges, 877 markings/sec, 45 secs
lola: 48383 markings, 164647 edges, 877 markings/sec, 50 secs
lola: 52762 markings, 178985 edges, 876 markings/sec, 55 secs
lola: 57155 markings, 193050 edges, 879 markings/sec, 60 secs
lola: 61557 markings, 207846 edges, 880 markings/sec, 65 secs
lola: 65959 markings, 222189 edges, 880 markings/sec, 70 secs
lola: 70344 markings, 237589 edges, 877 markings/sec, 75 secs
lola: 74718 markings, 253807 edges, 875 markings/sec, 80 secs
lola: 79107 markings, 267870 edges, 878 markings/sec, 85 secs
lola: 83478 markings, 282553 edges, 874 markings/sec, 90 secs
lola: 87876 markings, 296684 edges, 880 markings/sec, 95 secs
lola: 92277 markings, 311439 edges, 880 markings/sec, 100 secs
lola: 96669 markings, 325749 edges, 878 markings/sec, 105 secs
lola: 101053 markings, 340123 edges, 877 markings/sec, 110 secs
lola: 105437 markings, 354256 edges, 877 markings/sec, 115 secs
lola: 109814 markings, 368919 edges, 875 markings/sec, 120 secs
lola: 114199 markings, 384154 edges, 877 markings/sec, 125 secs
lola: 118583 markings, 399953 edges, 877 markings/sec, 130 secs
lola: 122935 markings, 416069 edges, 870 markings/sec, 135 secs
lola: 127297 markings, 431596 edges, 872 markings/sec, 140 secs
lola: 131652 markings, 446647 edges, 871 markings/sec, 145 secs
lola: 136020 markings, 460781 edges, 874 markings/sec, 150 secs
lola: 140388 markings, 475178 edges, 874 markings/sec, 155 secs
lola: 144762 markings, 489854 edges, 875 markings/sec, 160 secs
lola: 149124 markings, 504558 edges, 872 markings/sec, 165 secs
lola: 153486 markings, 519763 edges, 872 markings/sec, 170 secs
lola: 157875 markings, 534720 edges, 878 markings/sec, 175 secs
lola: 162250 markings, 549590 edges, 875 markings/sec, 180 secs
lola: 166635 markings, 564499 edges, 877 markings/sec, 185 secs
lola: 171008 markings, 578953 edges, 875 markings/sec, 190 secs
lola: 175366 markings, 593527 edges, 872 markings/sec, 195 secs
lola: 179737 markings, 607758 edges, 874 markings/sec, 200 secs
lola: 184129 markings, 621909 edges, 878 markings/sec, 205 secs
lola: 188504 markings, 636212 edges, 875 markings/sec, 210 secs
lola: 192857 markings, 651192 edges, 871 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__35_33_)
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: 4465 markings, 15359 edges, 893 markings/sec, 0 secs
lola: 8937 markings, 30937 edges, 894 markings/sec, 5 secs
lola: 13394 markings, 46473 edges, 891 markings/sec, 10 secs
lola: 17833 markings, 63958 edges, 888 markings/sec, 15 secs
lola: 22281 markings, 79887 edges, 890 markings/sec, 20 secs
lola: 26716 markings, 95641 edges, 887 markings/sec, 25 secs
lola: 31148 markings, 111956 edges, 886 markings/sec, 30 secs
lola: 35593 markings, 127679 edges, 889 markings/sec, 35 secs
lola: 40037 markings, 143012 edges, 889 markings/sec, 40 secs
lola: 44450 markings, 159710 edges, 883 markings/sec, 45 secs
lola: 48872 markings, 176221 edges, 884 markings/sec, 50 secs
lola: 53292 markings, 192275 edges, 884 markings/sec, 55 secs
lola: 57721 markings, 208132 edges, 886 markings/sec, 60 secs
lola: 62114 markings, 224478 edges, 879 markings/sec, 65 secs
lola: 66532 markings, 240741 edges, 884 markings/sec, 70 secs
lola: 70971 markings, 257304 edges, 888 markings/sec, 75 secs
lola: 75411 markings, 272904 edges, 888 markings/sec, 80 secs
lola: 79824 markings, 289177 edges, 883 markings/sec, 85 secs
lola: 84235 markings, 304446 edges, 882 markings/sec, 90 secs
lola: 88624 markings, 321658 edges, 878 markings/sec, 95 secs
lola: 93035 markings, 337801 edges, 882 markings/sec, 100 secs
lola: 97447 markings, 353892 edges, 882 markings/sec, 105 secs
lola: 101860 markings, 370060 edges, 883 markings/sec, 110 secs
lola: 106234 markings, 386505 edges, 875 markings/sec, 115 secs
lola: 110688 markings, 402393 edges, 891 markings/sec, 120 secs
lola: 115138 markings, 418949 edges, 890 markings/sec, 125 secs
lola: 119562 markings, 434450 edges, 885 markings/sec, 130 secs
lola: 123967 markings, 450664 edges, 881 markings/sec, 135 secs
lola: 128369 markings, 466360 edges, 880 markings/sec, 140 secs
lola: 132760 markings, 483227 edges, 878 markings/sec, 145 secs
lola: 137161 markings, 499135 edges, 880 markings/sec, 150 secs
lola: 141562 markings, 515257 edges, 880 markings/sec, 155 secs
lola: 145955 markings, 531390 edges, 879 markings/sec, 160 secs
lola: 150340 markings, 547888 edges, 877 markings/sec, 165 secs
lola: 154732 markings, 563836 edges, 878 markings/sec, 170 secs
lola: 159147 markings, 579580 edges, 883 markings/sec, 175 secs
lola: 163582 markings, 595768 edges, 887 markings/sec, 180 secs
lola: 167995 markings, 611311 edges, 883 markings/sec, 185 secs
lola: 172441 markings, 625453 edges, 889 markings/sec, 190 secs
lola: 176868 markings, 640075 edges, 885 markings/sec, 195 secs
lola: 181302 markings, 655247 edges, 887 markings/sec, 200 secs
lola: 185715 markings, 671661 edges, 883 markings/sec, 205 secs
lola: 190097 markings, 687819 edges, 876 markings/sec, 210 secs
lola: 194516 markings, 703267 edges, 884 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_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: 4303 markings, 14679 edges, 861 markings/sec, 0 secs
lola: 8663 markings, 29002 edges, 872 markings/sec, 5 secs
lola: 12998 markings, 43521 edges, 867 markings/sec, 10 secs
lola: 17324 markings, 56926 edges, 865 markings/sec, 15 secs
lola: 21639 markings, 70612 edges, 863 markings/sec, 20 secs
lola: 25980 markings, 84337 edges, 868 markings/sec, 25 secs
lola: 30334 markings, 97896 edges, 871 markings/sec, 30 secs
lola: 34689 markings, 112245 edges, 871 markings/sec, 35 secs
lola: 39067 markings, 125156 edges, 876 markings/sec, 40 secs
lola: 43413 markings, 137952 edges, 869 markings/sec, 45 secs
lola: 47754 markings, 150923 edges, 868 markings/sec, 50 secs
lola: 52092 markings, 163909 edges, 868 markings/sec, 55 secs
lola: 56427 markings, 177082 edges, 867 markings/sec, 60 secs
lola: 60776 markings, 189288 edges, 870 markings/sec, 65 secs
lola: 65109 markings, 202516 edges, 867 markings/sec, 70 secs
lola: 69406 markings, 214920 edges, 859 markings/sec, 75 secs
lola: 73760 markings, 227827 edges, 871 markings/sec, 80 secs
lola: 78085 markings, 241566 edges, 865 markings/sec, 85 secs
lola: 82355 markings, 254765 edges, 854 markings/sec, 90 secs
lola: 86640 markings, 268208 edges, 857 markings/sec, 95 secs
lola: 90909 markings, 281610 edges, 854 markings/sec, 100 secs
lola: 95201 markings, 294431 edges, 858 markings/sec, 105 secs
lola: 99522 markings, 307445 edges, 864 markings/sec, 110 secs
lola: 103826 markings, 320338 edges, 861 markings/sec, 115 secs
lola: 108120 markings, 333715 edges, 859 markings/sec, 120 secs
lola: 112431 markings, 347142 edges, 862 markings/sec, 125 secs
lola: 116718 markings, 360132 edges, 857 markings/sec, 130 secs
lola: 121016 markings, 373003 edges, 860 markings/sec, 135 secs
lola: 125323 markings, 386026 edges, 861 markings/sec, 140 secs
lola: 129616 markings, 399568 edges, 859 markings/sec, 145 secs
lola: 133892 markings, 413971 edges, 855 markings/sec, 150 secs
lola: 138168 markings, 428630 edges, 855 markings/sec, 155 secs
lola: 142462 markings, 441640 edges, 859 markings/sec, 160 secs
lola: 146758 markings, 454863 edges, 859 markings/sec, 165 secs
lola: 151029 markings, 469375 edges, 854 markings/sec, 170 secs
lola: 155333 markings, 482627 edges, 861 markings/sec, 175 secs
lola: 159624 markings, 495930 edges, 858 markings/sec, 180 secs
lola: 163901 markings, 509250 edges, 855 markings/sec, 185 secs
lola: 168179 markings, 523676 edges, 856 markings/sec, 190 secs
lola: 172478 markings, 536475 edges, 860 markings/sec, 195 secs
lola: 176772 markings, 549179 edges, 859 markings/sec, 200 secs
lola: 181041 markings, 561661 edges, 854 markings/sec, 205 secs
lola: 185305 markings, 574976 edges, 853 markings/sec, 210 secs
lola: 189612 markings, 588329 edges, 861 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__39_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: 4343 markings, 15174 edges, 869 markings/sec, 0 secs
lola: 8775 markings, 29204 edges, 886 markings/sec, 5 secs
lola: 13199 markings, 42914 edges, 885 markings/sec, 10 secs
lola: 17634 markings, 56694 edges, 887 markings/sec, 15 secs
lola: 22055 markings, 70683 edges, 884 markings/sec, 20 secs
lola: 26461 markings, 84399 edges, 881 markings/sec, 25 secs
lola: 30901 markings, 98465 edges, 888 markings/sec, 30 secs
lola: 35321 markings, 112504 edges, 884 markings/sec, 35 secs
lola: 39721 markings, 126335 edges, 880 markings/sec, 40 secs
lola: 44133 markings, 140138 edges, 882 markings/sec, 45 secs
lola: 48544 markings, 153876 edges, 882 markings/sec, 50 secs
lola: 52950 markings, 167954 edges, 881 markings/sec, 55 secs
lola: 57406 markings, 181949 edges, 891 markings/sec, 60 secs
lola: 61816 markings, 195930 edges, 882 markings/sec, 65 secs
lola: 66229 markings, 209644 edges, 883 markings/sec, 70 secs
lola: 70621 markings, 224114 edges, 878 markings/sec, 75 secs
lola: 75011 markings, 238878 edges, 878 markings/sec, 80 secs
lola: 79449 markings, 253452 edges, 888 markings/sec, 85 secs
lola: 83875 markings, 267780 edges, 885 markings/sec, 90 secs
lola: 88308 markings, 282663 edges, 887 markings/sec, 95 secs
lola: 92798 markings, 296719 edges, 898 markings/sec, 100 secs
lola: 97277 markings, 310894 edges, 896 markings/sec, 105 secs
lola: 101721 markings, 325409 edges, 889 markings/sec, 110 secs
lola: 106161 markings, 339917 edges, 888 markings/sec, 115 secs
lola: 110588 markings, 354016 edges, 885 markings/sec, 120 secs
lola: 115014 markings, 368033 edges, 885 markings/sec, 125 secs
lola: 119477 markings, 382607 edges, 893 markings/sec, 130 secs
lola: 123948 markings, 396637 edges, 894 markings/sec, 135 secs
lola: 128386 markings, 411494 edges, 888 markings/sec, 140 secs
lola: 132836 markings, 425528 edges, 890 markings/sec, 145 secs
lola: 137281 markings, 439953 edges, 889 markings/sec, 150 secs
lola: 141707 markings, 453951 edges, 885 markings/sec, 155 secs
lola: 146119 markings, 468913 edges, 882 markings/sec, 160 secs
lola: 150559 markings, 482695 edges, 888 markings/sec, 165 secs
lola: 154982 markings, 496679 edges, 885 markings/sec, 170 secs
lola: 159426 markings, 511156 edges, 889 markings/sec, 175 secs
lola: 163854 markings, 525780 edges, 886 markings/sec, 180 secs
lola: 168280 markings, 539694 edges, 885 markings/sec, 185 secs
lola: 172699 markings, 553847 edges, 884 markings/sec, 190 secs
lola: 177166 markings, 568316 edges, 893 markings/sec, 195 secs
lola: 181638 markings, 582452 edges, 894 markings/sec, 200 secs
lola: 186073 markings, 597180 edges, 887 markings/sec, 205 secs
lola: 190512 markings, 611320 edges, 888 markings/sec, 210 secs
lola: 194940 markings, 625658 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 13 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__25_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: 4464 markings, 13107 edges, 893 markings/sec, 0 secs
lola: 8909 markings, 27057 edges, 889 markings/sec, 5 secs
lola: 13357 markings, 40996 edges, 890 markings/sec, 10 secs
lola: 17796 markings, 54378 edges, 888 markings/sec, 15 secs
lola: 22235 markings, 67727 edges, 888 markings/sec, 20 secs
lola: 26675 markings, 81115 edges, 888 markings/sec, 25 secs
lola: 31106 markings, 94859 edges, 886 markings/sec, 30 secs
lola: 35543 markings, 108390 edges, 887 markings/sec, 35 secs
lola: 39980 markings, 121755 edges, 887 markings/sec, 40 secs
lola: 44414 markings, 135101 edges, 887 markings/sec, 45 secs
lola: 48843 markings, 149233 edges, 886 markings/sec, 50 secs
lola: 53241 markings, 162546 edges, 880 markings/sec, 55 secs
lola: 57629 markings, 175930 edges, 878 markings/sec, 60 secs
lola: 62054 markings, 189007 edges, 885 markings/sec, 65 secs
lola: 66478 markings, 202829 edges, 885 markings/sec, 70 secs
lola: 70907 markings, 215996 edges, 886 markings/sec, 75 secs
lola: 75333 markings, 229756 edges, 885 markings/sec, 80 secs
lola: 79768 markings, 242828 edges, 887 markings/sec, 85 secs
lola: 84194 markings, 256745 edges, 885 markings/sec, 90 secs
lola: 88618 markings, 270580 edges, 885 markings/sec, 95 secs
lola: 93028 markings, 283855 edges, 882 markings/sec, 100 secs
lola: 97436 markings, 297130 edges, 882 markings/sec, 105 secs
lola: 101868 markings, 310483 edges, 886 markings/sec, 110 secs
lola: 106298 markings, 323844 edges, 886 markings/sec, 115 secs
lola: 110724 markings, 337792 edges, 885 markings/sec, 120 secs
lola: 115164 markings, 350967 edges, 888 markings/sec, 125 secs
lola: 119591 markings, 364766 edges, 885 markings/sec, 130 secs
lola: 124017 markings, 378751 edges, 885 markings/sec, 135 secs
lola: 128435 markings, 391913 edges, 884 markings/sec, 140 secs
lola: 132841 markings, 405116 edges, 881 markings/sec, 145 secs
lola: 137269 markings, 418611 edges, 886 markings/sec, 150 secs
lola: 141693 markings, 432100 edges, 885 markings/sec, 155 secs
lola: 146121 markings, 445502 edges, 886 markings/sec, 160 secs
lola: 150549 markings, 459022 edges, 886 markings/sec, 165 secs
lola: 154979 markings, 472235 edges, 886 markings/sec, 170 secs
lola: 159380 markings, 486169 edges, 880 markings/sec, 175 secs
lola: 163752 markings, 499690 edges, 874 markings/sec, 180 secs
lola: 168118 markings, 512845 edges, 873 markings/sec, 185 secs
lola: 172495 markings, 525785 edges, 875 markings/sec, 190 secs
lola: 176875 markings, 539319 edges, 876 markings/sec, 195 secs
lola: 181268 markings, 552371 edges, 879 markings/sec, 200 secs
lola: 185644 markings, 566187 edges, 875 markings/sec, 205 secs
lola: 190044 markings, 579177 edges, 880 markings/sec, 210 secs
lola: 194433 markings, 592726 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 14 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__28_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: 4434 markings, 16011 edges, 887 markings/sec, 0 secs
lola: 8798 markings, 32457 edges, 873 markings/sec, 5 secs
lola: 13182 markings, 47550 edges, 877 markings/sec, 10 secs
lola: 17551 markings, 63130 edges, 874 markings/sec, 15 secs
lola: 21914 markings, 78219 edges, 873 markings/sec, 20 secs
lola: 26273 markings, 93215 edges, 872 markings/sec, 25 secs
lola: 30610 markings, 108929 edges, 867 markings/sec, 30 secs
lola: 34964 markings, 124692 edges, 871 markings/sec, 35 secs
lola: 39368 markings, 139626 edges, 881 markings/sec, 40 secs
lola: 43738 markings, 155944 edges, 874 markings/sec, 45 secs
lola: 48123 markings, 171167 edges, 877 markings/sec, 50 secs
lola: 52509 markings, 186364 edges, 877 markings/sec, 55 secs
lola: 56897 markings, 200571 edges, 878 markings/sec, 60 secs
lola: 61267 markings, 215712 edges, 874 markings/sec, 65 secs
lola: 65634 markings, 230367 edges, 873 markings/sec, 70 secs
lola: 70012 markings, 244775 edges, 876 markings/sec, 75 secs
lola: 74361 markings, 260335 edges, 870 markings/sec, 80 secs
lola: 78734 markings, 276025 edges, 875 markings/sec, 85 secs
lola: 83096 markings, 291695 edges, 872 markings/sec, 90 secs
lola: 87467 markings, 307117 edges, 874 markings/sec, 95 secs
lola: 91817 markings, 323432 edges, 870 markings/sec, 100 secs
lola: 96169 markings, 337954 edges, 870 markings/sec, 105 secs
lola: 100527 markings, 352094 edges, 872 markings/sec, 110 secs
lola: 104873 markings, 367207 edges, 869 markings/sec, 115 secs
lola: 109232 markings, 382222 edges, 872 markings/sec, 120 secs
lola: 113572 markings, 397695 edges, 868 markings/sec, 125 secs
lola: 117920 markings, 412627 edges, 870 markings/sec, 130 secs
lola: 122246 markings, 428329 edges, 865 markings/sec, 135 secs
lola: 126601 markings, 443893 edges, 871 markings/sec, 140 secs
lola: 130983 markings, 459363 edges, 876 markings/sec, 145 secs
lola: 135376 markings, 474128 edges, 879 markings/sec, 150 secs
lola: 139777 markings, 489100 edges, 880 markings/sec, 155 secs
lola: 144198 markings, 503364 edges, 884 markings/sec, 160 secs
lola: 148598 markings, 518290 edges, 880 markings/sec, 165 secs
lola: 153005 markings, 533731 edges, 881 markings/sec, 170 secs
lola: 157425 markings, 547709 edges, 884 markings/sec, 175 secs
lola: 161839 markings, 562662 edges, 883 markings/sec, 180 secs
lola: 166275 markings, 577752 edges, 887 markings/sec, 185 secs
lola: 170692 markings, 592995 edges, 883 markings/sec, 190 secs
lola: 175101 markings, 608529 edges, 882 markings/sec, 195 secs
lola: 179523 markings, 624903 edges, 884 markings/sec, 200 secs
lola: 183930 markings, 641214 edges, 881 markings/sec, 205 secs
lola: 188316 markings, 658445 edges, 877 markings/sec, 210 secs
lola: 192715 markings, 674260 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 15 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__35_36_)
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: 4520 markings, 15864 edges, 904 markings/sec, 0 secs
lola: 9013 markings, 31740 edges, 899 markings/sec, 5 secs
lola: 13513 markings, 47410 edges, 900 markings/sec, 10 secs
lola: 18015 markings, 62399 edges, 900 markings/sec, 15 secs
lola: 22480 markings, 78956 edges, 893 markings/sec, 20 secs
lola: 26938 markings, 95909 edges, 892 markings/sec, 25 secs
lola: 31437 markings, 111731 edges, 900 markings/sec, 30 secs
lola: 35929 markings, 127724 edges, 898 markings/sec, 35 secs
lola: 40415 markings, 143168 edges, 897 markings/sec, 40 secs
lola: 44866 markings, 159348 edges, 890 markings/sec, 45 secs
lola: 49337 markings, 175564 edges, 894 markings/sec, 50 secs
lola: 53819 markings, 190620 edges, 896 markings/sec, 55 secs
lola: 58288 markings, 206729 edges, 894 markings/sec, 60 secs
lola: 62768 markings, 223139 edges, 896 markings/sec, 65 secs
lola: 67238 markings, 240059 edges, 894 markings/sec, 70 secs
lola: 71724 markings, 255890 edges, 897 markings/sec, 75 secs
lola: 76212 markings, 271652 edges, 898 markings/sec, 80 secs
lola: 80706 markings, 287728 edges, 899 markings/sec, 85 secs
lola: 85196 markings, 304335 edges, 898 markings/sec, 90 secs
lola: 89665 markings, 319984 edges, 894 markings/sec, 95 secs
lola: 94117 markings, 336411 edges, 890 markings/sec, 100 secs
lola: 98608 markings, 351895 edges, 898 markings/sec, 105 secs
lola: 103076 markings, 367613 edges, 894 markings/sec, 110 secs
lola: 107533 markings, 382470 edges, 891 markings/sec, 115 secs
lola: 111967 markings, 398920 edges, 887 markings/sec, 120 secs
lola: 116431 markings, 414570 edges, 893 markings/sec, 125 secs
lola: 120922 markings, 430063 edges, 898 markings/sec, 130 secs
lola: 125394 markings, 446082 edges, 894 markings/sec, 135 secs
lola: 129863 markings, 462314 edges, 894 markings/sec, 140 secs
lola: 134336 markings, 478826 edges, 895 markings/sec, 145 secs
lola: 138820 markings, 494829 edges, 897 markings/sec, 150 secs
lola: 143267 markings, 510495 edges, 889 markings/sec, 155 secs
lola: 147722 markings, 526536 edges, 891 markings/sec, 160 secs
lola: 152197 markings, 541607 edges, 895 markings/sec, 165 secs
lola: 156666 markings, 556082 edges, 894 markings/sec, 170 secs
lola: 161100 markings, 571280 edges, 887 markings/sec, 175 secs
lola: 165544 markings, 586305 edges, 889 markings/sec, 180 secs
lola: 169999 markings, 600666 edges, 891 markings/sec, 185 secs
lola: 174450 markings, 616109 edges, 890 markings/sec, 190 secs
lola: 178915 markings, 631796 edges, 893 markings/sec, 195 secs
lola: 183381 markings, 647854 edges, 893 markings/sec, 200 secs
lola: 187826 markings, 662778 edges, 889 markings/sec, 205 secs
lola: 192276 markings, 679074 edges, 890 markings/sec, 210 secs
lola: 196704 markings, 695447 edges, 886 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-D40N050-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D40N050-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D40N050-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D40N050-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D40N050-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D40N050-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D40N050-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D40N050-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D40N050-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D40N050-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D40N050-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D40N050-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D40N050-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D40N050-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D40N050-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D40N050-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494640017130

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