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

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

=== Now, execution of the tool begins

BK_START 1494637754994


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ Diffusion2D-PT-D40N150 @ 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-D40N150-UpperBounds.task
lola: MAX(cAMP__30_4_) : MAX(cAMP__9_30_) : MAX(cAMP__23_30_) : MAX(cAMP__23_11_) : MAX(cAMP__31_3_) : MAX(cAMP__17_32_) : MAX(cAMP__40_23_) : MAX(cAMP__36_18_) : MAX(cAMP__9_2_) : MAX(cAMP__19_14_) : MAX(cAMP__10_15_) : MAX(cAMP__16_21_) : MAX(cAMP__8_2_) : MAX(cAMP__13_37_) : MAX(cAMP__40_17_) : MAX(cAMP__20_12_)
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__30_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: 4364 markings, 14594 edges, 873 markings/sec, 0 secs
lola: 8759 markings, 29287 edges, 879 markings/sec, 5 secs
lola: 13158 markings, 44402 edges, 880 markings/sec, 10 secs
lola: 17579 markings, 59843 edges, 884 markings/sec, 15 secs
lola: 21997 markings, 74968 edges, 884 markings/sec, 20 secs
lola: 26413 markings, 90160 edges, 883 markings/sec, 25 secs
lola: 30819 markings, 106341 edges, 881 markings/sec, 30 secs
lola: 35221 markings, 121946 edges, 880 markings/sec, 35 secs
lola: 39628 markings, 137017 edges, 881 markings/sec, 40 secs
lola: 44006 markings, 152692 edges, 876 markings/sec, 45 secs
lola: 48375 markings, 168759 edges, 874 markings/sec, 50 secs
lola: 52786 markings, 184059 edges, 882 markings/sec, 55 secs
lola: 57183 markings, 199540 edges, 879 markings/sec, 60 secs
lola: 61545 markings, 215362 edges, 872 markings/sec, 65 secs
lola: 65924 markings, 230736 edges, 876 markings/sec, 70 secs
lola: 70312 markings, 245806 edges, 878 markings/sec, 75 secs
lola: 74674 markings, 261807 edges, 872 markings/sec, 80 secs
lola: 79051 markings, 277392 edges, 875 markings/sec, 85 secs
lola: 83435 markings, 292393 edges, 877 markings/sec, 90 secs
lola: 87820 markings, 308049 edges, 877 markings/sec, 95 secs
lola: 92210 markings, 324200 edges, 878 markings/sec, 100 secs
lola: 96611 markings, 339499 edges, 880 markings/sec, 105 secs
lola: 101019 markings, 354625 edges, 882 markings/sec, 110 secs
lola: 105388 markings, 369560 edges, 874 markings/sec, 115 secs
lola: 109726 markings, 384194 edges, 868 markings/sec, 120 secs
lola: 114080 markings, 399718 edges, 871 markings/sec, 125 secs
lola: 118434 markings, 416652 edges, 871 markings/sec, 130 secs
lola: 122788 markings, 432348 edges, 871 markings/sec, 135 secs
lola: 127160 markings, 448813 edges, 874 markings/sec, 140 secs
lola: 131559 markings, 464412 edges, 880 markings/sec, 145 secs
lola: 135970 markings, 480395 edges, 882 markings/sec, 150 secs
lola: 140364 markings, 496449 edges, 879 markings/sec, 155 secs
lola: 144760 markings, 512521 edges, 879 markings/sec, 160 secs
lola: 149156 markings, 527808 edges, 879 markings/sec, 165 secs
lola: 153549 markings, 543800 edges, 879 markings/sec, 170 secs
lola: 157960 markings, 559565 edges, 882 markings/sec, 175 secs
lola: 162354 markings, 575665 edges, 879 markings/sec, 180 secs
lola: 166743 markings, 591160 edges, 878 markings/sec, 185 secs
lola: 171142 markings, 607211 edges, 880 markings/sec, 190 secs
lola: 175536 markings, 623226 edges, 879 markings/sec, 195 secs
lola: 179920 markings, 638919 edges, 877 markings/sec, 200 secs
lola: 184315 markings, 655016 edges, 879 markings/sec, 205 secs
lola: 188705 markings, 670589 edges, 878 markings/sec, 210 secs
lola: 193143 markings, 686101 edges, 888 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__9_30_)
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: 4368 markings, 15516 edges, 874 markings/sec, 0 secs
lola: 8754 markings, 31677 edges, 877 markings/sec, 5 secs
lola: 13111 markings, 47772 edges, 871 markings/sec, 10 secs
lola: 17486 markings, 63972 edges, 875 markings/sec, 15 secs
lola: 21866 markings, 78922 edges, 876 markings/sec, 20 secs
lola: 26226 markings, 94697 edges, 872 markings/sec, 25 secs
lola: 30577 markings, 110296 edges, 870 markings/sec, 30 secs
lola: 34872 markings, 125424 edges, 859 markings/sec, 35 secs
lola: 39182 markings, 140784 edges, 862 markings/sec, 40 secs
lola: 43535 markings, 156347 edges, 871 markings/sec, 45 secs
lola: 47873 markings, 173812 edges, 868 markings/sec, 50 secs
lola: 52231 markings, 189362 edges, 872 markings/sec, 55 secs
lola: 56580 markings, 205087 edges, 870 markings/sec, 60 secs
lola: 60917 markings, 220686 edges, 867 markings/sec, 65 secs
lola: 65244 markings, 237922 edges, 865 markings/sec, 70 secs
lola: 69568 markings, 253882 edges, 865 markings/sec, 75 secs
lola: 73939 markings, 269550 edges, 874 markings/sec, 80 secs
lola: 78316 markings, 285164 edges, 875 markings/sec, 85 secs
lola: 82678 markings, 300889 edges, 872 markings/sec, 90 secs
lola: 87040 markings, 316870 edges, 872 markings/sec, 95 secs
lola: 91392 markings, 333433 edges, 870 markings/sec, 100 secs
lola: 95743 markings, 349545 edges, 870 markings/sec, 105 secs
lola: 100055 markings, 366369 edges, 862 markings/sec, 110 secs
lola: 104374 markings, 381723 edges, 864 markings/sec, 115 secs
lola: 108708 markings, 397295 edges, 867 markings/sec, 120 secs
lola: 113055 markings, 413716 edges, 869 markings/sec, 125 secs
lola: 117368 markings, 431383 edges, 863 markings/sec, 130 secs
lola: 121679 markings, 448248 edges, 862 markings/sec, 135 secs
lola: 126019 markings, 464056 edges, 868 markings/sec, 140 secs
lola: 130333 markings, 480346 edges, 863 markings/sec, 145 secs
lola: 134657 markings, 497741 edges, 865 markings/sec, 150 secs
lola: 138991 markings, 513289 edges, 867 markings/sec, 155 secs
lola: 143283 markings, 531319 edges, 858 markings/sec, 160 secs
lola: 147598 markings, 546812 edges, 863 markings/sec, 165 secs
lola: 151914 markings, 562520 edges, 863 markings/sec, 170 secs
lola: 156267 markings, 578826 edges, 871 markings/sec, 175 secs
lola: 160609 markings, 594257 edges, 868 markings/sec, 180 secs
lola: 164975 markings, 609792 edges, 873 markings/sec, 185 secs
lola: 169334 markings, 625210 edges, 872 markings/sec, 190 secs
lola: 173656 markings, 640603 edges, 864 markings/sec, 195 secs
lola: 177979 markings, 657073 edges, 865 markings/sec, 200 secs
lola: 182305 markings, 673917 edges, 865 markings/sec, 205 secs
lola: 186604 markings, 691799 edges, 860 markings/sec, 210 secs
lola: 190943 markings, 707327 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 2 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__23_30_)
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: 4383 markings, 15157 edges, 877 markings/sec, 0 secs
lola: 8755 markings, 30721 edges, 874 markings/sec, 5 secs
lola: 13131 markings, 44883 edges, 875 markings/sec, 10 secs
lola: 17457 markings, 59894 edges, 865 markings/sec, 15 secs
lola: 21791 markings, 75050 edges, 867 markings/sec, 20 secs
lola: 26111 markings, 90259 edges, 864 markings/sec, 25 secs
lola: 30454 markings, 104296 edges, 869 markings/sec, 30 secs
lola: 34770 markings, 118962 edges, 863 markings/sec, 35 secs
lola: 39095 markings, 133483 edges, 865 markings/sec, 40 secs
lola: 43405 markings, 149202 edges, 862 markings/sec, 45 secs
lola: 47769 markings, 163486 edges, 873 markings/sec, 50 secs
lola: 52106 markings, 178678 edges, 867 markings/sec, 55 secs
lola: 56444 markings, 193440 edges, 868 markings/sec, 60 secs
lola: 60745 markings, 208882 edges, 860 markings/sec, 65 secs
lola: 65089 markings, 222969 edges, 869 markings/sec, 70 secs
lola: 69411 markings, 238416 edges, 864 markings/sec, 75 secs
lola: 73743 markings, 253224 edges, 866 markings/sec, 80 secs
lola: 78067 markings, 268244 edges, 865 markings/sec, 85 secs
lola: 82421 markings, 282086 edges, 871 markings/sec, 90 secs
lola: 86757 markings, 297073 edges, 867 markings/sec, 95 secs
lola: 91092 markings, 310739 edges, 867 markings/sec, 100 secs
lola: 95416 markings, 325818 edges, 865 markings/sec, 105 secs
lola: 99778 markings, 340690 edges, 872 markings/sec, 110 secs
lola: 104142 markings, 354592 edges, 873 markings/sec, 115 secs
lola: 108504 markings, 368538 edges, 872 markings/sec, 120 secs
lola: 112864 markings, 382913 edges, 872 markings/sec, 125 secs
lola: 117223 markings, 398149 edges, 872 markings/sec, 130 secs
lola: 121559 markings, 412965 edges, 867 markings/sec, 135 secs
lola: 125925 markings, 426924 edges, 873 markings/sec, 140 secs
lola: 130272 markings, 441737 edges, 869 markings/sec, 145 secs
lola: 134591 markings, 457637 edges, 864 markings/sec, 150 secs
lola: 138961 markings, 472255 edges, 874 markings/sec, 155 secs
lola: 143314 markings, 486290 edges, 871 markings/sec, 160 secs
lola: 147662 markings, 500989 edges, 870 markings/sec, 165 secs
lola: 152024 markings, 515755 edges, 872 markings/sec, 170 secs
lola: 156367 markings, 530128 edges, 869 markings/sec, 175 secs
lola: 160743 markings, 544671 edges, 875 markings/sec, 180 secs
lola: 165059 markings, 560124 edges, 863 markings/sec, 185 secs
lola: 169423 markings, 574328 edges, 873 markings/sec, 190 secs
lola: 173783 markings, 589168 edges, 872 markings/sec, 195 secs
lola: 178154 markings, 603699 edges, 874 markings/sec, 200 secs
lola: 182516 markings, 617986 edges, 872 markings/sec, 205 secs
lola: 186887 markings, 632673 edges, 874 markings/sec, 210 secs
lola: 191230 markings, 647647 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 3 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__23_11_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 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: 4346 markings, 15361 edges, 869 markings/sec, 0 secs
lola: 8732 markings, 31257 edges, 877 markings/sec, 5 secs
lola: 13124 markings, 46721 edges, 878 markings/sec, 10 secs
lola: 17506 markings, 61854 edges, 876 markings/sec, 15 secs
lola: 21876 markings, 77043 edges, 874 markings/sec, 20 secs
lola: 26239 markings, 91913 edges, 873 markings/sec, 25 secs
lola: 30588 markings, 107911 edges, 870 markings/sec, 30 secs
lola: 34930 markings, 125315 edges, 868 markings/sec, 35 secs
lola: 39273 markings, 142188 edges, 869 markings/sec, 40 secs
lola: 43624 markings, 158635 edges, 870 markings/sec, 45 secs
lola: 47933 markings, 176422 edges, 862 markings/sec, 50 secs
lola: 52302 markings, 192444 edges, 874 markings/sec, 55 secs
lola: 56672 markings, 207893 edges, 874 markings/sec, 60 secs
lola: 61018 markings, 224501 edges, 869 markings/sec, 65 secs
lola: 65360 markings, 241600 edges, 868 markings/sec, 70 secs
lola: 69712 markings, 257361 edges, 870 markings/sec, 75 secs
lola: 74080 markings, 272807 edges, 874 markings/sec, 80 secs
lola: 78464 markings, 287516 edges, 877 markings/sec, 85 secs
lola: 82829 markings, 303035 edges, 873 markings/sec, 90 secs
lola: 87175 markings, 319328 edges, 869 markings/sec, 95 secs
lola: 91509 markings, 335639 edges, 867 markings/sec, 100 secs
lola: 95905 markings, 350424 edges, 879 markings/sec, 105 secs
lola: 100273 markings, 366462 edges, 874 markings/sec, 110 secs
lola: 104638 markings, 382856 edges, 873 markings/sec, 115 secs
lola: 109004 markings, 399191 edges, 873 markings/sec, 120 secs
lola: 113394 markings, 414115 edges, 878 markings/sec, 125 secs
lola: 117785 markings, 428418 edges, 878 markings/sec, 130 secs
lola: 122169 markings, 443146 edges, 877 markings/sec, 135 secs
lola: 126543 markings, 458575 edges, 875 markings/sec, 140 secs
lola: 130931 markings, 472835 edges, 878 markings/sec, 145 secs
lola: 135306 markings, 488187 edges, 875 markings/sec, 150 secs
lola: 139665 markings, 503657 edges, 872 markings/sec, 155 secs
lola: 144065 markings, 518336 edges, 880 markings/sec, 160 secs
lola: 148440 markings, 534655 edges, 875 markings/sec, 165 secs
lola: 152836 markings, 549775 edges, 879 markings/sec, 170 secs
lola: 157215 markings, 564785 edges, 876 markings/sec, 175 secs
lola: 161578 markings, 579703 edges, 873 markings/sec, 180 secs
lola: 166001 markings, 594529 edges, 885 markings/sec, 185 secs
lola: 170383 markings, 610514 edges, 876 markings/sec, 190 secs
lola: 174758 markings, 626052 edges, 875 markings/sec, 195 secs
lola: 179101 markings, 642451 edges, 869 markings/sec, 200 secs
lola: 183458 markings, 657258 edges, 871 markings/sec, 205 secs
lola: 187821 markings, 672467 edges, 873 markings/sec, 210 secs
lola: 192179 markings, 688340 edges, 872 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__31_3_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 6396 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 4448 markings, 15577 edges, 890 markings/sec, 0 secs
lola: 8875 markings, 31014 edges, 885 markings/sec, 5 secs
lola: 13290 markings, 46565 edges, 883 markings/sec, 10 secs
lola: 17707 markings, 62012 edges, 883 markings/sec, 15 secs
lola: 22116 markings, 77111 edges, 882 markings/sec, 20 secs
lola: 26513 markings, 92544 edges, 879 markings/sec, 25 secs
lola: 30892 markings, 108718 edges, 876 markings/sec, 30 secs
lola: 35280 markings, 125235 edges, 878 markings/sec, 35 secs
lola: 39674 markings, 141312 edges, 879 markings/sec, 40 secs
lola: 44062 markings, 158285 edges, 878 markings/sec, 45 secs
lola: 48465 markings, 173449 edges, 881 markings/sec, 50 secs
lola: 52858 markings, 189578 edges, 879 markings/sec, 55 secs
lola: 57285 markings, 204742 edges, 885 markings/sec, 60 secs
lola: 61691 markings, 220795 edges, 881 markings/sec, 65 secs
lola: 66079 markings, 237532 edges, 878 markings/sec, 70 secs
lola: 70475 markings, 253197 edges, 879 markings/sec, 75 secs
lola: 74849 markings, 268452 edges, 875 markings/sec, 80 secs
lola: 79228 markings, 283816 edges, 876 markings/sec, 85 secs
lola: 83607 markings, 298684 edges, 876 markings/sec, 90 secs
lola: 87985 markings, 313435 edges, 876 markings/sec, 95 secs
lola: 92330 markings, 329861 edges, 869 markings/sec, 100 secs
lola: 96737 markings, 345290 edges, 881 markings/sec, 105 secs
lola: 101157 markings, 359916 edges, 884 markings/sec, 110 secs
lola: 105545 markings, 373739 edges, 878 markings/sec, 115 secs
lola: 109975 markings, 387712 edges, 886 markings/sec, 120 secs
lola: 114412 markings, 402936 edges, 887 markings/sec, 125 secs
lola: 118824 markings, 418814 edges, 882 markings/sec, 130 secs
lola: 123237 markings, 432802 edges, 883 markings/sec, 135 secs
lola: 127652 markings, 448136 edges, 883 markings/sec, 140 secs
lola: 132059 markings, 462444 edges, 881 markings/sec, 145 secs
lola: 136487 markings, 477026 edges, 886 markings/sec, 150 secs
lola: 140922 markings, 491466 edges, 887 markings/sec, 155 secs
lola: 145298 markings, 505467 edges, 875 markings/sec, 160 secs
lola: 149674 markings, 520442 edges, 875 markings/sec, 165 secs
lola: 154047 markings, 535456 edges, 875 markings/sec, 170 secs
lola: 158419 markings, 550691 edges, 874 markings/sec, 175 secs
lola: 162815 markings, 564458 edges, 879 markings/sec, 180 secs
lola: 167205 markings, 579395 edges, 878 markings/sec, 185 secs
lola: 171593 markings, 595118 edges, 878 markings/sec, 190 secs
lola: 175986 markings, 609920 edges, 879 markings/sec, 195 secs
lola: 180371 markings, 625148 edges, 877 markings/sec, 200 secs
lola: 184760 markings, 640110 edges, 878 markings/sec, 205 secs
lola: 189132 markings, 655141 edges, 874 markings/sec, 210 secs
lola: 193500 markings, 671250 edges, 874 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__17_32_)
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: 4473 markings, 15749 edges, 895 markings/sec, 0 secs
lola: 8934 markings, 32110 edges, 892 markings/sec, 5 secs
lola: 13374 markings, 48716 edges, 888 markings/sec, 10 secs
lola: 17847 markings, 64690 edges, 895 markings/sec, 15 secs
lola: 22315 markings, 80412 edges, 894 markings/sec, 20 secs
lola: 26762 markings, 97255 edges, 889 markings/sec, 25 secs
lola: 31200 markings, 114279 edges, 888 markings/sec, 30 secs
lola: 35654 markings, 129527 edges, 891 markings/sec, 35 secs
lola: 40106 markings, 145777 edges, 890 markings/sec, 40 secs
lola: 44537 markings, 162465 edges, 886 markings/sec, 45 secs
lola: 48950 markings, 178542 edges, 883 markings/sec, 50 secs
lola: 53367 markings, 194434 edges, 883 markings/sec, 55 secs
lola: 57776 markings, 210395 edges, 882 markings/sec, 60 secs
lola: 62186 markings, 227169 edges, 882 markings/sec, 65 secs
lola: 66592 markings, 243314 edges, 881 markings/sec, 70 secs
lola: 71025 markings, 259249 edges, 887 markings/sec, 75 secs
lola: 75478 markings, 275220 edges, 891 markings/sec, 80 secs
lola: 79928 markings, 290761 edges, 890 markings/sec, 85 secs
lola: 84387 markings, 306512 edges, 892 markings/sec, 90 secs
lola: 88853 markings, 322867 edges, 893 markings/sec, 95 secs
lola: 93316 markings, 338939 edges, 893 markings/sec, 100 secs
lola: 97755 markings, 355957 edges, 888 markings/sec, 105 secs
lola: 102198 markings, 371766 edges, 889 markings/sec, 110 secs
lola: 106673 markings, 387388 edges, 895 markings/sec, 115 secs
lola: 111114 markings, 403699 edges, 888 markings/sec, 120 secs
lola: 115522 markings, 421367 edges, 882 markings/sec, 125 secs
lola: 119937 markings, 437490 edges, 883 markings/sec, 130 secs
lola: 124359 markings, 453301 edges, 884 markings/sec, 135 secs
lola: 128748 markings, 469217 edges, 878 markings/sec, 140 secs
lola: 133129 markings, 485178 edges, 876 markings/sec, 145 secs
lola: 137545 markings, 500754 edges, 883 markings/sec, 150 secs
lola: 141968 markings, 516804 edges, 885 markings/sec, 155 secs
lola: 146380 markings, 532889 edges, 882 markings/sec, 160 secs
lola: 150790 markings, 549765 edges, 882 markings/sec, 165 secs
lola: 155217 markings, 565202 edges, 885 markings/sec, 170 secs
lola: 159609 markings, 581360 edges, 878 markings/sec, 175 secs
lola: 163993 markings, 597428 edges, 877 markings/sec, 180 secs
lola: 168357 markings, 613313 edges, 873 markings/sec, 185 secs
lola: 172757 markings, 628155 edges, 880 markings/sec, 190 secs
lola: 177165 markings, 642388 edges, 882 markings/sec, 195 secs
lola: 181568 markings, 657449 edges, 881 markings/sec, 200 secs
lola: 185971 markings, 672423 edges, 881 markings/sec, 205 secs
lola: 190366 markings, 687969 edges, 879 markings/sec, 210 secs
lola: 194774 markings, 703034 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 6 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__40_23_)
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: 4412 markings, 15970 edges, 882 markings/sec, 0 secs
lola: 8891 markings, 31437 edges, 896 markings/sec, 5 secs
lola: 13331 markings, 46697 edges, 888 markings/sec, 10 secs
lola: 17758 markings, 61947 edges, 885 markings/sec, 15 secs
lola: 22210 markings, 76887 edges, 890 markings/sec, 20 secs
lola: 26635 markings, 92241 edges, 885 markings/sec, 25 secs
lola: 31078 markings, 107483 edges, 889 markings/sec, 30 secs
lola: 35514 markings, 122958 edges, 887 markings/sec, 35 secs
lola: 39964 markings, 138675 edges, 890 markings/sec, 40 secs
lola: 44393 markings, 155255 edges, 886 markings/sec, 45 secs
lola: 48806 markings, 170064 edges, 883 markings/sec, 50 secs
lola: 53228 markings, 185885 edges, 884 markings/sec, 55 secs
lola: 57680 markings, 200863 edges, 890 markings/sec, 60 secs
lola: 62134 markings, 216208 edges, 891 markings/sec, 65 secs
lola: 66564 markings, 231542 edges, 886 markings/sec, 70 secs
lola: 70974 markings, 246393 edges, 882 markings/sec, 75 secs
lola: 75444 markings, 261537 edges, 894 markings/sec, 80 secs
lola: 79876 markings, 276399 edges, 886 markings/sec, 85 secs
lola: 84292 markings, 291451 edges, 883 markings/sec, 90 secs
lola: 88707 markings, 306576 edges, 883 markings/sec, 95 secs
lola: 93127 markings, 321224 edges, 884 markings/sec, 100 secs
lola: 97540 markings, 336438 edges, 883 markings/sec, 105 secs
lola: 101938 markings, 350980 edges, 880 markings/sec, 110 secs
lola: 106385 markings, 366314 edges, 889 markings/sec, 115 secs
lola: 110822 markings, 381280 edges, 887 markings/sec, 120 secs
lola: 115253 markings, 396334 edges, 886 markings/sec, 125 secs
lola: 119701 markings, 410960 edges, 890 markings/sec, 130 secs
lola: 124172 markings, 425508 edges, 894 markings/sec, 135 secs
lola: 128622 markings, 439853 edges, 890 markings/sec, 140 secs
lola: 133069 markings, 454597 edges, 889 markings/sec, 145 secs
lola: 137505 markings, 469592 edges, 887 markings/sec, 150 secs
lola: 141968 markings, 484387 edges, 893 markings/sec, 155 secs
lola: 146435 markings, 498794 edges, 893 markings/sec, 160 secs
lola: 150903 markings, 513433 edges, 894 markings/sec, 165 secs
lola: 155357 markings, 528203 edges, 891 markings/sec, 170 secs
lola: 159804 markings, 543440 edges, 889 markings/sec, 175 secs
lola: 164300 markings, 557879 edges, 899 markings/sec, 180 secs
lola: 168755 markings, 573204 edges, 891 markings/sec, 185 secs
lola: 173179 markings, 587772 edges, 885 markings/sec, 190 secs
lola: 177629 markings, 602289 edges, 890 markings/sec, 195 secs
lola: 182078 markings, 616894 edges, 890 markings/sec, 200 secs
lola: 186512 markings, 631460 edges, 887 markings/sec, 205 secs
lola: 190984 markings, 646322 edges, 894 markings/sec, 210 secs
lola: 195429 markings, 661102 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 7 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__36_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: 4432 markings, 15654 edges, 886 markings/sec, 0 secs
lola: 8865 markings, 31958 edges, 887 markings/sec, 5 secs
lola: 13289 markings, 48003 edges, 885 markings/sec, 10 secs
lola: 17676 markings, 63930 edges, 877 markings/sec, 15 secs
lola: 22072 markings, 79489 edges, 879 markings/sec, 20 secs
lola: 26455 markings, 95538 edges, 877 markings/sec, 25 secs
lola: 30824 markings, 112915 edges, 874 markings/sec, 30 secs
lola: 35208 markings, 129207 edges, 877 markings/sec, 35 secs
lola: 39577 markings, 145987 edges, 874 markings/sec, 40 secs
lola: 43943 markings, 162924 edges, 873 markings/sec, 45 secs
lola: 48315 markings, 180078 edges, 874 markings/sec, 50 secs
lola: 52724 markings, 196069 edges, 882 markings/sec, 55 secs
lola: 57113 markings, 213300 edges, 878 markings/sec, 60 secs
lola: 61529 markings, 229124 edges, 883 markings/sec, 65 secs
lola: 65941 markings, 244970 edges, 882 markings/sec, 70 secs
lola: 70299 markings, 261539 edges, 872 markings/sec, 75 secs
lola: 74662 markings, 278356 edges, 873 markings/sec, 80 secs
lola: 79103 markings, 294602 edges, 888 markings/sec, 85 secs
lola: 83525 markings, 310393 edges, 884 markings/sec, 90 secs
lola: 87943 markings, 326488 edges, 884 markings/sec, 95 secs
lola: 92352 markings, 343085 edges, 882 markings/sec, 100 secs
lola: 96707 markings, 358564 edges, 871 markings/sec, 105 secs
lola: 101047 markings, 374038 edges, 868 markings/sec, 110 secs
lola: 105436 markings, 389909 edges, 878 markings/sec, 115 secs
lola: 109814 markings, 406316 edges, 876 markings/sec, 120 secs
lola: 114182 markings, 421356 edges, 874 markings/sec, 125 secs
lola: 118557 markings, 436024 edges, 875 markings/sec, 130 secs
lola: 122934 markings, 450719 edges, 875 markings/sec, 135 secs
lola: 127313 markings, 465877 edges, 876 markings/sec, 140 secs
lola: 131678 markings, 482245 edges, 873 markings/sec, 145 secs
lola: 136067 markings, 497217 edges, 878 markings/sec, 150 secs
lola: 140471 markings, 511829 edges, 881 markings/sec, 155 secs
lola: 144875 markings, 527604 edges, 881 markings/sec, 160 secs
lola: 149278 markings, 543658 edges, 881 markings/sec, 165 secs
lola: 153691 markings, 558956 edges, 883 markings/sec, 170 secs
lola: 158078 markings, 576453 edges, 877 markings/sec, 175 secs
lola: 162469 markings, 592901 edges, 878 markings/sec, 180 secs
lola: 166852 markings, 608510 edges, 877 markings/sec, 185 secs
lola: 171241 markings, 624774 edges, 878 markings/sec, 190 secs
lola: 175628 markings, 641630 edges, 877 markings/sec, 195 secs
lola: 180003 markings, 656638 edges, 875 markings/sec, 200 secs
lola: 184373 markings, 671144 edges, 874 markings/sec, 205 secs
lola: 188720 markings, 686922 edges, 869 markings/sec, 210 secs
lola: 193141 markings, 701772 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 8 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__9_2_)
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: 4369 markings, 15518 edges, 874 markings/sec, 0 secs
lola: 8696 markings, 30912 edges, 865 markings/sec, 5 secs
lola: 13026 markings, 46270 edges, 866 markings/sec, 10 secs
lola: 17333 markings, 61583 edges, 861 markings/sec, 15 secs
lola: 21638 markings, 77300 edges, 861 markings/sec, 20 secs
lola: 25943 markings, 92677 edges, 861 markings/sec, 25 secs
lola: 30252 markings, 107969 edges, 862 markings/sec, 30 secs
lola: 34557 markings, 123890 edges, 861 markings/sec, 35 secs
lola: 38856 markings, 139599 edges, 860 markings/sec, 40 secs
lola: 43149 markings, 154704 edges, 859 markings/sec, 45 secs
lola: 47443 markings, 170511 edges, 859 markings/sec, 50 secs
lola: 51751 markings, 185927 edges, 862 markings/sec, 55 secs
lola: 56056 markings, 201198 edges, 861 markings/sec, 60 secs
lola: 60382 markings, 216642 edges, 865 markings/sec, 65 secs
lola: 64671 markings, 232689 edges, 858 markings/sec, 70 secs
lola: 68958 markings, 248178 edges, 857 markings/sec, 75 secs
lola: 73223 markings, 263360 edges, 853 markings/sec, 80 secs
lola: 77519 markings, 278703 edges, 859 markings/sec, 85 secs
lola: 81776 markings, 293517 edges, 851 markings/sec, 90 secs
lola: 86029 markings, 309110 edges, 851 markings/sec, 95 secs
lola: 90276 markings, 324858 edges, 849 markings/sec, 100 secs
lola: 94548 markings, 339894 edges, 854 markings/sec, 105 secs
lola: 98805 markings, 355794 edges, 851 markings/sec, 110 secs
lola: 103105 markings, 371099 edges, 860 markings/sec, 115 secs
lola: 107368 markings, 386857 edges, 853 markings/sec, 120 secs
lola: 111641 markings, 402958 edges, 855 markings/sec, 125 secs
lola: 115934 markings, 418053 edges, 859 markings/sec, 130 secs
lola: 120271 markings, 434404 edges, 867 markings/sec, 135 secs
lola: 124568 markings, 449719 edges, 859 markings/sec, 140 secs
lola: 128857 markings, 464346 edges, 858 markings/sec, 145 secs
lola: 133131 markings, 479768 edges, 855 markings/sec, 150 secs
lola: 137431 markings, 494482 edges, 860 markings/sec, 155 secs
lola: 141723 markings, 509821 edges, 858 markings/sec, 160 secs
lola: 146009 markings, 525108 edges, 857 markings/sec, 165 secs
lola: 150296 markings, 539625 edges, 857 markings/sec, 170 secs
lola: 154565 markings, 555029 edges, 854 markings/sec, 175 secs
lola: 158929 markings, 570010 edges, 873 markings/sec, 180 secs
lola: 163252 markings, 585414 edges, 865 markings/sec, 185 secs
lola: 167567 markings, 600557 edges, 863 markings/sec, 190 secs
lola: 171880 markings, 616068 edges, 863 markings/sec, 195 secs
lola: 176208 markings, 631263 edges, 866 markings/sec, 200 secs
lola: 180537 markings, 647316 edges, 866 markings/sec, 205 secs
lola: 184837 markings, 662606 edges, 860 markings/sec, 210 secs
lola: 189156 markings, 677922 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 9 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__19_14_)
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: 4450 markings, 15518 edges, 890 markings/sec, 0 secs
lola: 8901 markings, 30937 edges, 890 markings/sec, 5 secs
lola: 13345 markings, 46904 edges, 889 markings/sec, 10 secs
lola: 17804 markings, 62534 edges, 892 markings/sec, 15 secs
lola: 22250 markings, 77839 edges, 889 markings/sec, 20 secs
lola: 26679 markings, 93805 edges, 886 markings/sec, 25 secs
lola: 31131 markings, 109299 edges, 890 markings/sec, 30 secs
lola: 35596 markings, 125231 edges, 893 markings/sec, 35 secs
lola: 40060 markings, 140491 edges, 893 markings/sec, 40 secs
lola: 44520 markings, 156117 edges, 892 markings/sec, 45 secs
lola: 48988 markings, 171512 edges, 894 markings/sec, 50 secs
lola: 53451 markings, 187307 edges, 893 markings/sec, 55 secs
lola: 57920 markings, 203131 edges, 894 markings/sec, 60 secs
lola: 62370 markings, 219190 edges, 890 markings/sec, 65 secs
lola: 66803 markings, 235821 edges, 887 markings/sec, 70 secs
lola: 71243 markings, 252124 edges, 888 markings/sec, 75 secs
lola: 75677 markings, 268161 edges, 887 markings/sec, 80 secs
lola: 80107 markings, 284746 edges, 886 markings/sec, 85 secs
lola: 84534 markings, 300659 edges, 885 markings/sec, 90 secs
lola: 88954 markings, 316486 edges, 884 markings/sec, 95 secs
lola: 93385 markings, 332232 edges, 886 markings/sec, 100 secs
lola: 97787 markings, 348047 edges, 880 markings/sec, 105 secs
lola: 102193 markings, 364594 edges, 881 markings/sec, 110 secs
lola: 106588 markings, 381855 edges, 879 markings/sec, 115 secs
lola: 111017 markings, 398090 edges, 886 markings/sec, 120 secs
lola: 115411 markings, 415727 edges, 879 markings/sec, 125 secs
lola: 119820 markings, 432794 edges, 882 markings/sec, 130 secs
lola: 124278 markings, 448756 edges, 892 markings/sec, 135 secs
lola: 128733 markings, 464755 edges, 891 markings/sec, 140 secs
lola: 133150 markings, 481910 edges, 883 markings/sec, 145 secs
lola: 137586 markings, 498088 edges, 887 markings/sec, 150 secs
lola: 142021 markings, 514276 edges, 887 markings/sec, 155 secs
lola: 146476 markings, 529749 edges, 891 markings/sec, 160 secs
lola: 150907 markings, 546234 edges, 886 markings/sec, 165 secs
lola: 155336 markings, 563772 edges, 886 markings/sec, 170 secs
lola: 159820 markings, 579323 edges, 897 markings/sec, 175 secs
lola: 164269 markings, 595279 edges, 890 markings/sec, 180 secs
lola: 168705 markings, 611212 edges, 887 markings/sec, 185 secs
lola: 173129 markings, 628242 edges, 885 markings/sec, 190 secs
lola: 177582 markings, 644702 edges, 891 markings/sec, 195 secs
lola: 182062 markings, 661383 edges, 896 markings/sec, 200 secs
lola: 186542 markings, 677859 edges, 896 markings/sec, 205 secs
lola: 191027 markings, 694104 edges, 897 markings/sec, 210 secs
lola: 195498 markings, 711045 edges, 894 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__10_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: 4361 markings, 14874 edges, 872 markings/sec, 0 secs
lola: 8768 markings, 30519 edges, 881 markings/sec, 5 secs
lola: 13141 markings, 45226 edges, 875 markings/sec, 10 secs
lola: 17522 markings, 59044 edges, 876 markings/sec, 15 secs
lola: 21870 markings, 74550 edges, 870 markings/sec, 20 secs
lola: 26202 markings, 89601 edges, 866 markings/sec, 25 secs
lola: 30528 markings, 104888 edges, 865 markings/sec, 30 secs
lola: 34864 markings, 119673 edges, 867 markings/sec, 35 secs
lola: 39170 markings, 135196 edges, 861 markings/sec, 40 secs
lola: 43485 markings, 151384 edges, 863 markings/sec, 45 secs
lola: 47819 markings, 167061 edges, 867 markings/sec, 50 secs
lola: 52134 markings, 182158 edges, 863 markings/sec, 55 secs
lola: 56453 markings, 196049 edges, 864 markings/sec, 60 secs
lola: 60755 markings, 210552 edges, 860 markings/sec, 65 secs
lola: 65053 markings, 225786 edges, 860 markings/sec, 70 secs
lola: 69338 markings, 240877 edges, 857 markings/sec, 75 secs
lola: 73623 markings, 255885 edges, 857 markings/sec, 80 secs
lola: 77926 markings, 269743 edges, 861 markings/sec, 85 secs
lola: 82252 markings, 283900 edges, 865 markings/sec, 90 secs
lola: 86619 markings, 298685 edges, 873 markings/sec, 95 secs
lola: 90975 markings, 313637 edges, 871 markings/sec, 100 secs
lola: 95306 markings, 328902 edges, 866 markings/sec, 105 secs
lola: 99652 markings, 343369 edges, 869 markings/sec, 110 secs
lola: 103984 markings, 356827 edges, 866 markings/sec, 115 secs
lola: 108262 markings, 371844 edges, 856 markings/sec, 120 secs
lola: 112532 markings, 386094 edges, 854 markings/sec, 125 secs
lola: 116790 markings, 401401 edges, 852 markings/sec, 130 secs
lola: 121115 markings, 416233 edges, 865 markings/sec, 135 secs
lola: 125429 markings, 431224 edges, 863 markings/sec, 140 secs
lola: 129742 markings, 445648 edges, 863 markings/sec, 145 secs
lola: 134023 markings, 460022 edges, 856 markings/sec, 150 secs
lola: 138321 markings, 474831 edges, 860 markings/sec, 155 secs
lola: 142658 markings, 488823 edges, 867 markings/sec, 160 secs
lola: 146983 markings, 503621 edges, 865 markings/sec, 165 secs
lola: 151300 markings, 518141 edges, 863 markings/sec, 170 secs
lola: 155608 markings, 533337 edges, 862 markings/sec, 175 secs
lola: 159917 markings, 548304 edges, 862 markings/sec, 180 secs
lola: 164227 markings, 562364 edges, 862 markings/sec, 185 secs
lola: 168522 markings, 576083 edges, 859 markings/sec, 190 secs
lola: 172851 markings, 588951 edges, 866 markings/sec, 195 secs
lola: 177220 markings, 602414 edges, 874 markings/sec, 200 secs
lola: 181531 markings, 615973 edges, 862 markings/sec, 205 secs
lola: 185876 markings, 629667 edges, 869 markings/sec, 210 secs
lola: 190262 markings, 643013 edges, 877 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__16_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: 4449 markings, 15472 edges, 890 markings/sec, 0 secs
lola: 8867 markings, 31527 edges, 884 markings/sec, 5 secs
lola: 13275 markings, 47348 edges, 882 markings/sec, 10 secs
lola: 17698 markings, 62178 edges, 885 markings/sec, 15 secs
lola: 22105 markings, 76465 edges, 881 markings/sec, 20 secs
lola: 26521 markings, 91493 edges, 883 markings/sec, 25 secs
lola: 30942 markings, 106911 edges, 884 markings/sec, 30 secs
lola: 35346 markings, 122295 edges, 881 markings/sec, 35 secs
lola: 39752 markings, 137722 edges, 881 markings/sec, 40 secs
lola: 44155 markings, 152906 edges, 881 markings/sec, 45 secs
lola: 48569 markings, 168131 edges, 883 markings/sec, 50 secs
lola: 52958 markings, 184439 edges, 878 markings/sec, 55 secs
lola: 57356 markings, 200313 edges, 880 markings/sec, 60 secs
lola: 61746 markings, 216354 edges, 878 markings/sec, 65 secs
lola: 66181 markings, 231410 edges, 887 markings/sec, 70 secs
lola: 70592 markings, 246993 edges, 882 markings/sec, 75 secs
lola: 74990 markings, 263225 edges, 880 markings/sec, 80 secs
lola: 79385 markings, 278200 edges, 879 markings/sec, 85 secs
lola: 83791 markings, 292663 edges, 881 markings/sec, 90 secs
lola: 88191 markings, 307639 edges, 880 markings/sec, 95 secs
lola: 92596 markings, 323112 edges, 881 markings/sec, 100 secs
lola: 96979 markings, 338747 edges, 877 markings/sec, 105 secs
lola: 101403 markings, 352682 edges, 885 markings/sec, 110 secs
lola: 105814 markings, 366606 edges, 882 markings/sec, 115 secs
lola: 110224 markings, 380846 edges, 882 markings/sec, 120 secs
lola: 114614 markings, 396408 edges, 878 markings/sec, 125 secs
lola: 119016 markings, 410794 edges, 880 markings/sec, 130 secs
lola: 123420 markings, 424933 edges, 881 markings/sec, 135 secs
lola: 127817 markings, 439270 edges, 879 markings/sec, 140 secs
lola: 132196 markings, 455114 edges, 876 markings/sec, 145 secs
lola: 136589 markings, 470085 edges, 879 markings/sec, 150 secs
lola: 140987 markings, 485294 edges, 880 markings/sec, 155 secs
lola: 145358 markings, 500210 edges, 874 markings/sec, 160 secs
lola: 149738 markings, 514482 edges, 876 markings/sec, 165 secs
lola: 154130 markings, 529118 edges, 878 markings/sec, 170 secs
lola: 158516 markings, 544552 edges, 877 markings/sec, 175 secs
lola: 162897 markings, 559607 edges, 876 markings/sec, 180 secs
lola: 167279 markings, 574982 edges, 876 markings/sec, 185 secs
lola: 171645 markings, 588923 edges, 873 markings/sec, 190 secs
lola: 176006 markings, 603414 edges, 872 markings/sec, 195 secs
lola: 180355 markings, 619102 edges, 870 markings/sec, 200 secs
lola: 184713 markings, 634296 edges, 872 markings/sec, 205 secs
lola: 189082 markings, 649676 edges, 874 markings/sec, 210 secs
lola: 193455 markings, 664363 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 12 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__8_2_)
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, 15515 edges, 880 markings/sec, 0 secs
lola: 8796 markings, 31410 edges, 879 markings/sec, 5 secs
lola: 13201 markings, 47177 edges, 881 markings/sec, 10 secs
lola: 17604 markings, 62184 edges, 881 markings/sec, 15 secs
lola: 21983 markings, 78463 edges, 876 markings/sec, 20 secs
lola: 26380 markings, 94297 edges, 879 markings/sec, 25 secs
lola: 30765 markings, 109778 edges, 877 markings/sec, 30 secs
lola: 35141 markings, 125986 edges, 875 markings/sec, 35 secs
lola: 39523 markings, 142026 edges, 876 markings/sec, 40 secs
lola: 43904 markings, 157547 edges, 876 markings/sec, 45 secs
lola: 48264 markings, 173517 edges, 872 markings/sec, 50 secs
lola: 52624 markings, 189258 edges, 872 markings/sec, 55 secs
lola: 56996 markings, 205303 edges, 874 markings/sec, 60 secs
lola: 61372 markings, 221296 edges, 875 markings/sec, 65 secs
lola: 65731 markings, 237038 edges, 872 markings/sec, 70 secs
lola: 70049 markings, 252328 edges, 864 markings/sec, 75 secs
lola: 74364 markings, 268207 edges, 863 markings/sec, 80 secs
lola: 78678 markings, 283982 edges, 863 markings/sec, 85 secs
lola: 83025 markings, 299897 edges, 869 markings/sec, 90 secs
lola: 87375 markings, 315443 edges, 870 markings/sec, 95 secs
lola: 91717 markings, 330979 edges, 868 markings/sec, 100 secs
lola: 96060 markings, 346806 edges, 869 markings/sec, 105 secs
lola: 100399 markings, 362781 edges, 868 markings/sec, 110 secs
lola: 104758 markings, 378546 edges, 872 markings/sec, 115 secs
lola: 109093 markings, 393615 edges, 867 markings/sec, 120 secs
lola: 113456 markings, 408832 edges, 873 markings/sec, 125 secs
lola: 117802 markings, 424002 edges, 869 markings/sec, 130 secs
lola: 122174 markings, 438492 edges, 874 markings/sec, 135 secs
lola: 126545 markings, 454078 edges, 874 markings/sec, 140 secs
lola: 130921 markings, 469310 edges, 875 markings/sec, 145 secs
lola: 135300 markings, 484885 edges, 876 markings/sec, 150 secs
lola: 139659 markings, 501272 edges, 872 markings/sec, 155 secs
lola: 143989 markings, 516250 edges, 866 markings/sec, 160 secs
lola: 148330 markings, 532114 edges, 868 markings/sec, 165 secs
lola: 152687 markings, 547629 edges, 871 markings/sec, 170 secs
lola: 157029 markings, 562849 edges, 868 markings/sec, 175 secs
lola: 161391 markings, 578050 edges, 872 markings/sec, 180 secs
lola: 165750 markings, 593561 edges, 872 markings/sec, 185 secs
lola: 170094 markings, 609081 edges, 869 markings/sec, 190 secs
lola: 174450 markings, 625291 edges, 871 markings/sec, 195 secs
lola: 178793 markings, 640845 edges, 869 markings/sec, 200 secs
lola: 183153 markings, 656427 edges, 872 markings/sec, 205 secs
lola: 187525 markings, 671994 edges, 874 markings/sec, 210 secs
lola: 191865 markings, 686692 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 13 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__13_37_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 6396 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 4328 markings, 14978 edges, 866 markings/sec, 0 secs
lola: 8687 markings, 30260 edges, 872 markings/sec, 5 secs
lola: 13019 markings, 45496 edges, 866 markings/sec, 10 secs
lola: 17374 markings, 58962 edges, 871 markings/sec, 15 secs
lola: 21720 markings, 73632 edges, 869 markings/sec, 20 secs
lola: 26048 markings, 88257 edges, 866 markings/sec, 25 secs
lola: 30394 markings, 101649 edges, 869 markings/sec, 30 secs
lola: 34731 markings, 116294 edges, 867 markings/sec, 35 secs
lola: 39076 markings, 130975 edges, 869 markings/sec, 40 secs
lola: 43430 markings, 145188 edges, 871 markings/sec, 45 secs
lola: 47750 markings, 161762 edges, 864 markings/sec, 50 secs
lola: 52081 markings, 176566 edges, 866 markings/sec, 55 secs
lola: 56414 markings, 190213 edges, 867 markings/sec, 60 secs
lola: 60756 markings, 204756 edges, 868 markings/sec, 65 secs
lola: 65117 markings, 218566 edges, 872 markings/sec, 70 secs
lola: 69451 markings, 232179 edges, 867 markings/sec, 75 secs
lola: 73789 markings, 246872 edges, 868 markings/sec, 80 secs
lola: 78143 markings, 260996 edges, 871 markings/sec, 85 secs
lola: 82471 markings, 276146 edges, 866 markings/sec, 90 secs
lola: 86851 markings, 290295 edges, 876 markings/sec, 95 secs
lola: 91213 markings, 305172 edges, 872 markings/sec, 100 secs
lola: 95561 markings, 321476 edges, 870 markings/sec, 105 secs
lola: 99939 markings, 335985 edges, 876 markings/sec, 110 secs
lola: 104301 markings, 350659 edges, 872 markings/sec, 115 secs
lola: 108659 markings, 364093 edges, 872 markings/sec, 120 secs
lola: 113028 markings, 377853 edges, 874 markings/sec, 125 secs
lola: 117427 markings, 392349 edges, 880 markings/sec, 130 secs
lola: 121818 markings, 406612 edges, 878 markings/sec, 135 secs
lola: 126224 markings, 420573 edges, 881 markings/sec, 140 secs
lola: 130599 markings, 434048 edges, 875 markings/sec, 145 secs
lola: 134971 markings, 447947 edges, 874 markings/sec, 150 secs
lola: 139313 markings, 461741 edges, 868 markings/sec, 155 secs
lola: 143642 markings, 476380 edges, 866 markings/sec, 160 secs
lola: 147985 markings, 489738 edges, 869 markings/sec, 165 secs
lola: 152321 markings, 503808 edges, 867 markings/sec, 170 secs
lola: 156682 markings, 517246 edges, 872 markings/sec, 175 secs
lola: 161031 markings, 530589 edges, 870 markings/sec, 180 secs
lola: 165379 markings, 544481 edges, 870 markings/sec, 185 secs
lola: 169721 markings, 558251 edges, 868 markings/sec, 190 secs
lola: 174051 markings, 572452 edges, 866 markings/sec, 195 secs
lola: 178389 markings, 586013 edges, 868 markings/sec, 200 secs
lola: 182760 markings, 599312 edges, 874 markings/sec, 205 secs
lola: 187088 markings, 613496 edges, 866 markings/sec, 210 secs
lola: 191410 markings, 627791 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 14 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__40_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: 4385 markings, 15934 edges, 877 markings/sec, 0 secs
lola: 8802 markings, 31764 edges, 883 markings/sec, 5 secs
lola: 13249 markings, 47858 edges, 889 markings/sec, 10 secs
lola: 17673 markings, 63967 edges, 885 markings/sec, 15 secs
lola: 22041 markings, 79909 edges, 874 markings/sec, 20 secs
lola: 26436 markings, 95671 edges, 879 markings/sec, 25 secs
lola: 30883 markings, 110727 edges, 889 markings/sec, 30 secs
lola: 35325 markings, 126600 edges, 888 markings/sec, 35 secs
lola: 39779 markings, 142157 edges, 891 markings/sec, 40 secs
lola: 44217 markings, 158152 edges, 888 markings/sec, 45 secs
lola: 48665 markings, 174086 edges, 890 markings/sec, 50 secs
lola: 53108 markings, 190217 edges, 889 markings/sec, 55 secs
lola: 57549 markings, 205779 edges, 888 markings/sec, 60 secs
lola: 61966 markings, 221518 edges, 883 markings/sec, 65 secs
lola: 66389 markings, 237438 edges, 885 markings/sec, 70 secs
lola: 70809 markings, 254255 edges, 884 markings/sec, 75 secs
lola: 75265 markings, 270319 edges, 891 markings/sec, 80 secs
lola: 79758 markings, 285319 edges, 899 markings/sec, 85 secs
lola: 84190 markings, 301231 edges, 886 markings/sec, 90 secs
lola: 88629 markings, 316592 edges, 888 markings/sec, 95 secs
lola: 93059 markings, 331811 edges, 886 markings/sec, 100 secs
lola: 97471 markings, 347141 edges, 882 markings/sec, 105 secs
lola: 101947 markings, 362009 edges, 895 markings/sec, 110 secs
lola: 106373 markings, 377038 edges, 885 markings/sec, 115 secs
lola: 110790 markings, 392605 edges, 883 markings/sec, 120 secs
lola: 115181 markings, 407951 edges, 878 markings/sec, 125 secs
lola: 119581 markings, 424367 edges, 880 markings/sec, 130 secs
lola: 124000 markings, 439704 edges, 884 markings/sec, 135 secs
lola: 128413 markings, 456001 edges, 883 markings/sec, 140 secs
lola: 132821 markings, 471728 edges, 882 markings/sec, 145 secs
lola: 137226 markings, 487002 edges, 881 markings/sec, 150 secs
lola: 141664 markings, 501809 edges, 888 markings/sec, 155 secs
lola: 146064 markings, 517225 edges, 880 markings/sec, 160 secs
lola: 150452 markings, 532461 edges, 878 markings/sec, 165 secs
lola: 154845 markings, 547189 edges, 879 markings/sec, 170 secs
lola: 159288 markings, 562612 edges, 889 markings/sec, 175 secs
lola: 163712 markings, 577805 edges, 885 markings/sec, 180 secs
lola: 168154 markings, 592018 edges, 888 markings/sec, 185 secs
lola: 172572 markings, 606483 edges, 884 markings/sec, 190 secs
lola: 176970 markings, 621332 edges, 880 markings/sec, 195 secs
lola: 181359 markings, 635945 edges, 878 markings/sec, 200 secs
lola: 185766 markings, 650593 edges, 881 markings/sec, 205 secs
lola: 190192 markings, 664857 edges, 885 markings/sec, 210 secs
lola: 194607 markings, 679432 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 15 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__20_12_)
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: 4441 markings, 15958 edges, 888 markings/sec, 0 secs
lola: 8871 markings, 31870 edges, 886 markings/sec, 5 secs
lola: 13276 markings, 48733 edges, 881 markings/sec, 10 secs
lola: 17669 markings, 65199 edges, 879 markings/sec, 15 secs
lola: 22040 markings, 81009 edges, 874 markings/sec, 20 secs
lola: 26438 markings, 97222 edges, 880 markings/sec, 25 secs
lola: 30844 markings, 114259 edges, 881 markings/sec, 30 secs
lola: 35265 markings, 130295 edges, 884 markings/sec, 35 secs
lola: 39685 markings, 146692 edges, 884 markings/sec, 40 secs
lola: 44075 markings, 162863 edges, 878 markings/sec, 45 secs
lola: 48458 markings, 179488 edges, 877 markings/sec, 50 secs
lola: 52863 markings, 195433 edges, 881 markings/sec, 55 secs
lola: 57271 markings, 211948 edges, 882 markings/sec, 60 secs
lola: 61670 markings, 228559 edges, 880 markings/sec, 65 secs
lola: 66061 markings, 245069 edges, 878 markings/sec, 70 secs
lola: 70465 markings, 261809 edges, 881 markings/sec, 75 secs
lola: 74881 markings, 277806 edges, 883 markings/sec, 80 secs
lola: 79285 markings, 294266 edges, 881 markings/sec, 85 secs
lola: 83716 markings, 309043 edges, 886 markings/sec, 90 secs
lola: 88132 markings, 325618 edges, 883 markings/sec, 95 secs
lola: 92562 markings, 340637 edges, 886 markings/sec, 100 secs
lola: 96966 markings, 356437 edges, 881 markings/sec, 105 secs
lola: 101378 markings, 372058 edges, 882 markings/sec, 110 secs
lola: 105785 markings, 388459 edges, 881 markings/sec, 115 secs
lola: 110181 markings, 405156 edges, 879 markings/sec, 120 secs
lola: 114581 markings, 422066 edges, 880 markings/sec, 125 secs
lola: 118966 markings, 438626 edges, 877 markings/sec, 130 secs
lola: 123329 markings, 454842 edges, 873 markings/sec, 135 secs
lola: 127712 markings, 471954 edges, 877 markings/sec, 140 secs
lola: 132107 markings, 488430 edges, 879 markings/sec, 145 secs
lola: 136467 markings, 504537 edges, 872 markings/sec, 150 secs
lola: 140832 markings, 520556 edges, 873 markings/sec, 155 secs
lola: 145214 markings, 537522 edges, 876 markings/sec, 160 secs
lola: 149606 markings, 554565 edges, 878 markings/sec, 165 secs
lola: 154013 markings, 571586 edges, 881 markings/sec, 170 secs
lola: 158459 markings, 586915 edges, 889 markings/sec, 175 secs
lola: 162890 markings, 602666 edges, 886 markings/sec, 180 secs
lola: 167307 markings, 618552 edges, 883 markings/sec, 185 secs
lola: 171718 markings, 634865 edges, 882 markings/sec, 190 secs
lola: 176135 markings, 650764 edges, 883 markings/sec, 195 secs
lola: 180546 markings, 666822 edges, 882 markings/sec, 200 secs
lola: 184938 markings, 683439 edges, 878 markings/sec, 205 secs
lola: 189354 markings, 700026 edges, 883 markings/sec, 210 secs
lola: 193750 markings, 717200 edges, 879 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 unknownlola:
caught signal User defined signal 1 - aborting LoLA
FORMULA Diffusion2D-PT-D40N150-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D40N150-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D40N150-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D40N150-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D40N150-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D40N150-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D40N150-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D40N150-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D40N150-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D40N150-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D40N150-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D40N150-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D40N150-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D40N150-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D40N150-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D40N150-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494641295279

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