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

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

=== Now, execution of the tool begins

BK_START 1494635980357


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ Diffusion2D-PT-D40N010 @ 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-D40N010-UpperBounds.task
lola: MAX(cAMP__34_40_) : MAX(cAMP__20_31_) : MAX(cAMP__18_13_) : MAX(cAMP__32_18_) : MAX(cAMP__26_15_) : MAX(cAMP__12_13_) : MAX(cAMP__12_5_) : MAX(cAMP__16_5_) : MAX(cAMP__9_34_) : MAX(cAMP__25_21_) : MAX(cAMP__37_10_) : MAX(cAMP__36_31_) : MAX(cAMP__33_13_) : MAX(cAMP__2_38_) : MAX(cAMP__19_17_) : MAX(cAMP__12_4_)
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__34_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: 4310 markings, 14805 edges, 862 markings/sec, 0 secs
lola: 8662 markings, 29182 edges, 870 markings/sec, 5 secs
lola: 13000 markings, 43690 edges, 868 markings/sec, 10 secs
lola: 17365 markings, 56749 edges, 873 markings/sec, 15 secs
lola: 21701 markings, 70288 edges, 867 markings/sec, 20 secs
lola: 26027 markings, 85416 edges, 865 markings/sec, 25 secs
lola: 30341 markings, 99902 edges, 863 markings/sec, 30 secs
lola: 34702 markings, 113504 edges, 872 markings/sec, 35 secs
lola: 39047 markings, 127119 edges, 869 markings/sec, 40 secs
lola: 43359 markings, 142169 edges, 862 markings/sec, 45 secs
lola: 47670 markings, 156634 edges, 862 markings/sec, 50 secs
lola: 52014 markings, 170256 edges, 869 markings/sec, 55 secs
lola: 56351 markings, 183823 edges, 867 markings/sec, 60 secs
lola: 60678 markings, 198781 edges, 865 markings/sec, 65 secs
lola: 65012 markings, 213424 edges, 867 markings/sec, 70 secs
lola: 69375 markings, 227073 edges, 873 markings/sec, 75 secs
lola: 73755 markings, 240775 edges, 876 markings/sec, 80 secs
lola: 78113 markings, 255817 edges, 872 markings/sec, 85 secs
lola: 82485 markings, 270610 edges, 874 markings/sec, 90 secs
lola: 86879 markings, 284369 edges, 879 markings/sec, 95 secs
lola: 91270 markings, 298131 edges, 878 markings/sec, 100 secs
lola: 95645 markings, 311614 edges, 875 markings/sec, 105 secs
lola: 100030 markings, 324043 edges, 877 markings/sec, 110 secs
lola: 104412 markings, 337057 edges, 876 markings/sec, 115 secs
lola: 108780 markings, 350694 edges, 874 markings/sec, 120 secs
lola: 113131 markings, 365129 edges, 870 markings/sec, 125 secs
lola: 117489 markings, 378509 edges, 872 markings/sec, 130 secs
lola: 121848 markings, 391683 edges, 872 markings/sec, 135 secs
lola: 126201 markings, 405579 edges, 871 markings/sec, 140 secs
lola: 130543 markings, 420012 edges, 868 markings/sec, 145 secs
lola: 134899 markings, 434075 edges, 871 markings/sec, 150 secs
lola: 139249 markings, 448872 edges, 870 markings/sec, 155 secs
lola: 143576 markings, 463499 edges, 865 markings/sec, 160 secs
lola: 147929 markings, 477360 edges, 871 markings/sec, 165 secs
lola: 152256 markings, 490946 edges, 865 markings/sec, 170 secs
lola: 156590 markings, 504608 edges, 867 markings/sec, 175 secs
lola: 160920 markings, 519161 edges, 866 markings/sec, 180 secs
lola: 165304 markings, 533732 edges, 877 markings/sec, 185 secs
lola: 169664 markings, 548096 edges, 872 markings/sec, 190 secs
lola: 174048 markings, 561506 edges, 877 markings/sec, 195 secs
lola: 178378 markings, 576438 edges, 866 markings/sec, 200 secs
lola: 182775 markings, 590030 edges, 879 markings/sec, 205 secs
lola: 187128 markings, 604383 edges, 871 markings/sec, 210 secs
lola: 191540 markings, 617475 edges, 882 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__20_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: 4379 markings, 15105 edges, 876 markings/sec, 0 secs
lola: 8781 markings, 30387 edges, 880 markings/sec, 5 secs
lola: 13167 markings, 44680 edges, 877 markings/sec, 10 secs
lola: 17559 markings, 59625 edges, 878 markings/sec, 15 secs
lola: 21781 markings, 75393 edges, 844 markings/sec, 20 secs
lola: 26133 markings, 90647 edges, 870 markings/sec, 25 secs
lola: 30510 markings, 106501 edges, 875 markings/sec, 30 secs
lola: 34853 markings, 122933 edges, 869 markings/sec, 35 secs
lola: 39183 markings, 138529 edges, 866 markings/sec, 40 secs
lola: 43524 markings, 153424 edges, 868 markings/sec, 45 secs
lola: 47883 markings, 169122 edges, 872 markings/sec, 50 secs
lola: 52260 markings, 183840 edges, 875 markings/sec, 55 secs
lola: 56622 markings, 199132 edges, 872 markings/sec, 60 secs
lola: 60976 markings, 213634 edges, 871 markings/sec, 65 secs
lola: 65308 markings, 229239 edges, 866 markings/sec, 70 secs
lola: 69646 markings, 244849 edges, 868 markings/sec, 75 secs
lola: 73985 markings, 260730 edges, 868 markings/sec, 80 secs
lola: 78350 markings, 276122 edges, 873 markings/sec, 85 secs
lola: 82707 markings, 291768 edges, 871 markings/sec, 90 secs
lola: 87102 markings, 305934 edges, 879 markings/sec, 95 secs
lola: 91498 markings, 321990 edges, 879 markings/sec, 100 secs
lola: 95864 markings, 337388 edges, 873 markings/sec, 105 secs
lola: 100224 markings, 353365 edges, 872 markings/sec, 110 secs
lola: 104593 markings, 369550 edges, 874 markings/sec, 115 secs
lola: 108969 markings, 385078 edges, 875 markings/sec, 120 secs
lola: 113335 markings, 401048 edges, 873 markings/sec, 125 secs
lola: 117650 markings, 416280 edges, 863 markings/sec, 130 secs
lola: 121997 markings, 432131 edges, 869 markings/sec, 135 secs
lola: 126338 markings, 447608 edges, 868 markings/sec, 140 secs
lola: 130661 markings, 462489 edges, 865 markings/sec, 145 secs
lola: 134986 markings, 478238 edges, 865 markings/sec, 150 secs
lola: 139297 markings, 493575 edges, 862 markings/sec, 155 secs
lola: 143616 markings, 509774 edges, 864 markings/sec, 160 secs
lola: 147935 markings, 524280 edges, 864 markings/sec, 165 secs
lola: 152282 markings, 538866 edges, 869 markings/sec, 170 secs
lola: 156595 markings, 554788 edges, 863 markings/sec, 175 secs
lola: 160930 markings, 568533 edges, 867 markings/sec, 180 secs
lola: 165287 markings, 581600 edges, 871 markings/sec, 185 secs
lola: 169654 markings, 594921 edges, 873 markings/sec, 190 secs
lola: 174001 markings, 610466 edges, 869 markings/sec, 195 secs
lola: 178357 markings, 623821 edges, 871 markings/sec, 200 secs
lola: 182709 markings, 637664 edges, 870 markings/sec, 205 secs
lola: 187046 markings, 652937 edges, 867 markings/sec, 210 secs
lola: 191383 markings, 668001 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 2 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__18_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: 4390 markings, 15066 edges, 878 markings/sec, 0 secs
lola: 8748 markings, 30544 edges, 872 markings/sec, 5 secs
lola: 13099 markings, 45873 edges, 870 markings/sec, 10 secs
lola: 17444 markings, 60959 edges, 869 markings/sec, 15 secs
lola: 21788 markings, 76429 edges, 869 markings/sec, 20 secs
lola: 26121 markings, 92213 edges, 867 markings/sec, 25 secs
lola: 30463 markings, 107640 edges, 868 markings/sec, 30 secs
lola: 34796 markings, 123137 edges, 867 markings/sec, 35 secs
lola: 39130 markings, 138684 edges, 867 markings/sec, 40 secs
lola: 43481 markings, 153526 edges, 870 markings/sec, 45 secs
lola: 47823 markings, 167946 edges, 868 markings/sec, 50 secs
lola: 52160 markings, 182374 edges, 867 markings/sec, 55 secs
lola: 56489 markings, 196967 edges, 866 markings/sec, 60 secs
lola: 60827 markings, 212552 edges, 868 markings/sec, 65 secs
lola: 65156 markings, 228758 edges, 866 markings/sec, 70 secs
lola: 69501 markings, 244171 edges, 869 markings/sec, 75 secs
lola: 73831 markings, 261088 edges, 866 markings/sec, 80 secs
lola: 78223 markings, 276892 edges, 878 markings/sec, 85 secs
lola: 82543 markings, 294388 edges, 864 markings/sec, 90 secs
lola: 86852 markings, 309453 edges, 862 markings/sec, 95 secs
lola: 91186 markings, 323864 edges, 867 markings/sec, 100 secs
lola: 95530 markings, 338516 edges, 869 markings/sec, 105 secs
lola: 99856 markings, 353300 edges, 865 markings/sec, 110 secs
lola: 104153 markings, 368351 edges, 859 markings/sec, 115 secs
lola: 108463 markings, 384489 edges, 862 markings/sec, 120 secs
lola: 112808 markings, 400319 edges, 869 markings/sec, 125 secs
lola: 117135 markings, 416425 edges, 865 markings/sec, 130 secs
lola: 121482 markings, 431657 edges, 869 markings/sec, 135 secs
lola: 125852 markings, 447330 edges, 874 markings/sec, 140 secs
lola: 130203 markings, 462451 edges, 870 markings/sec, 145 secs
lola: 134526 markings, 478138 edges, 865 markings/sec, 150 secs
lola: 138829 markings, 495274 edges, 861 markings/sec, 155 secs
lola: 143141 markings, 510437 edges, 862 markings/sec, 160 secs
lola: 147478 markings, 525368 edges, 867 markings/sec, 165 secs
lola: 151784 markings, 541989 edges, 861 markings/sec, 170 secs
lola: 156120 markings, 558770 edges, 867 markings/sec, 175 secs
lola: 160401 markings, 576468 edges, 856 markings/sec, 180 secs
lola: 164696 markings, 591750 edges, 859 markings/sec, 185 secs
lola: 169034 markings, 607766 edges, 868 markings/sec, 190 secs
lola: 173347 markings, 623879 edges, 863 markings/sec, 195 secs
lola: 177674 markings, 640730 edges, 865 markings/sec, 200 secs
lola: 181965 markings, 658124 edges, 858 markings/sec, 205 secs
lola: 186334 markings, 673250 edges, 874 markings/sec, 210 secs
lola: 190682 markings, 689583 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 3 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__32_18_)
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: 4365 markings, 14984 edges, 873 markings/sec, 0 secs
lola: 8742 markings, 30788 edges, 875 markings/sec, 5 secs
lola: 13129 markings, 46413 edges, 877 markings/sec, 10 secs
lola: 17476 markings, 61711 edges, 869 markings/sec, 15 secs
lola: 21834 markings, 75768 edges, 872 markings/sec, 20 secs
lola: 26163 markings, 90213 edges, 866 markings/sec, 25 secs
lola: 30490 markings, 105837 edges, 865 markings/sec, 30 secs
lola: 34869 markings, 120687 edges, 876 markings/sec, 35 secs
lola: 39242 markings, 135877 edges, 875 markings/sec, 40 secs
lola: 43615 markings, 150615 edges, 875 markings/sec, 45 secs
lola: 47987 markings, 165577 edges, 874 markings/sec, 50 secs
lola: 52358 markings, 180171 edges, 874 markings/sec, 55 secs
lola: 56640 markings, 194909 edges, 856 markings/sec, 60 secs
lola: 60938 markings, 209105 edges, 860 markings/sec, 65 secs
lola: 65331 markings, 223468 edges, 879 markings/sec, 70 secs
lola: 69721 markings, 238521 edges, 878 markings/sec, 75 secs
lola: 74070 markings, 253908 edges, 870 markings/sec, 80 secs
lola: 78418 markings, 269096 edges, 870 markings/sec, 85 secs
lola: 82769 markings, 283415 edges, 870 markings/sec, 90 secs
lola: 87094 markings, 298070 edges, 865 markings/sec, 95 secs
lola: 91423 markings, 312536 edges, 866 markings/sec, 100 secs
lola: 95794 markings, 326955 edges, 874 markings/sec, 105 secs
lola: 100185 markings, 341496 edges, 878 markings/sec, 110 secs
lola: 104582 markings, 356132 edges, 879 markings/sec, 115 secs
lola: 108970 markings, 370758 edges, 878 markings/sec, 120 secs
lola: 113370 markings, 385231 edges, 880 markings/sec, 125 secs
lola: 117754 markings, 399690 edges, 877 markings/sec, 130 secs
lola: 122143 markings, 414894 edges, 878 markings/sec, 135 secs
lola: 126524 markings, 429881 edges, 876 markings/sec, 140 secs
lola: 130905 markings, 445359 edges, 876 markings/sec, 145 secs
lola: 135251 markings, 459848 edges, 869 markings/sec, 150 secs
lola: 139618 markings, 475590 edges, 873 markings/sec, 155 secs
lola: 143987 markings, 490755 edges, 874 markings/sec, 160 secs
lola: 148345 markings, 505039 edges, 872 markings/sec, 165 secs
lola: 152713 markings, 519681 edges, 874 markings/sec, 170 secs
lola: 157065 markings, 535306 edges, 870 markings/sec, 175 secs
lola: 161431 markings, 551423 edges, 873 markings/sec, 180 secs
lola: 165863 markings, 566067 edges, 886 markings/sec, 185 secs
lola: 170275 markings, 581080 edges, 882 markings/sec, 190 secs
lola: 174644 markings, 597107 edges, 874 markings/sec, 195 secs
lola: 179090 markings, 611887 edges, 889 markings/sec, 200 secs
lola: 183469 markings, 626900 edges, 876 markings/sec, 205 secs
lola: 187806 markings, 641809 edges, 867 markings/sec, 210 secs
lola: 192150 markings, 656963 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 4 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__26_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: 4336 markings, 15163 edges, 867 markings/sec, 0 secs
lola: 8690 markings, 29583 edges, 871 markings/sec, 5 secs
lola: 13026 markings, 44751 edges, 867 markings/sec, 10 secs
lola: 17361 markings, 59423 edges, 867 markings/sec, 15 secs
lola: 21688 markings, 74135 edges, 865 markings/sec, 20 secs
lola: 26010 markings, 89472 edges, 864 markings/sec, 25 secs
lola: 30316 markings, 105187 edges, 861 markings/sec, 30 secs
lola: 34628 markings, 120684 edges, 862 markings/sec, 35 secs
lola: 38907 markings, 136247 edges, 856 markings/sec, 40 secs
lola: 43228 markings, 151101 edges, 864 markings/sec, 45 secs
lola: 47529 markings, 166423 edges, 860 markings/sec, 50 secs
lola: 51871 markings, 181060 edges, 868 markings/sec, 55 secs
lola: 56229 markings, 194920 edges, 872 markings/sec, 60 secs
lola: 60579 markings, 209030 edges, 870 markings/sec, 65 secs
lola: 64933 markings, 223521 edges, 871 markings/sec, 70 secs
lola: 69255 markings, 239090 edges, 864 markings/sec, 75 secs
lola: 73587 markings, 254119 edges, 866 markings/sec, 80 secs
lola: 77914 markings, 269079 edges, 865 markings/sec, 85 secs
lola: 82259 markings, 283278 edges, 869 markings/sec, 90 secs
lola: 86594 markings, 297772 edges, 867 markings/sec, 95 secs
lola: 90927 markings, 312623 edges, 867 markings/sec, 100 secs
lola: 95241 markings, 327303 edges, 863 markings/sec, 105 secs
lola: 99566 markings, 341582 edges, 865 markings/sec, 110 secs
lola: 103917 markings, 355609 edges, 870 markings/sec, 115 secs
lola: 108270 markings, 369513 edges, 871 markings/sec, 120 secs
lola: 112601 markings, 384136 edges, 866 markings/sec, 125 secs
lola: 116946 markings, 398105 edges, 869 markings/sec, 130 secs
lola: 121278 markings, 413169 edges, 866 markings/sec, 135 secs
lola: 125607 markings, 429203 edges, 866 markings/sec, 140 secs
lola: 129928 markings, 444271 edges, 864 markings/sec, 145 secs
lola: 134272 markings, 458676 edges, 869 markings/sec, 150 secs
lola: 138584 markings, 473342 edges, 862 markings/sec, 155 secs
lola: 142891 markings, 487458 edges, 861 markings/sec, 160 secs
lola: 147184 markings, 501858 edges, 859 markings/sec, 165 secs
lola: 151486 markings, 515975 edges, 860 markings/sec, 170 secs
lola: 155796 markings, 529717 edges, 862 markings/sec, 175 secs
lola: 160084 markings, 543924 edges, 858 markings/sec, 180 secs
lola: 164384 markings, 558225 edges, 860 markings/sec, 185 secs
lola: 168673 markings, 572931 edges, 858 markings/sec, 190 secs
lola: 172950 markings, 587736 edges, 855 markings/sec, 195 secs
lola: 177259 markings, 601103 edges, 862 markings/sec, 200 secs
lola: 181558 markings, 614811 edges, 860 markings/sec, 205 secs
lola: 185852 markings, 629364 edges, 859 markings/sec, 210 secs
lola: 190151 markings, 644548 edges, 860 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__12_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: 4327 markings, 15464 edges, 865 markings/sec, 0 secs
lola: 8691 markings, 30386 edges, 873 markings/sec, 5 secs
lola: 13075 markings, 45509 edges, 877 markings/sec, 10 secs
lola: 17451 markings, 60282 edges, 875 markings/sec, 15 secs
lola: 21812 markings, 75488 edges, 872 markings/sec, 20 secs
lola: 26176 markings, 90190 edges, 873 markings/sec, 25 secs
lola: 30545 markings, 104846 edges, 874 markings/sec, 30 secs
lola: 34885 markings, 119744 edges, 868 markings/sec, 35 secs
lola: 39201 markings, 135313 edges, 863 markings/sec, 40 secs
lola: 43530 markings, 150314 edges, 866 markings/sec, 45 secs
lola: 47868 markings, 165788 edges, 868 markings/sec, 50 secs
lola: 52232 markings, 180331 edges, 873 markings/sec, 55 secs
lola: 56580 markings, 194723 edges, 870 markings/sec, 60 secs
lola: 60910 markings, 209581 edges, 866 markings/sec, 65 secs
lola: 65259 markings, 224143 edges, 870 markings/sec, 70 secs
lola: 69585 markings, 238275 edges, 865 markings/sec, 75 secs
lola: 73913 markings, 252808 edges, 866 markings/sec, 80 secs
lola: 78250 markings, 268016 edges, 867 markings/sec, 85 secs
lola: 82579 markings, 283363 edges, 866 markings/sec, 90 secs
lola: 86921 markings, 297861 edges, 868 markings/sec, 95 secs
lola: 91267 markings, 312996 edges, 869 markings/sec, 100 secs
lola: 95612 markings, 327448 edges, 869 markings/sec, 105 secs
lola: 99935 markings, 342161 edges, 865 markings/sec, 110 secs
lola: 104250 markings, 357065 edges, 863 markings/sec, 115 secs
lola: 108576 markings, 372322 edges, 865 markings/sec, 120 secs
lola: 112894 markings, 388013 edges, 864 markings/sec, 125 secs
lola: 117261 markings, 402346 edges, 873 markings/sec, 130 secs
lola: 121632 markings, 416775 edges, 874 markings/sec, 135 secs
lola: 126010 markings, 431242 edges, 876 markings/sec, 140 secs
lola: 130380 markings, 445970 edges, 874 markings/sec, 145 secs
lola: 134762 markings, 460707 edges, 876 markings/sec, 150 secs
lola: 139152 markings, 475321 edges, 878 markings/sec, 155 secs
lola: 143524 markings, 490676 edges, 874 markings/sec, 160 secs
lola: 147883 markings, 504963 edges, 872 markings/sec, 165 secs
lola: 152220 markings, 519356 edges, 867 markings/sec, 170 secs
lola: 156576 markings, 533606 edges, 871 markings/sec, 175 secs
lola: 160924 markings, 548316 edges, 870 markings/sec, 180 secs
lola: 165247 markings, 563088 edges, 865 markings/sec, 185 secs
lola: 169589 markings, 577214 edges, 868 markings/sec, 190 secs
lola: 173929 markings, 592018 edges, 868 markings/sec, 195 secs
lola: 178254 markings, 607771 edges, 865 markings/sec, 200 secs
lola: 182590 markings, 623525 edges, 867 markings/sec, 205 secs
lola: 186920 markings, 638995 edges, 866 markings/sec, 210 secs
lola: 191239 markings, 653384 edges, 864 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__12_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: 4297 markings, 14748 edges, 859 markings/sec, 0 secs
lola: 8615 markings, 30268 edges, 864 markings/sec, 5 secs
lola: 12948 markings, 45013 edges, 867 markings/sec, 10 secs
lola: 17269 markings, 59779 edges, 864 markings/sec, 15 secs
lola: 21580 markings, 74109 edges, 862 markings/sec, 20 secs
lola: 25909 markings, 87418 edges, 866 markings/sec, 25 secs
lola: 30220 markings, 101554 edges, 862 markings/sec, 30 secs
lola: 34514 markings, 116459 edges, 859 markings/sec, 35 secs
lola: 38804 markings, 131511 edges, 858 markings/sec, 40 secs
lola: 43082 markings, 147321 edges, 856 markings/sec, 45 secs
lola: 47388 markings, 161564 edges, 861 markings/sec, 50 secs
lola: 51699 markings, 174693 edges, 862 markings/sec, 55 secs
lola: 55991 markings, 189026 edges, 858 markings/sec, 60 secs
lola: 60280 markings, 203508 edges, 858 markings/sec, 65 secs
lola: 64515 markings, 218933 edges, 847 markings/sec, 70 secs
lola: 68773 markings, 233259 edges, 852 markings/sec, 75 secs
lola: 73022 markings, 248275 edges, 850 markings/sec, 80 secs
lola: 77268 markings, 263606 edges, 849 markings/sec, 85 secs
lola: 81527 markings, 277614 edges, 852 markings/sec, 90 secs
lola: 85795 markings, 291004 edges, 854 markings/sec, 95 secs
lola: 90075 markings, 304579 edges, 856 markings/sec, 100 secs
lola: 94366 markings, 318480 edges, 858 markings/sec, 105 secs
lola: 98646 markings, 332706 edges, 856 markings/sec, 110 secs
lola: 102924 markings, 346923 edges, 856 markings/sec, 115 secs
lola: 107190 markings, 361909 edges, 853 markings/sec, 120 secs
lola: 111496 markings, 376020 edges, 861 markings/sec, 125 secs
lola: 115739 markings, 389438 edges, 849 markings/sec, 130 secs
lola: 119996 markings, 403678 edges, 851 markings/sec, 135 secs
lola: 124264 markings, 418273 edges, 854 markings/sec, 140 secs
lola: 128548 markings, 431757 edges, 857 markings/sec, 145 secs
lola: 132812 markings, 445554 edges, 853 markings/sec, 150 secs
lola: 137072 markings, 459221 edges, 852 markings/sec, 155 secs
lola: 141319 markings, 472391 edges, 849 markings/sec, 160 secs
lola: 145585 markings, 486268 edges, 853 markings/sec, 165 secs
lola: 149851 markings, 500025 edges, 853 markings/sec, 170 secs
lola: 154114 markings, 513305 edges, 853 markings/sec, 175 secs
lola: 158381 markings, 527079 edges, 853 markings/sec, 180 secs
lola: 162639 markings, 541058 edges, 852 markings/sec, 185 secs
lola: 166927 markings, 554369 edges, 858 markings/sec, 190 secs
lola: 171235 markings, 568354 edges, 862 markings/sec, 195 secs
lola: 175530 markings, 582643 edges, 859 markings/sec, 200 secs
lola: 179812 markings, 598036 edges, 856 markings/sec, 205 secs
lola: 184090 markings, 612873 edges, 856 markings/sec, 210 secs
lola: 188367 markings, 628587 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 7 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__16_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: 4296 markings, 14223 edges, 859 markings/sec, 0 secs
lola: 8627 markings, 28679 edges, 866 markings/sec, 5 secs
lola: 12935 markings, 43670 edges, 862 markings/sec, 10 secs
lola: 17246 markings, 57676 edges, 862 markings/sec, 15 secs
lola: 21567 markings, 70621 edges, 864 markings/sec, 20 secs
lola: 25860 markings, 84291 edges, 859 markings/sec, 25 secs
lola: 30153 markings, 98257 edges, 859 markings/sec, 30 secs
lola: 34470 markings, 112752 edges, 863 markings/sec, 35 secs
lola: 38788 markings, 126861 edges, 864 markings/sec, 40 secs
lola: 43081 markings, 141119 edges, 859 markings/sec, 45 secs
lola: 47399 markings, 155581 edges, 864 markings/sec, 50 secs
lola: 51693 markings, 168214 edges, 859 markings/sec, 55 secs
lola: 55975 markings, 181911 edges, 856 markings/sec, 60 secs
lola: 60262 markings, 195689 edges, 857 markings/sec, 65 secs
lola: 64528 markings, 210416 edges, 853 markings/sec, 70 secs
lola: 68828 markings, 223515 edges, 860 markings/sec, 75 secs
lola: 73113 markings, 237634 edges, 857 markings/sec, 80 secs
lola: 77404 markings, 251251 edges, 858 markings/sec, 85 secs
lola: 81714 markings, 264506 edges, 862 markings/sec, 90 secs
lola: 86001 markings, 277609 edges, 857 markings/sec, 95 secs
lola: 90261 markings, 291406 edges, 852 markings/sec, 100 secs
lola: 94552 markings, 304131 edges, 858 markings/sec, 105 secs
lola: 98837 markings, 318136 edges, 857 markings/sec, 110 secs
lola: 103109 markings, 332511 edges, 854 markings/sec, 115 secs
lola: 107417 markings, 346152 edges, 862 markings/sec, 120 secs
lola: 111694 markings, 360764 edges, 855 markings/sec, 125 secs
lola: 115935 markings, 373633 edges, 848 markings/sec, 130 secs
lola: 120165 markings, 387140 edges, 846 markings/sec, 135 secs
lola: 124390 markings, 400516 edges, 845 markings/sec, 140 secs
lola: 128595 markings, 415332 edges, 841 markings/sec, 145 secs
lola: 132858 markings, 428203 edges, 853 markings/sec, 150 secs
lola: 137118 markings, 442262 edges, 852 markings/sec, 155 secs
lola: 141383 markings, 455893 edges, 853 markings/sec, 160 secs
lola: 145647 markings, 468959 edges, 853 markings/sec, 165 secs
lola: 149897 markings, 481654 edges, 850 markings/sec, 170 secs
lola: 154122 markings, 495684 edges, 845 markings/sec, 175 secs
lola: 158371 markings, 508298 edges, 850 markings/sec, 180 secs
lola: 162606 markings, 522043 edges, 847 markings/sec, 185 secs
lola: 166834 markings, 536074 edges, 846 markings/sec, 190 secs
lola: 171114 markings, 548993 edges, 856 markings/sec, 195 secs
lola: 175361 markings, 561197 edges, 849 markings/sec, 200 secs
lola: 179581 markings, 574707 edges, 844 markings/sec, 205 secs
lola: 183821 markings, 586750 edges, 848 markings/sec, 210 secs
lola: 188073 markings, 599677 edges, 850 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__9_34_)
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, 15707 edges, 865 markings/sec, 0 secs
lola: 8700 markings, 32093 edges, 875 markings/sec, 5 secs
lola: 13108 markings, 48698 edges, 882 markings/sec, 10 secs
lola: 17490 markings, 65081 edges, 876 markings/sec, 15 secs
lola: 21896 markings, 81213 edges, 881 markings/sec, 20 secs
lola: 26265 markings, 97829 edges, 874 markings/sec, 25 secs
lola: 30648 markings, 113482 edges, 877 markings/sec, 30 secs
lola: 35012 markings, 130351 edges, 873 markings/sec, 35 secs
lola: 39388 markings, 147301 edges, 875 markings/sec, 40 secs
lola: 43755 markings, 163670 edges, 873 markings/sec, 45 secs
lola: 48082 markings, 179415 edges, 865 markings/sec, 50 secs
lola: 52379 markings, 196436 edges, 859 markings/sec, 55 secs
lola: 56681 markings, 213471 edges, 860 markings/sec, 60 secs
lola: 60989 markings, 229595 edges, 862 markings/sec, 65 secs
lola: 65299 markings, 245708 edges, 862 markings/sec, 70 secs
lola: 69615 markings, 261667 edges, 863 markings/sec, 75 secs
lola: 73983 markings, 277820 edges, 874 markings/sec, 80 secs
lola: 78338 markings, 294923 edges, 871 markings/sec, 85 secs
lola: 82692 markings, 311949 edges, 871 markings/sec, 90 secs
lola: 87023 markings, 329090 edges, 866 markings/sec, 95 secs
lola: 91393 markings, 345784 edges, 874 markings/sec, 100 secs
lola: 95751 markings, 362783 edges, 872 markings/sec, 105 secs
lola: 100143 markings, 378817 edges, 878 markings/sec, 110 secs
lola: 104487 markings, 394755 edges, 869 markings/sec, 115 secs
lola: 108744 markings, 410377 edges, 851 markings/sec, 120 secs
lola: 113092 markings, 426937 edges, 870 markings/sec, 125 secs
lola: 117455 markings, 443125 edges, 873 markings/sec, 130 secs
lola: 121856 markings, 459381 edges, 880 markings/sec, 135 secs
lola: 126277 markings, 475409 edges, 884 markings/sec, 140 secs
lola: 130685 markings, 492256 edges, 882 markings/sec, 145 secs
lola: 135050 markings, 508135 edges, 873 markings/sec, 150 secs
lola: 139393 markings, 525032 edges, 869 markings/sec, 155 secs
lola: 143734 markings, 542508 edges, 868 markings/sec, 160 secs
lola: 148086 markings, 559517 edges, 870 markings/sec, 165 secs
lola: 152453 markings, 575352 edges, 873 markings/sec, 170 secs
lola: 156864 markings, 591353 edges, 882 markings/sec, 175 secs
lola: 161240 markings, 608481 edges, 875 markings/sec, 180 secs
lola: 165627 markings, 625362 edges, 877 markings/sec, 185 secs
lola: 170015 markings, 641911 edges, 878 markings/sec, 190 secs
lola: 174376 markings, 658082 edges, 872 markings/sec, 195 secs
lola: 178714 markings, 674307 edges, 868 markings/sec, 200 secs
lola: 183068 markings, 690615 edges, 871 markings/sec, 205 secs
lola: 187425 markings, 706512 edges, 871 markings/sec, 210 secs
lola: 191800 markings, 722153 edges, 875 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__25_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: 4394 markings, 13267 edges, 879 markings/sec, 0 secs
lola: 8798 markings, 27490 edges, 881 markings/sec, 5 secs
lola: 13199 markings, 41839 edges, 880 markings/sec, 10 secs
lola: 17600 markings, 55903 edges, 880 markings/sec, 15 secs
lola: 22004 markings, 70189 edges, 881 markings/sec, 20 secs
lola: 26407 markings, 84191 edges, 881 markings/sec, 25 secs
lola: 30816 markings, 97882 edges, 882 markings/sec, 30 secs
lola: 35217 markings, 111658 edges, 880 markings/sec, 35 secs
lola: 39608 markings, 126135 edges, 878 markings/sec, 40 secs
lola: 44004 markings, 141313 edges, 879 markings/sec, 45 secs
lola: 48400 markings, 155266 edges, 879 markings/sec, 50 secs
lola: 52778 markings, 169835 edges, 876 markings/sec, 55 secs
lola: 57167 markings, 183865 edges, 878 markings/sec, 60 secs
lola: 61564 markings, 197809 edges, 879 markings/sec, 65 secs
lola: 65961 markings, 211915 edges, 879 markings/sec, 70 secs
lola: 70354 markings, 226158 edges, 879 markings/sec, 75 secs
lola: 74739 markings, 241705 edges, 877 markings/sec, 80 secs
lola: 79151 markings, 255299 edges, 882 markings/sec, 85 secs
lola: 83545 markings, 270538 edges, 879 markings/sec, 90 secs
lola: 87947 markings, 284644 edges, 880 markings/sec, 95 secs
lola: 92328 markings, 298830 edges, 876 markings/sec, 100 secs
lola: 96713 markings, 313489 edges, 877 markings/sec, 105 secs
lola: 101152 markings, 327898 edges, 888 markings/sec, 110 secs
lola: 105527 markings, 342719 edges, 875 markings/sec, 115 secs
lola: 109906 markings, 356551 edges, 876 markings/sec, 120 secs
lola: 114297 markings, 370512 edges, 878 markings/sec, 125 secs
lola: 118696 markings, 384577 edges, 880 markings/sec, 130 secs
lola: 123100 markings, 398546 edges, 881 markings/sec, 135 secs
lola: 127493 markings, 413260 edges, 879 markings/sec, 140 secs
lola: 131888 markings, 426735 edges, 879 markings/sec, 145 secs
lola: 136286 markings, 440031 edges, 880 markings/sec, 150 secs
lola: 140671 markings, 454208 edges, 877 markings/sec, 155 secs
lola: 145055 markings, 468176 edges, 877 markings/sec, 160 secs
lola: 149458 markings, 482196 edges, 881 markings/sec, 165 secs
lola: 153842 markings, 495560 edges, 877 markings/sec, 170 secs
lola: 158224 markings, 509499 edges, 876 markings/sec, 175 secs
lola: 162598 markings, 523435 edges, 875 markings/sec, 180 secs
lola: 166995 markings, 537266 edges, 879 markings/sec, 185 secs
lola: 171380 markings, 551295 edges, 877 markings/sec, 190 secs
lola: 175745 markings, 565996 edges, 873 markings/sec, 195 secs
lola: 180118 markings, 581190 edges, 875 markings/sec, 200 secs
lola: 184537 markings, 595499 edges, 884 markings/sec, 205 secs
lola: 188933 markings, 610151 edges, 879 markings/sec, 210 secs
lola: 193312 markings, 624961 edges, 876 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__37_10_)
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: 4449 markings, 16009 edges, 890 markings/sec, 0 secs
lola: 8894 markings, 31664 edges, 889 markings/sec, 5 secs
lola: 13338 markings, 47915 edges, 889 markings/sec, 10 secs
lola: 17757 markings, 64170 edges, 884 markings/sec, 15 secs
lola: 22152 markings, 79693 edges, 879 markings/sec, 20 secs
lola: 26552 markings, 95159 edges, 880 markings/sec, 25 secs
lola: 30931 markings, 111407 edges, 876 markings/sec, 30 secs
lola: 35312 markings, 127291 edges, 876 markings/sec, 35 secs
lola: 39696 markings, 143813 edges, 877 markings/sec, 40 secs
lola: 44083 markings, 159236 edges, 877 markings/sec, 45 secs
lola: 48464 markings, 175098 edges, 876 markings/sec, 50 secs
lola: 52821 markings, 191682 edges, 871 markings/sec, 55 secs
lola: 57180 markings, 207865 edges, 872 markings/sec, 60 secs
lola: 61560 markings, 223959 edges, 876 markings/sec, 65 secs
lola: 65927 markings, 239689 edges, 873 markings/sec, 70 secs
lola: 70282 markings, 256154 edges, 871 markings/sec, 75 secs
lola: 74683 markings, 272124 edges, 880 markings/sec, 80 secs
lola: 79067 markings, 288987 edges, 877 markings/sec, 85 secs
lola: 83444 markings, 305057 edges, 875 markings/sec, 90 secs
lola: 87806 markings, 320802 edges, 872 markings/sec, 95 secs
lola: 92171 markings, 336570 edges, 873 markings/sec, 100 secs
lola: 96532 markings, 352380 edges, 872 markings/sec, 105 secs
lola: 100893 markings, 368812 edges, 872 markings/sec, 110 secs
lola: 105307 markings, 384836 edges, 883 markings/sec, 115 secs
lola: 109723 markings, 401081 edges, 883 markings/sec, 120 secs
lola: 114168 markings, 416621 edges, 889 markings/sec, 125 secs
lola: 118610 markings, 433511 edges, 888 markings/sec, 130 secs
lola: 123052 markings, 450248 edges, 888 markings/sec, 135 secs
lola: 127503 markings, 466119 edges, 890 markings/sec, 140 secs
lola: 131940 markings, 481928 edges, 887 markings/sec, 145 secs
lola: 136366 markings, 498734 edges, 885 markings/sec, 150 secs
lola: 140783 markings, 516249 edges, 883 markings/sec, 155 secs
lola: 145194 markings, 532932 edges, 882 markings/sec, 160 secs
lola: 149634 markings, 549060 edges, 888 markings/sec, 165 secs
lola: 154035 markings, 565867 edges, 880 markings/sec, 170 secs
lola: 158448 markings, 581712 edges, 883 markings/sec, 175 secs
lola: 162850 markings, 598366 edges, 880 markings/sec, 180 secs
lola: 167258 markings, 614667 edges, 882 markings/sec, 185 secs
lola: 171659 markings, 631143 edges, 880 markings/sec, 190 secs
lola: 176055 markings, 646765 edges, 879 markings/sec, 195 secs
lola: 180449 markings, 663014 edges, 879 markings/sec, 200 secs
lola: 184848 markings, 678743 edges, 880 markings/sec, 205 secs
lola: 189283 markings, 694344 edges, 887 markings/sec, 210 secs
lola: 193707 markings, 710624 edges, 885 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__36_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: 4449 markings, 15005 edges, 890 markings/sec, 0 secs
lola: 8911 markings, 31333 edges, 892 markings/sec, 5 secs
lola: 13366 markings, 46853 edges, 891 markings/sec, 10 secs
lola: 17828 markings, 61365 edges, 892 markings/sec, 15 secs
lola: 22294 markings, 76932 edges, 893 markings/sec, 20 secs
lola: 26764 markings, 92103 edges, 894 markings/sec, 25 secs
lola: 31213 markings, 107844 edges, 890 markings/sec, 30 secs
lola: 35665 markings, 123176 edges, 890 markings/sec, 35 secs
lola: 40108 markings, 139089 edges, 889 markings/sec, 40 secs
lola: 44572 markings, 154054 edges, 893 markings/sec, 45 secs
lola: 49047 markings, 169139 edges, 895 markings/sec, 50 secs
lola: 53498 markings, 184693 edges, 890 markings/sec, 55 secs
lola: 57933 markings, 199912 edges, 887 markings/sec, 60 secs
lola: 62369 markings, 215487 edges, 887 markings/sec, 65 secs
lola: 66809 markings, 231269 edges, 888 markings/sec, 70 secs
lola: 71272 markings, 246795 edges, 893 markings/sec, 75 secs
lola: 75714 markings, 262640 edges, 888 markings/sec, 80 secs
lola: 80158 markings, 278216 edges, 889 markings/sec, 85 secs
lola: 84625 markings, 293765 edges, 893 markings/sec, 90 secs
lola: 89089 markings, 309191 edges, 893 markings/sec, 95 secs
lola: 93545 markings, 324996 edges, 891 markings/sec, 100 secs
lola: 98006 markings, 340248 edges, 892 markings/sec, 105 secs
lola: 102459 markings, 356172 edges, 891 markings/sec, 110 secs
lola: 106885 markings, 371614 edges, 885 markings/sec, 115 secs
lola: 111301 markings, 387067 edges, 883 markings/sec, 120 secs
lola: 115730 markings, 402260 edges, 886 markings/sec, 125 secs
lola: 120163 markings, 418216 edges, 887 markings/sec, 130 secs
lola: 124601 markings, 433981 edges, 888 markings/sec, 135 secs
lola: 129053 markings, 449739 edges, 890 markings/sec, 140 secs
lola: 133506 markings, 466127 edges, 891 markings/sec, 145 secs
lola: 137973 markings, 482167 edges, 893 markings/sec, 150 secs
lola: 142390 markings, 498179 edges, 883 markings/sec, 155 secs
lola: 146804 markings, 514239 edges, 883 markings/sec, 160 secs
lola: 151246 markings, 529363 edges, 888 markings/sec, 165 secs
lola: 155700 markings, 545038 edges, 891 markings/sec, 170 secs
lola: 160155 markings, 560133 edges, 891 markings/sec, 175 secs
lola: 164606 markings, 575739 edges, 890 markings/sec, 180 secs
lola: 169065 markings, 591447 edges, 892 markings/sec, 185 secs
lola: 173506 markings, 607233 edges, 888 markings/sec, 190 secs
lola: 177941 markings, 622902 edges, 887 markings/sec, 195 secs
lola: 182407 markings, 637506 edges, 893 markings/sec, 200 secs
lola: 186856 markings, 653606 edges, 890 markings/sec, 205 secs
lola: 191289 markings, 668474 edges, 887 markings/sec, 210 secs
lola: 195688 markings, 682769 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 12 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__33_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: 4372 markings, 15487 edges, 874 markings/sec, 0 secs
lola: 8755 markings, 31077 edges, 877 markings/sec, 5 secs
lola: 13131 markings, 46506 edges, 875 markings/sec, 10 secs
lola: 17506 markings, 61824 edges, 875 markings/sec, 15 secs
lola: 21873 markings, 76239 edges, 873 markings/sec, 20 secs
lola: 26236 markings, 91370 edges, 873 markings/sec, 25 secs
lola: 30591 markings, 107931 edges, 871 markings/sec, 30 secs
lola: 34951 markings, 124347 edges, 872 markings/sec, 35 secs
lola: 39309 markings, 140893 edges, 872 markings/sec, 40 secs
lola: 43718 markings, 155415 edges, 882 markings/sec, 45 secs
lola: 48109 markings, 170902 edges, 878 markings/sec, 50 secs
lola: 52504 markings, 185535 edges, 879 markings/sec, 55 secs
lola: 56889 markings, 200535 edges, 877 markings/sec, 60 secs
lola: 61258 markings, 216927 edges, 874 markings/sec, 65 secs
lola: 65623 markings, 233196 edges, 873 markings/sec, 70 secs
lola: 69947 markings, 251114 edges, 865 markings/sec, 75 secs
lola: 74283 markings, 266364 edges, 867 markings/sec, 80 secs
lola: 78633 markings, 282887 edges, 870 markings/sec, 85 secs
lola: 83039 markings, 297832 edges, 881 markings/sec, 90 secs
lola: 87436 markings, 313404 edges, 879 markings/sec, 95 secs
lola: 91820 markings, 329532 edges, 877 markings/sec, 100 secs
lola: 96187 markings, 347016 edges, 873 markings/sec, 105 secs
lola: 100576 markings, 363386 edges, 878 markings/sec, 110 secs
lola: 104947 markings, 380261 edges, 874 markings/sec, 115 secs
lola: 109325 markings, 396628 edges, 876 markings/sec, 120 secs
lola: 113711 markings, 412471 edges, 877 markings/sec, 125 secs
lola: 118107 markings, 426472 edges, 879 markings/sec, 130 secs
lola: 122476 markings, 441305 edges, 874 markings/sec, 135 secs
lola: 126834 markings, 456771 edges, 872 markings/sec, 140 secs
lola: 131170 markings, 473236 edges, 867 markings/sec, 145 secs
lola: 135479 markings, 491661 edges, 862 markings/sec, 150 secs
lola: 139818 markings, 507968 edges, 868 markings/sec, 155 secs
lola: 144179 markings, 523748 edges, 872 markings/sec, 160 secs
lola: 148492 markings, 539190 edges, 863 markings/sec, 165 secs
lola: 152851 markings, 554555 edges, 872 markings/sec, 170 secs
lola: 157249 markings, 569587 edges, 880 markings/sec, 175 secs
lola: 161644 markings, 585193 edges, 879 markings/sec, 180 secs
lola: 166018 markings, 601526 edges, 875 markings/sec, 185 secs
lola: 170404 markings, 616046 edges, 877 markings/sec, 190 secs
lola: 174770 markings, 630957 edges, 873 markings/sec, 195 secs
lola: 179119 markings, 646425 edges, 870 markings/sec, 200 secs
lola: 183478 markings, 661948 edges, 872 markings/sec, 205 secs
lola: 187848 markings, 676543 edges, 874 markings/sec, 210 secs
lola: 192192 markings, 692474 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 13 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__2_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: 4439 markings, 14542 edges, 888 markings/sec, 0 secs
lola: 8911 markings, 28892 edges, 894 markings/sec, 5 secs
lola: 13353 markings, 44838 edges, 888 markings/sec, 10 secs
lola: 17812 markings, 59345 edges, 892 markings/sec, 15 secs
lola: 22263 markings, 74710 edges, 890 markings/sec, 20 secs
lola: 26731 markings, 90566 edges, 894 markings/sec, 25 secs
lola: 31188 markings, 106566 edges, 891 markings/sec, 30 secs
lola: 35690 markings, 121941 edges, 900 markings/sec, 35 secs
lola: 40169 markings, 137445 edges, 896 markings/sec, 40 secs
lola: 44628 markings, 152737 edges, 892 markings/sec, 45 secs
lola: 49070 markings, 167461 edges, 888 markings/sec, 50 secs
lola: 53541 markings, 183291 edges, 894 markings/sec, 55 secs
lola: 57978 markings, 197927 edges, 887 markings/sec, 60 secs
lola: 62426 markings, 212933 edges, 890 markings/sec, 65 secs
lola: 66863 markings, 227816 edges, 887 markings/sec, 70 secs
lola: 71286 markings, 242913 edges, 885 markings/sec, 75 secs
lola: 75713 markings, 258226 edges, 885 markings/sec, 80 secs
lola: 80158 markings, 273236 edges, 889 markings/sec, 85 secs
lola: 84585 markings, 288144 edges, 885 markings/sec, 90 secs
lola: 89001 markings, 303059 edges, 883 markings/sec, 95 secs
lola: 93433 markings, 318279 edges, 886 markings/sec, 100 secs
lola: 97895 markings, 333557 edges, 892 markings/sec, 105 secs
lola: 102320 markings, 348668 edges, 885 markings/sec, 110 secs
lola: 106750 markings, 362877 edges, 886 markings/sec, 115 secs
lola: 111164 markings, 376955 edges, 883 markings/sec, 120 secs
lola: 115596 markings, 390326 edges, 886 markings/sec, 125 secs
lola: 120010 markings, 404979 edges, 883 markings/sec, 130 secs
lola: 124409 markings, 420775 edges, 880 markings/sec, 135 secs
lola: 128783 markings, 437933 edges, 875 markings/sec, 140 secs
lola: 133164 markings, 452534 edges, 876 markings/sec, 145 secs
lola: 137525 markings, 469334 edges, 872 markings/sec, 150 secs
lola: 141918 markings, 483200 edges, 879 markings/sec, 155 secs
lola: 146304 markings, 497674 edges, 877 markings/sec, 160 secs
lola: 150672 markings, 513586 edges, 874 markings/sec, 165 secs
lola: 155061 markings, 527339 edges, 878 markings/sec, 170 secs
lola: 159449 markings, 541918 edges, 878 markings/sec, 175 secs
lola: 163820 markings, 557588 edges, 874 markings/sec, 180 secs
lola: 168202 markings, 572725 edges, 876 markings/sec, 185 secs
lola: 172566 markings, 588798 edges, 873 markings/sec, 190 secs
lola: 176899 markings, 607089 edges, 867 markings/sec, 195 secs
lola: 181275 markings, 621605 edges, 875 markings/sec, 200 secs
lola: 185646 markings, 636368 edges, 874 markings/sec, 205 secs
lola: 189997 markings, 651590 edges, 870 markings/sec, 210 secs
lola: 194331 markings, 666340 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 14 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__19_17_)
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: 4332 markings, 13144 edges, 866 markings/sec, 0 secs
lola: 8689 markings, 26976 edges, 871 markings/sec, 5 secs
lola: 13033 markings, 41046 edges, 869 markings/sec, 10 secs
lola: 17389 markings, 54365 edges, 871 markings/sec, 15 secs
lola: 21738 markings, 67912 edges, 870 markings/sec, 20 secs
lola: 26097 markings, 80972 edges, 872 markings/sec, 25 secs
lola: 30429 markings, 95067 edges, 866 markings/sec, 30 secs
lola: 34778 markings, 108313 edges, 870 markings/sec, 35 secs
lola: 39126 markings, 121706 edges, 870 markings/sec, 40 secs
lola: 43463 markings, 136079 edges, 867 markings/sec, 45 secs
lola: 47816 markings, 149754 edges, 871 markings/sec, 50 secs
lola: 52160 markings, 163627 edges, 869 markings/sec, 55 secs
lola: 56513 markings, 177049 edges, 871 markings/sec, 60 secs
lola: 60842 markings, 190956 edges, 866 markings/sec, 65 secs
lola: 65181 markings, 204036 edges, 868 markings/sec, 70 secs
lola: 69517 markings, 218796 edges, 867 markings/sec, 75 secs
lola: 73835 markings, 233209 edges, 864 markings/sec, 80 secs
lola: 78149 markings, 247637 edges, 863 markings/sec, 85 secs
lola: 82468 markings, 262050 edges, 864 markings/sec, 90 secs
lola: 86801 markings, 275002 edges, 867 markings/sec, 95 secs
lola: 91134 markings, 289071 edges, 867 markings/sec, 100 secs
lola: 95477 markings, 302600 edges, 869 markings/sec, 105 secs
lola: 99803 markings, 316307 edges, 865 markings/sec, 110 secs
lola: 104112 markings, 330122 edges, 862 markings/sec, 115 secs
lola: 108428 markings, 344352 edges, 863 markings/sec, 120 secs
lola: 112746 markings, 359288 edges, 864 markings/sec, 125 secs
lola: 117098 markings, 373208 edges, 870 markings/sec, 130 secs
lola: 121442 markings, 387182 edges, 869 markings/sec, 135 secs
lola: 125801 markings, 401106 edges, 872 markings/sec, 140 secs
lola: 130145 markings, 415530 edges, 869 markings/sec, 145 secs
lola: 134486 markings, 429334 edges, 868 markings/sec, 150 secs
lola: 138831 markings, 443412 edges, 869 markings/sec, 155 secs
lola: 143178 markings, 457389 edges, 869 markings/sec, 160 secs
lola: 147542 markings, 470850 edges, 873 markings/sec, 165 secs
lola: 151904 markings, 485141 edges, 872 markings/sec, 170 secs
lola: 156246 markings, 499506 edges, 868 markings/sec, 175 secs
lola: 160592 markings, 514295 edges, 869 markings/sec, 180 secs
lola: 164938 markings, 528978 edges, 869 markings/sec, 185 secs
lola: 169280 markings, 543784 edges, 868 markings/sec, 190 secs
lola: 173646 markings, 557516 edges, 873 markings/sec, 195 secs
lola: 177991 markings, 571819 edges, 869 markings/sec, 200 secs
lola: 182331 markings, 586601 edges, 868 markings/sec, 205 secs
lola: 186672 markings, 601250 edges, 868 markings/sec, 210 secs
lola: 191014 markings, 615395 edges, 868 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__12_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: 4328 markings, 15178 edges, 866 markings/sec, 0 secs
lola: 8689 markings, 29540 edges, 872 markings/sec, 5 secs
lola: 13042 markings, 42948 edges, 871 markings/sec, 10 secs
lola: 17382 markings, 56750 edges, 868 markings/sec, 15 secs
lola: 21705 markings, 71257 edges, 865 markings/sec, 20 secs
lola: 26029 markings, 85710 edges, 865 markings/sec, 25 secs
lola: 30340 markings, 100399 edges, 862 markings/sec, 30 secs
lola: 34671 markings, 114186 edges, 866 markings/sec, 35 secs
lola: 39014 markings, 127100 edges, 869 markings/sec, 40 secs
lola: 43347 markings, 141316 edges, 867 markings/sec, 45 secs
lola: 47702 markings, 155435 edges, 871 markings/sec, 50 secs
lola: 52076 markings, 169151 edges, 875 markings/sec, 55 secs
lola: 56392 markings, 182584 edges, 863 markings/sec, 60 secs
lola: 60713 markings, 196277 edges, 864 markings/sec, 65 secs
lola: 65044 markings, 209680 edges, 866 markings/sec, 70 secs
lola: 69392 markings, 222780 edges, 870 markings/sec, 75 secs
lola: 73723 markings, 237528 edges, 866 markings/sec, 80 secs
lola: 78030 markings, 252362 edges, 861 markings/sec, 85 secs
lola: 82352 markings, 265419 edges, 864 markings/sec, 90 secs
lola: 86668 markings, 279520 edges, 863 markings/sec, 95 secs
lola: 91017 markings, 292966 edges, 870 markings/sec, 100 secs
lola: 95364 markings, 307007 edges, 869 markings/sec, 105 secs
lola: 99663 markings, 321377 edges, 860 markings/sec, 110 secs
lola: 103976 markings, 336228 edges, 863 markings/sec, 115 secs
lola: 108310 markings, 350768 edges, 867 markings/sec, 120 secs
lola: 112641 markings, 364393 edges, 866 markings/sec, 125 secs
lola: 116957 markings, 378818 edges, 863 markings/sec, 130 secs
lola: 121293 markings, 392171 edges, 867 markings/sec, 135 secs
lola: 125641 markings, 405880 edges, 870 markings/sec, 140 secs
lola: 129964 markings, 419762 edges, 865 markings/sec, 145 secs
lola: 134284 markings, 432981 edges, 864 markings/sec, 150 secs
lola: 138626 markings, 446311 edges, 868 markings/sec, 155 secs
lola: 142956 markings, 458816 edges, 866 markings/sec, 160 secs
lola: 147291 markings, 471155 edges, 867 markings/sec, 165 secs
lola: 151597 markings, 483320 edges, 861 markings/sec, 170 secs
lola: 155918 markings, 496875 edges, 864 markings/sec, 175 secs
lola: 160230 markings, 509917 edges, 862 markings/sec, 180 secs
lola: 164539 markings, 522724 edges, 862 markings/sec, 185 secs
lola: 168877 markings, 534620 edges, 868 markings/sec, 190 secs
lola: 173213 markings, 546970 edges, 867 markings/sec, 195 secs
lola: 177549 markings, 560011 edges, 867 markings/sec, 200 secs
lola: 181862 markings, 572223 edges, 863 markings/sec, 205 secs
lola: 186169 markings, 585042 edges, 861 markings/sec, 210 secs
lola: 190455 markings, 598785 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: RESULT
lola:
SUMMARY: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA Diffusion2D-PT-D40N010-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D40N010-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D40N010-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D40N010-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D40N010-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D40N010-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D40N010-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D40N010-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D40N010-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D40N010-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D40N010-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D40N010-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D40N010-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D40N010-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D40N010-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D40N010-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494639520490

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