About the Execution of LoLA for S_Diffusion2D-PT-D40N150
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
611.780 | 3540402.00 | 3554856.00 | 662.80 | ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? | normal |
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 S_Diffusion2D-PT-D40N150, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r098-ebro-149488455800398
=====================================================================
--------------------
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 1496462082079
Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_Diffusion2D-PT-D40N150: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
S_Diffusion2D-PT-D40N150: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_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: 4259 markings, 14247 edges, 852 markings/sec, 0 secs
lola: 8559 markings, 28456 edges, 860 markings/sec, 5 secs
lola: 12886 markings, 43525 edges, 865 markings/sec, 10 secs
lola: 17255 markings, 58772 edges, 874 markings/sec, 15 secs
lola: 21613 markings, 73762 edges, 872 markings/sec, 20 secs
lola: 25990 markings, 88677 edges, 875 markings/sec, 25 secs
lola: 30333 markings, 104469 edges, 869 markings/sec, 30 secs
lola: 34660 markings, 120074 edges, 865 markings/sec, 35 secs
lola: 38983 markings, 134981 edges, 865 markings/sec, 40 secs
lola: 43326 markings, 150432 edges, 869 markings/sec, 45 secs
lola: 47698 markings, 166238 edges, 874 markings/sec, 50 secs
lola: 52102 markings, 181757 edges, 881 markings/sec, 55 secs
lola: 56505 markings, 196898 edges, 881 markings/sec, 60 secs
lola: 60865 markings, 213023 edges, 872 markings/sec, 65 secs
lola: 65229 markings, 228317 edges, 873 markings/sec, 70 secs
lola: 69576 markings, 243190 edges, 869 markings/sec, 75 secs
lola: 73919 markings, 259028 edges, 869 markings/sec, 80 secs
lola: 78272 markings, 274852 edges, 871 markings/sec, 85 secs
lola: 82628 markings, 289778 edges, 871 markings/sec, 90 secs
lola: 86957 markings, 305154 edges, 866 markings/sec, 95 secs
lola: 91285 markings, 320889 edges, 866 markings/sec, 100 secs
lola: 95654 markings, 336149 edges, 874 markings/sec, 105 secs
lola: 100055 markings, 351385 edges, 880 markings/sec, 110 secs
lola: 104446 markings, 366488 edges, 878 markings/sec, 115 secs
lola: 108846 markings, 381204 edges, 880 markings/sec, 120 secs
lola: 113251 markings, 396738 edges, 881 markings/sec, 125 secs
lola: 117616 markings, 413200 edges, 873 markings/sec, 130 secs
lola: 121985 markings, 429358 edges, 874 markings/sec, 135 secs
lola: 126359 markings, 445808 edges, 875 markings/sec, 140 secs
lola: 130734 markings, 461366 edges, 875 markings/sec, 145 secs
lola: 135129 markings, 477103 edges, 879 markings/sec, 150 secs
lola: 139490 markings, 493101 edges, 872 markings/sec, 155 secs
lola: 143844 markings, 509052 edges, 871 markings/sec, 160 secs
lola: 148200 markings, 524714 edges, 871 markings/sec, 165 secs
lola: 152577 markings, 539716 edges, 875 markings/sec, 170 secs
lola: 156953 markings, 555806 edges, 875 markings/sec, 175 secs
lola: 161317 markings, 572278 edges, 873 markings/sec, 180 secs
lola: 165712 markings, 587239 edges, 879 markings/sec, 185 secs
lola: 170102 markings, 603548 edges, 878 markings/sec, 190 secs
lola: 174477 markings, 619224 edges, 875 markings/sec, 195 secs
lola: 178854 markings, 634770 edges, 875 markings/sec, 200 secs
lola: 183215 markings, 650747 edges, 872 markings/sec, 205 secs
lola: 187579 markings, 666884 edges, 873 markings/sec, 210 secs
lola: 191963 markings, 682140 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 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: 4339 markings, 15400 edges, 868 markings/sec, 0 secs
lola: 8639 markings, 31198 edges, 860 markings/sec, 5 secs
lola: 12954 markings, 47194 edges, 863 markings/sec, 10 secs
lola: 17295 markings, 63297 edges, 868 markings/sec, 15 secs
lola: 21622 markings, 77920 edges, 865 markings/sec, 20 secs
lola: 25945 markings, 93695 edges, 865 markings/sec, 25 secs
lola: 30249 markings, 109209 edges, 861 markings/sec, 30 secs
lola: 34564 markings, 124378 edges, 863 markings/sec, 35 secs
lola: 38889 markings, 139814 edges, 865 markings/sec, 40 secs
lola: 43208 markings, 155215 edges, 864 markings/sec, 45 secs
lola: 47495 markings, 172237 edges, 857 markings/sec, 50 secs
lola: 51815 markings, 187623 edges, 864 markings/sec, 55 secs
lola: 56129 markings, 203281 edges, 863 markings/sec, 60 secs
lola: 60439 markings, 218855 edges, 862 markings/sec, 65 secs
lola: 64726 markings, 235933 edges, 857 markings/sec, 70 secs
lola: 69017 markings, 252073 edges, 858 markings/sec, 75 secs
lola: 73338 markings, 267356 edges, 864 markings/sec, 80 secs
lola: 77669 markings, 282731 edges, 866 markings/sec, 85 secs
lola: 81983 markings, 298416 edges, 863 markings/sec, 90 secs
lola: 86305 markings, 314007 edges, 864 markings/sec, 95 secs
lola: 90606 markings, 330668 edges, 860 markings/sec, 100 secs
lola: 94911 markings, 346498 edges, 861 markings/sec, 105 secs
lola: 99204 markings, 363384 edges, 859 markings/sec, 110 secs
lola: 103520 markings, 378316 edges, 863 markings/sec, 115 secs
lola: 107844 markings, 394149 edges, 865 markings/sec, 120 secs
lola: 112152 markings, 410125 edges, 862 markings/sec, 125 secs
lola: 116442 markings, 427805 edges, 858 markings/sec, 130 secs
lola: 120730 markings, 444763 edges, 858 markings/sec, 135 secs
lola: 125042 markings, 460682 edges, 862 markings/sec, 140 secs
lola: 129327 markings, 476631 edges, 857 markings/sec, 145 secs
lola: 133642 markings, 493644 edges, 863 markings/sec, 150 secs
lola: 137945 markings, 509522 edges, 861 markings/sec, 155 secs
lola: 142213 markings, 527041 edges, 854 markings/sec, 160 secs
lola: 146511 markings, 542815 edges, 860 markings/sec, 165 secs
lola: 150787 markings, 558354 edges, 855 markings/sec, 170 secs
lola: 155103 markings, 574271 edges, 863 markings/sec, 175 secs
lola: 159411 markings, 589788 edges, 862 markings/sec, 180 secs
lola: 163730 markings, 605194 edges, 864 markings/sec, 185 secs
lola: 168048 markings, 620656 edges, 864 markings/sec, 190 secs
lola: 172329 markings, 635987 edges, 856 markings/sec, 195 secs
lola: 176596 markings, 651153 edges, 853 markings/sec, 200 secs
lola: 180830 markings, 668813 edges, 847 markings/sec, 205 secs
lola: 185082 markings, 685164 edges, 850 markings/sec, 210 secs
lola: 189343 markings, 701329 edges, 852 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: 4278 markings, 14804 edges, 856 markings/sec, 0 secs
lola: 8596 markings, 30169 edges, 864 markings/sec, 5 secs
lola: 12928 markings, 44195 edges, 866 markings/sec, 10 secs
lola: 17239 markings, 59122 edges, 862 markings/sec, 15 secs
lola: 21546 markings, 74229 edges, 861 markings/sec, 20 secs
lola: 25857 markings, 89246 edges, 862 markings/sec, 25 secs
lola: 30180 markings, 103388 edges, 865 markings/sec, 30 secs
lola: 34482 markings, 117808 edges, 860 markings/sec, 35 secs
lola: 38783 markings, 132386 edges, 860 markings/sec, 40 secs
lola: 43068 markings, 148017 edges, 857 markings/sec, 45 secs
lola: 47394 markings, 162184 edges, 865 markings/sec, 50 secs
lola: 51699 markings, 177347 edges, 861 markings/sec, 55 secs
lola: 56004 markings, 192001 edges, 861 markings/sec, 60 secs
lola: 60301 markings, 207419 edges, 859 markings/sec, 65 secs
lola: 64631 markings, 221436 edges, 866 markings/sec, 70 secs
lola: 68972 markings, 236809 edges, 868 markings/sec, 75 secs
lola: 73307 markings, 251713 edges, 867 markings/sec, 80 secs
lola: 77639 markings, 266658 edges, 866 markings/sec, 85 secs
lola: 82007 markings, 280448 edges, 874 markings/sec, 90 secs
lola: 86342 markings, 295672 edges, 867 markings/sec, 95 secs
lola: 90680 markings, 309457 edges, 868 markings/sec, 100 secs
lola: 94984 markings, 324509 edges, 861 markings/sec, 105 secs
lola: 99305 markings, 339076 edges, 864 markings/sec, 110 secs
lola: 103637 markings, 353030 edges, 866 markings/sec, 115 secs
lola: 107970 markings, 366708 edges, 867 markings/sec, 120 secs
lola: 112307 markings, 380986 edges, 867 markings/sec, 125 secs
lola: 116634 markings, 396114 edges, 865 markings/sec, 130 secs
lola: 120950 markings, 410658 edges, 863 markings/sec, 135 secs
lola: 125275 markings, 424923 edges, 865 markings/sec, 140 secs
lola: 129596 markings, 439431 edges, 864 markings/sec, 145 secs
lola: 133900 markings, 455149 edges, 861 markings/sec, 150 secs
lola: 138242 markings, 469758 edges, 868 markings/sec, 155 secs
lola: 142572 markings, 483975 edges, 866 markings/sec, 160 secs
lola: 146894 markings, 498563 edges, 864 markings/sec, 165 secs
lola: 151239 markings, 512880 edges, 869 markings/sec, 170 secs
lola: 155562 markings, 527542 edges, 865 markings/sec, 175 secs
lola: 159928 markings, 541932 edges, 873 markings/sec, 180 secs
lola: 164234 markings, 557113 edges, 861 markings/sec, 185 secs
lola: 168564 markings, 571811 edges, 866 markings/sec, 190 secs
lola: 172897 markings, 586383 edges, 867 markings/sec, 195 secs
lola: 177244 markings, 600543 edges, 869 markings/sec, 200 secs
lola: 181579 markings, 614790 edges, 867 markings/sec, 205 secs
lola: 185906 markings, 629747 edges, 865 markings/sec, 210 secs
lola: 190218 markings, 644137 edges, 862 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__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: 4317 markings, 15233 edges, 863 markings/sec, 0 secs
lola: 8640 markings, 30887 edges, 865 markings/sec, 5 secs
lola: 12968 markings, 46283 edges, 866 markings/sec, 10 secs
lola: 17302 markings, 60900 edges, 867 markings/sec, 15 secs
lola: 21624 markings, 76284 edges, 864 markings/sec, 20 secs
lola: 25960 markings, 90973 edges, 867 markings/sec, 25 secs
lola: 30292 markings, 106847 edges, 866 markings/sec, 30 secs
lola: 34624 markings, 124184 edges, 866 markings/sec, 35 secs
lola: 38943 markings, 140655 edges, 864 markings/sec, 40 secs
lola: 43274 markings, 157263 edges, 866 markings/sec, 45 secs
lola: 47568 markings, 175145 edges, 859 markings/sec, 50 secs
lola: 51905 markings, 191209 edges, 867 markings/sec, 55 secs
lola: 56307 markings, 206596 edges, 880 markings/sec, 60 secs
lola: 60652 markings, 222878 edges, 869 markings/sec, 65 secs
lola: 64977 markings, 239788 edges, 865 markings/sec, 70 secs
lola: 69329 markings, 255979 edges, 870 markings/sec, 75 secs
lola: 73690 markings, 271371 edges, 872 markings/sec, 80 secs
lola: 78058 markings, 286135 edges, 874 markings/sec, 85 secs
lola: 82418 markings, 301513 edges, 872 markings/sec, 90 secs
lola: 86771 markings, 317582 edges, 871 markings/sec, 95 secs
lola: 91087 markings, 334270 edges, 863 markings/sec, 100 secs
lola: 95451 markings, 348913 edges, 873 markings/sec, 105 secs
lola: 99803 markings, 364615 edges, 870 markings/sec, 110 secs
lola: 104154 markings, 381099 edges, 870 markings/sec, 115 secs
lola: 108507 markings, 397469 edges, 871 markings/sec, 120 secs
lola: 112876 markings, 412463 edges, 874 markings/sec, 125 secs
lola: 117236 markings, 426739 edges, 872 markings/sec, 130 secs
lola: 121602 markings, 441237 edges, 873 markings/sec, 135 secs
lola: 125952 markings, 456394 edges, 870 markings/sec, 140 secs
lola: 130318 markings, 470684 edges, 873 markings/sec, 145 secs
lola: 134673 markings, 486020 edges, 871 markings/sec, 150 secs
lola: 139027 markings, 501175 edges, 871 markings/sec, 155 secs
lola: 143404 markings, 516052 edges, 875 markings/sec, 160 secs
lola: 147774 markings, 532023 edges, 874 markings/sec, 165 secs
lola: 152148 markings, 547605 edges, 875 markings/sec, 170 secs
lola: 156518 markings, 562570 edges, 874 markings/sec, 175 secs
lola: 160873 markings, 577475 edges, 871 markings/sec, 180 secs
lola: 165277 markings, 591994 edges, 881 markings/sec, 185 secs
lola: 169659 markings, 607834 edges, 876 markings/sec, 190 secs
lola: 174029 markings, 623242 edges, 874 markings/sec, 195 secs
lola: 178375 markings, 639406 edges, 869 markings/sec, 200 secs
lola: 182700 markings, 654781 edges, 865 markings/sec, 205 secs
lola: 187033 markings, 669651 edges, 867 markings/sec, 210 secs
lola: 191354 markings, 685470 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 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: 4330 markings, 15145 edges, 866 markings/sec, 0 secs
lola: 8714 markings, 30460 edges, 877 markings/sec, 5 secs
lola: 13095 markings, 45912 edges, 876 markings/sec, 10 secs
lola: 17471 markings, 61261 edges, 875 markings/sec, 15 secs
lola: 21844 markings, 76123 edges, 875 markings/sec, 20 secs
lola: 26202 markings, 91470 edges, 872 markings/sec, 25 secs
lola: 30558 markings, 107566 edges, 871 markings/sec, 30 secs
lola: 34899 markings, 123634 edges, 868 markings/sec, 35 secs
lola: 39256 markings, 139690 edges, 871 markings/sec, 40 secs
lola: 43619 markings, 156878 edges, 873 markings/sec, 45 secs
lola: 47977 markings, 171678 edges, 872 markings/sec, 50 secs
lola: 52307 markings, 187882 edges, 866 markings/sec, 55 secs
lola: 56693 markings, 202724 edges, 877 markings/sec, 60 secs
lola: 61054 markings, 218487 edges, 872 markings/sec, 65 secs
lola: 65395 markings, 234610 edges, 868 markings/sec, 70 secs
lola: 69743 markings, 250481 edges, 870 markings/sec, 75 secs
lola: 74081 markings, 265691 edges, 868 markings/sec, 80 secs
lola: 78413 markings, 280931 edges, 866 markings/sec, 85 secs
lola: 82759 markings, 295758 edges, 869 markings/sec, 90 secs
lola: 87122 markings, 310700 edges, 873 markings/sec, 95 secs
lola: 91446 markings, 326688 edges, 865 markings/sec, 100 secs
lola: 95800 markings, 342190 edges, 871 markings/sec, 105 secs
lola: 100154 markings, 356671 edges, 871 markings/sec, 110 secs
lola: 104500 markings, 370263 edges, 869 markings/sec, 115 secs
lola: 108850 markings, 383969 edges, 870 markings/sec, 120 secs
lola: 113256 markings, 399062 edges, 881 markings/sec, 125 secs
lola: 117654 markings, 415035 edges, 880 markings/sec, 130 secs
lola: 122022 markings, 428876 edges, 874 markings/sec, 135 secs
lola: 126410 markings, 444086 edges, 878 markings/sec, 140 secs
lola: 130764 markings, 458386 edges, 871 markings/sec, 145 secs
lola: 135125 markings, 472805 edges, 872 markings/sec, 150 secs
lola: 139470 markings, 487028 edges, 869 markings/sec, 155 secs
lola: 143828 markings, 500500 edges, 872 markings/sec, 160 secs
lola: 148171 markings, 514838 edges, 869 markings/sec, 165 secs
lola: 152525 markings, 529822 edges, 871 markings/sec, 170 secs
lola: 156877 markings, 545440 edges, 870 markings/sec, 175 secs
lola: 161226 markings, 559704 edges, 870 markings/sec, 180 secs
lola: 165595 markings, 573880 edges, 874 markings/sec, 185 secs
lola: 169956 markings, 589398 edges, 872 markings/sec, 190 secs
lola: 174323 markings, 604575 edges, 873 markings/sec, 195 secs
lola: 178683 markings, 619570 edges, 872 markings/sec, 200 secs
lola: 183056 markings, 634240 edges, 875 markings/sec, 205 secs
lola: 187424 markings, 648689 edges, 874 markings/sec, 210 secs
lola: 191765 markings, 664824 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 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: 4348 markings, 15302 edges, 870 markings/sec, 0 secs
lola: 8708 markings, 31298 edges, 872 markings/sec, 5 secs
lola: 13051 markings, 47467 edges, 869 markings/sec, 10 secs
lola: 17395 markings, 62979 edges, 869 markings/sec, 15 secs
lola: 21737 markings, 78505 edges, 868 markings/sec, 20 secs
lola: 26074 markings, 94453 edges, 867 markings/sec, 25 secs
lola: 30399 markings, 111074 edges, 865 markings/sec, 30 secs
lola: 34761 markings, 126599 edges, 872 markings/sec, 35 secs
lola: 39107 markings, 142172 edges, 869 markings/sec, 40 secs
lola: 43441 markings, 157923 edges, 867 markings/sec, 45 secs
lola: 47762 markings, 173879 edges, 864 markings/sec, 50 secs
lola: 52073 markings, 189854 edges, 862 markings/sec, 55 secs
lola: 56389 markings, 205165 edges, 863 markings/sec, 60 secs
lola: 60708 markings, 221185 edges, 864 markings/sec, 65 secs
lola: 65008 markings, 237747 edges, 860 markings/sec, 70 secs
lola: 69309 markings, 253107 edges, 860 markings/sec, 75 secs
lola: 73637 markings, 268849 edges, 866 markings/sec, 80 secs
lola: 77983 markings, 283914 edges, 869 markings/sec, 85 secs
lola: 82315 markings, 299481 edges, 866 markings/sec, 90 secs
lola: 86671 markings, 314549 edges, 871 markings/sec, 95 secs
lola: 91042 markings, 330884 edges, 874 markings/sec, 100 secs
lola: 95390 markings, 346892 edges, 870 markings/sec, 105 secs
lola: 99724 markings, 363138 edges, 867 markings/sec, 110 secs
lola: 104065 markings, 378435 edges, 868 markings/sec, 115 secs
lola: 108385 markings, 393847 edges, 864 markings/sec, 120 secs
lola: 112657 markings, 409634 edges, 854 markings/sec, 125 secs
lola: 116931 markings, 426781 edges, 855 markings/sec, 130 secs
lola: 121216 markings, 441832 edges, 857 markings/sec, 135 secs
lola: 125494 markings, 457441 edges, 856 markings/sec, 140 secs
lola: 129780 markings, 473163 edges, 857 markings/sec, 145 secs
lola: 134079 markings, 488575 edges, 860 markings/sec, 150 secs
lola: 138416 markings, 503819 edges, 867 markings/sec, 155 secs
lola: 142741 markings, 519633 edges, 865 markings/sec, 160 secs
lola: 147058 markings, 535698 edges, 863 markings/sec, 165 secs
lola: 151378 markings, 551910 edges, 864 markings/sec, 170 secs
lola: 155699 markings, 566810 edges, 864 markings/sec, 175 secs
lola: 159971 markings, 582711 edges, 854 markings/sec, 180 secs
lola: 164228 markings, 598182 edges, 851 markings/sec, 185 secs
lola: 168485 markings, 613968 edges, 851 markings/sec, 190 secs
lola: 172777 markings, 628228 edges, 858 markings/sec, 195 secs
lola: 177078 markings, 642136 edges, 860 markings/sec, 200 secs
lola: 181372 markings, 656818 edges, 859 markings/sec, 205 secs
lola: 185665 markings, 671416 edges, 859 markings/sec, 210 secs
lola: 189949 markings, 686595 edges, 857 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__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: 4308 markings, 15663 edges, 862 markings/sec, 0 secs
lola: 8691 markings, 30792 edges, 877 markings/sec, 5 secs
lola: 13058 markings, 45794 edges, 873 markings/sec, 10 secs
lola: 17395 markings, 60690 edges, 867 markings/sec, 15 secs
lola: 21743 markings, 75405 edges, 870 markings/sec, 20 secs
lola: 26079 markings, 89973 edges, 867 markings/sec, 25 secs
lola: 30432 markings, 104992 edges, 871 markings/sec, 30 secs
lola: 34785 markings, 120486 edges, 871 markings/sec, 35 secs
lola: 39138 markings, 135783 edges, 871 markings/sec, 40 secs
lola: 43474 markings, 151829 edges, 867 markings/sec, 45 secs
lola: 47801 markings, 166800 edges, 865 markings/sec, 50 secs
lola: 52142 markings, 182017 edges, 868 markings/sec, 55 secs
lola: 56492 markings, 196976 edges, 870 markings/sec, 60 secs
lola: 60858 markings, 211961 edges, 873 markings/sec, 65 secs
lola: 65189 markings, 226765 edges, 866 markings/sec, 70 secs
lola: 69506 markings, 241137 edges, 863 markings/sec, 75 secs
lola: 73834 markings, 256074 edges, 866 markings/sec, 80 secs
lola: 78176 markings, 270676 edges, 868 markings/sec, 85 secs
lola: 82503 markings, 285507 edges, 865 markings/sec, 90 secs
lola: 86810 markings, 300055 edges, 861 markings/sec, 95 secs
lola: 91128 markings, 314603 edges, 864 markings/sec, 100 secs
lola: 95477 markings, 329293 edges, 870 markings/sec, 105 secs
lola: 99814 markings, 344059 edges, 867 markings/sec, 110 secs
lola: 104150 markings, 359006 edges, 867 markings/sec, 115 secs
lola: 108568 markings, 373596 edges, 884 markings/sec, 120 secs
lola: 112942 markings, 388597 edges, 875 markings/sec, 125 secs
lola: 117320 markings, 403125 edges, 876 markings/sec, 130 secs
lola: 121702 markings, 417390 edges, 876 markings/sec, 135 secs
lola: 126084 markings, 431507 edges, 876 markings/sec, 140 secs
lola: 130434 markings, 445867 edges, 870 markings/sec, 145 secs
lola: 134782 markings, 460119 edges, 870 markings/sec, 150 secs
lola: 139113 markings, 474929 edges, 866 markings/sec, 155 secs
lola: 143486 markings, 489225 edges, 875 markings/sec, 160 secs
lola: 147865 markings, 503419 edges, 876 markings/sec, 165 secs
lola: 152257 markings, 517850 edges, 878 markings/sec, 170 secs
lola: 156641 markings, 532667 edges, 877 markings/sec, 175 secs
lola: 161008 markings, 547213 edges, 873 markings/sec, 180 secs
lola: 165411 markings, 561702 edges, 881 markings/sec, 185 secs
lola: 169785 markings, 576451 edges, 875 markings/sec, 190 secs
lola: 174139 markings, 590808 edges, 871 markings/sec, 195 secs
lola: 178510 markings, 605085 edges, 874 markings/sec, 200 secs
lola: 182892 markings, 619413 edges, 876 markings/sec, 205 secs
lola: 187253 markings, 634023 edges, 872 markings/sec, 210 secs
lola: 191648 markings, 648459 edges, 879 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 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: 4378 markings, 15466 edges, 876 markings/sec, 0 secs
lola: 8781 markings, 31661 edges, 881 markings/sec, 5 secs
lola: 13171 markings, 47556 edges, 878 markings/sec, 10 secs
lola: 17530 markings, 63315 edges, 872 markings/sec, 15 secs
lola: 21895 markings, 78860 edges, 873 markings/sec, 20 secs
lola: 26245 markings, 94739 edges, 870 markings/sec, 25 secs
lola: 30577 markings, 112018 edges, 866 markings/sec, 30 secs
lola: 34923 markings, 128224 edges, 869 markings/sec, 35 secs
lola: 39257 markings, 144542 edges, 867 markings/sec, 40 secs
lola: 43580 markings, 161517 edges, 865 markings/sec, 45 secs
lola: 47895 markings, 178570 edges, 863 markings/sec, 50 secs
lola: 52259 markings, 194246 edges, 873 markings/sec, 55 secs
lola: 56602 markings, 211506 edges, 869 markings/sec, 60 secs
lola: 60959 markings, 227176 edges, 871 markings/sec, 65 secs
lola: 65316 markings, 243020 edges, 871 markings/sec, 70 secs
lola: 69634 markings, 258676 edges, 864 markings/sec, 75 secs
lola: 73938 markings, 275822 edges, 861 markings/sec, 80 secs
lola: 78308 markings, 291615 edges, 874 markings/sec, 85 secs
lola: 82676 markings, 307490 edges, 874 markings/sec, 90 secs
lola: 87020 markings, 323197 edges, 869 markings/sec, 95 secs
lola: 91374 markings, 339544 edges, 871 markings/sec, 100 secs
lola: 95700 markings, 354797 edges, 865 markings/sec, 105 secs
lola: 99998 markings, 370491 edges, 860 markings/sec, 110 secs
lola: 104323 markings, 385630 edges, 865 markings/sec, 115 secs
lola: 108633 markings, 402020 edges, 862 markings/sec, 120 secs
lola: 112918 markings, 417517 edges, 857 markings/sec, 125 secs
lola: 117252 markings, 431533 edges, 867 markings/sec, 130 secs
lola: 121547 markings, 446380 edges, 859 markings/sec, 135 secs
lola: 125886 markings, 460744 edges, 868 markings/sec, 140 secs
lola: 130192 markings, 476549 edges, 861 markings/sec, 145 secs
lola: 134516 markings, 491864 edges, 865 markings/sec, 150 secs
lola: 138856 markings, 506579 edges, 868 markings/sec, 155 secs
lola: 143196 markings, 522083 edges, 868 markings/sec, 160 secs
lola: 147529 markings, 537873 edges, 867 markings/sec, 165 secs
lola: 151889 markings, 552407 edges, 872 markings/sec, 170 secs
lola: 156200 markings, 568746 edges, 862 markings/sec, 175 secs
lola: 160532 markings, 585999 edges, 866 markings/sec, 180 secs
lola: 164849 markings, 601448 edges, 863 markings/sec, 185 secs
lola: 169157 markings, 617431 edges, 862 markings/sec, 190 secs
lola: 173500 markings, 633338 edges, 869 markings/sec, 195 secs
lola: 177837 markings, 649456 edges, 867 markings/sec, 200 secs
lola: 182164 markings, 663636 edges, 865 markings/sec, 205 secs
lola: 186477 markings, 678945 edges, 863 markings/sec, 210 secs
lola: 190816 markings, 693901 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 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: 4334 markings, 15400 edges, 867 markings/sec, 0 secs
lola: 8660 markings, 30804 edges, 865 markings/sec, 5 secs
lola: 13021 markings, 46246 edges, 872 markings/sec, 10 secs
lola: 17349 markings, 61649 edges, 866 markings/sec, 15 secs
lola: 21655 markings, 77365 edges, 861 markings/sec, 20 secs
lola: 25982 markings, 92857 edges, 865 markings/sec, 25 secs
lola: 30300 markings, 108187 edges, 864 markings/sec, 30 secs
lola: 34615 markings, 124148 edges, 863 markings/sec, 35 secs
lola: 38946 markings, 139974 edges, 866 markings/sec, 40 secs
lola: 43213 markings, 154995 edges, 853 markings/sec, 45 secs
lola: 47527 markings, 170786 edges, 863 markings/sec, 50 secs
lola: 51851 markings, 186324 edges, 865 markings/sec, 55 secs
lola: 56129 markings, 201433 edges, 856 markings/sec, 60 secs
lola: 60400 markings, 216697 edges, 854 markings/sec, 65 secs
lola: 64650 markings, 232584 edges, 850 markings/sec, 70 secs
lola: 68900 markings, 247941 edges, 850 markings/sec, 75 secs
lola: 73146 markings, 263108 edges, 849 markings/sec, 80 secs
lola: 77402 markings, 278345 edges, 851 markings/sec, 85 secs
lola: 81651 markings, 293080 edges, 850 markings/sec, 90 secs
lola: 85899 markings, 308631 edges, 850 markings/sec, 95 secs
lola: 90136 markings, 324309 edges, 847 markings/sec, 100 secs
lola: 94395 markings, 339335 edges, 852 markings/sec, 105 secs
lola: 98662 markings, 355312 edges, 853 markings/sec, 110 secs
lola: 102934 markings, 370580 edges, 854 markings/sec, 115 secs
lola: 107202 markings, 386030 edges, 854 markings/sec, 120 secs
lola: 111492 markings, 402463 edges, 858 markings/sec, 125 secs
lola: 115777 markings, 417412 edges, 857 markings/sec, 130 secs
lola: 120092 markings, 433794 edges, 863 markings/sec, 135 secs
lola: 124391 markings, 449152 edges, 860 markings/sec, 140 secs
lola: 128684 markings, 463748 edges, 859 markings/sec, 145 secs
lola: 132967 markings, 479268 edges, 857 markings/sec, 150 secs
lola: 137303 markings, 494071 edges, 867 markings/sec, 155 secs
lola: 141606 markings, 509387 edges, 861 markings/sec, 160 secs
lola: 145901 markings, 524747 edges, 859 markings/sec, 165 secs
lola: 150195 markings, 539278 edges, 859 markings/sec, 170 secs
lola: 154476 markings, 554710 edges, 856 markings/sec, 175 secs
lola: 158835 markings, 569739 edges, 872 markings/sec, 180 secs
lola: 163154 markings, 585034 edges, 864 markings/sec, 185 secs
lola: 167446 markings, 600123 edges, 858 markings/sec, 190 secs
lola: 171733 markings, 615529 edges, 857 markings/sec, 195 secs
lola: 176018 markings, 630615 edges, 857 markings/sec, 200 secs
lola: 180307 markings, 646518 edges, 858 markings/sec, 205 secs
lola: 184584 markings, 661729 edges, 855 markings/sec, 210 secs
lola: 188864 markings, 676906 edges, 856 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: 4315 markings, 15010 edges, 863 markings/sec, 0 secs
lola: 8692 markings, 30137 edges, 875 markings/sec, 5 secs
lola: 13052 markings, 45905 edges, 872 markings/sec, 10 secs
lola: 17407 markings, 61132 edges, 871 markings/sec, 15 secs
lola: 21767 markings, 76198 edges, 872 markings/sec, 20 secs
lola: 26107 markings, 91854 edges, 868 markings/sec, 25 secs
lola: 30458 markings, 106810 edges, 870 markings/sec, 30 secs
lola: 34809 markings, 122510 edges, 870 markings/sec, 35 secs
lola: 39164 markings, 137198 edges, 871 markings/sec, 40 secs
lola: 43517 markings, 152525 edges, 871 markings/sec, 45 secs
lola: 47877 markings, 167746 edges, 872 markings/sec, 50 secs
lola: 52234 markings, 183124 edges, 871 markings/sec, 55 secs
lola: 56604 markings, 198267 edges, 874 markings/sec, 60 secs
lola: 60958 markings, 214006 edges, 871 markings/sec, 65 secs
lola: 65291 markings, 230424 edges, 867 markings/sec, 70 secs
lola: 69646 markings, 245501 edges, 871 markings/sec, 75 secs
lola: 73970 markings, 262377 edges, 865 markings/sec, 80 secs
lola: 78323 markings, 277819 edges, 871 markings/sec, 85 secs
lola: 82647 markings, 293900 edges, 865 markings/sec, 90 secs
lola: 86987 markings, 309731 edges, 868 markings/sec, 95 secs
lola: 91338 markings, 324746 edges, 870 markings/sec, 100 secs
lola: 95661 markings, 340015 edges, 865 markings/sec, 105 secs
lola: 99969 markings, 356551 edges, 862 markings/sec, 110 secs
lola: 104304 markings, 373178 edges, 867 markings/sec, 115 secs
lola: 108658 markings, 389162 edges, 871 markings/sec, 120 secs
lola: 112988 markings, 405967 edges, 866 markings/sec, 125 secs
lola: 117310 markings, 423263 edges, 864 markings/sec, 130 secs
lola: 121692 markings, 439564 edges, 876 markings/sec, 135 secs
lola: 126053 markings, 455269 edges, 872 markings/sec, 140 secs
lola: 130398 markings, 471108 edges, 869 markings/sec, 145 secs
lola: 134762 markings, 487454 edges, 873 markings/sec, 150 secs
lola: 139095 markings, 503351 edges, 867 markings/sec, 155 secs
lola: 143435 markings, 519150 edges, 868 markings/sec, 160 secs
lola: 147776 markings, 534454 edges, 868 markings/sec, 165 secs
lola: 152083 markings, 551081 edges, 861 markings/sec, 170 secs
lola: 156412 markings, 567442 edges, 866 markings/sec, 175 secs
lola: 160764 markings, 582665 edges, 870 markings/sec, 180 secs
lola: 165097 markings, 598175 edges, 867 markings/sec, 185 secs
lola: 169410 markings, 614311 edges, 863 markings/sec, 190 secs
lola: 173725 markings, 630680 edges, 863 markings/sec, 195 secs
lola: 178064 markings, 646581 edges, 868 markings/sec, 200 secs
lola: 182418 markings, 662741 edges, 871 markings/sec, 205 secs
lola: 186782 markings, 678709 edges, 873 markings/sec, 210 secs
lola: 191148 markings, 694614 edges, 873 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: 4279 markings, 14555 edges, 856 markings/sec, 0 secs
lola: 8621 markings, 30034 edges, 868 markings/sec, 5 secs
lola: 12929 markings, 44622 edges, 862 markings/sec, 10 secs
lola: 17241 markings, 58206 edges, 862 markings/sec, 15 secs
lola: 21527 markings, 73330 edges, 857 markings/sec, 20 secs
lola: 25796 markings, 88163 edges, 854 markings/sec, 25 secs
lola: 30047 markings, 103135 edges, 850 markings/sec, 30 secs
lola: 34312 markings, 117801 edges, 853 markings/sec, 35 secs
lola: 38572 markings, 132642 edges, 852 markings/sec, 40 secs
lola: 42808 markings, 148468 edges, 847 markings/sec, 45 secs
lola: 47048 markings, 164587 edges, 848 markings/sec, 50 secs
lola: 51282 markings, 179316 edges, 847 markings/sec, 55 secs
lola: 55550 markings, 192885 edges, 854 markings/sec, 60 secs
lola: 59804 markings, 207369 edges, 851 markings/sec, 65 secs
lola: 64054 markings, 222361 edges, 850 markings/sec, 70 secs
lola: 68285 markings, 237266 edges, 846 markings/sec, 75 secs
lola: 72531 markings, 251953 edges, 849 markings/sec, 80 secs
lola: 76800 markings, 265963 edges, 854 markings/sec, 85 secs
lola: 81065 markings, 280253 edges, 853 markings/sec, 90 secs
lola: 85386 markings, 294109 edges, 864 markings/sec, 95 secs
lola: 89704 markings, 309258 edges, 864 markings/sec, 100 secs
lola: 94014 markings, 324381 edges, 862 markings/sec, 105 secs
lola: 98352 markings, 339100 edges, 868 markings/sec, 110 secs
lola: 102683 markings, 352855 edges, 866 markings/sec, 115 secs
lola: 106954 markings, 367355 edges, 854 markings/sec, 120 secs
lola: 111178 markings, 381389 edges, 845 markings/sec, 125 secs
lola: 115402 markings, 396968 edges, 845 markings/sec, 130 secs
lola: 119658 markings, 411036 edges, 851 markings/sec, 135 secs
lola: 123948 markings, 426262 edges, 858 markings/sec, 140 secs
lola: 128234 markings, 440639 edges, 857 markings/sec, 145 secs
lola: 132505 markings, 454852 edges, 854 markings/sec, 150 secs
lola: 136788 markings, 469373 edges, 857 markings/sec, 155 secs
lola: 141064 markings, 484080 edges, 855 markings/sec, 160 secs
lola: 145355 markings, 497847 edges, 858 markings/sec, 165 secs
lola: 149626 markings, 512560 edges, 854 markings/sec, 170 secs
lola: 153886 markings, 527582 edges, 852 markings/sec, 175 secs
lola: 158163 markings, 542537 edges, 855 markings/sec, 180 secs
lola: 162461 markings, 556425 edges, 860 markings/sec, 185 secs
lola: 166745 markings, 570773 edges, 857 markings/sec, 190 secs
lola: 171050 markings, 583421 edges, 861 markings/sec, 195 secs
lola: 175373 markings, 596489 edges, 865 markings/sec, 200 secs
lola: 179703 markings, 610228 edges, 866 markings/sec, 205 secs
lola: 184002 markings, 623361 edges, 860 markings/sec, 210 secs
lola: 188305 markings, 636815 edges, 861 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 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: 4329 markings, 14974 edges, 866 markings/sec, 0 secs
lola: 8681 markings, 30867 edges, 870 markings/sec, 5 secs
lola: 13036 markings, 46538 edges, 871 markings/sec, 10 secs
lola: 17404 markings, 61310 edges, 874 markings/sec, 15 secs
lola: 21769 markings, 75427 edges, 873 markings/sec, 20 secs
lola: 26125 markings, 90211 edges, 871 markings/sec, 25 secs
lola: 30486 markings, 105317 edges, 872 markings/sec, 30 secs
lola: 34833 markings, 120639 edges, 869 markings/sec, 35 secs
lola: 39183 markings, 135778 edges, 870 markings/sec, 40 secs
lola: 43540 markings, 150569 edges, 871 markings/sec, 45 secs
lola: 47888 markings, 165856 edges, 870 markings/sec, 50 secs
lola: 52228 markings, 181704 edges, 868 markings/sec, 55 secs
lola: 56567 markings, 197363 edges, 868 markings/sec, 60 secs
lola: 60902 markings, 213541 edges, 867 markings/sec, 65 secs
lola: 65273 markings, 228324 edges, 874 markings/sec, 70 secs
lola: 69626 markings, 243327 edges, 871 markings/sec, 75 secs
lola: 73963 markings, 259043 edges, 867 markings/sec, 80 secs
lola: 78272 markings, 274648 edges, 862 markings/sec, 85 secs
lola: 82600 markings, 288918 edges, 866 markings/sec, 90 secs
lola: 86943 markings, 303054 edges, 869 markings/sec, 95 secs
lola: 91276 markings, 318759 edges, 867 markings/sec, 100 secs
lola: 95600 markings, 334075 edges, 865 markings/sec, 105 secs
lola: 99945 markings, 347922 edges, 869 markings/sec, 110 secs
lola: 104289 markings, 361832 edges, 869 markings/sec, 115 secs
lola: 108637 markings, 375546 edges, 870 markings/sec, 120 secs
lola: 112962 markings, 390508 edges, 865 markings/sec, 125 secs
lola: 117292 markings, 404720 edges, 866 markings/sec, 130 secs
lola: 121622 markings, 419165 edges, 866 markings/sec, 135 secs
lola: 125955 markings, 433168 edges, 867 markings/sec, 140 secs
lola: 130275 markings, 448211 edges, 864 markings/sec, 145 secs
lola: 134593 markings, 463282 edges, 864 markings/sec, 150 secs
lola: 138921 markings, 478173 edges, 866 markings/sec, 155 secs
lola: 143251 markings, 492688 edges, 866 markings/sec, 160 secs
lola: 147565 markings, 507636 edges, 863 markings/sec, 165 secs
lola: 151911 markings, 521885 edges, 869 markings/sec, 170 secs
lola: 156260 markings, 536809 edges, 870 markings/sec, 175 secs
lola: 160621 markings, 551316 edges, 872 markings/sec, 180 secs
lola: 164959 markings, 567130 edges, 868 markings/sec, 185 secs
lola: 169318 markings, 581374 edges, 872 markings/sec, 190 secs
lola: 173643 markings, 595658 edges, 865 markings/sec, 195 secs
lola: 177978 markings, 610279 edges, 867 markings/sec, 200 secs
lola: 182299 markings, 626474 edges, 864 markings/sec, 205 secs
lola: 186637 markings, 641160 edges, 868 markings/sec, 210 secs
lola: 190977 markings, 656169 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 12 will run for 221 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: 4372 markings, 15433 edges, 874 markings/sec, 0 secs
lola: 8727 markings, 31167 edges, 871 markings/sec, 5 secs
lola: 13081 markings, 46750 edges, 871 markings/sec, 10 secs
lola: 17432 markings, 61599 edges, 870 markings/sec, 15 secs
lola: 21766 markings, 77700 edges, 867 markings/sec, 20 secs
lola: 26108 markings, 93278 edges, 868 markings/sec, 25 secs
lola: 30436 markings, 108580 edges, 866 markings/sec, 30 secs
lola: 34774 markings, 124644 edges, 868 markings/sec, 35 secs
lola: 39059 markings, 140318 edges, 857 markings/sec, 40 secs
lola: 43365 markings, 155699 edges, 861 markings/sec, 45 secs
lola: 47643 markings, 171346 edges, 856 markings/sec, 50 secs
lola: 51909 markings, 186708 edges, 853 markings/sec, 55 secs
lola: 56176 markings, 202312 edges, 853 markings/sec, 60 secs
lola: 60445 markings, 217954 edges, 854 markings/sec, 65 secs
lola: 64714 markings, 233044 edges, 854 markings/sec, 70 secs
lola: 68985 markings, 248644 edges, 854 markings/sec, 75 secs
lola: 73251 markings, 263998 edges, 853 markings/sec, 80 secs
lola: 77511 markings, 279699 edges, 852 markings/sec, 85 secs
lola: 81774 markings, 295203 edges, 853 markings/sec, 90 secs
lola: 86046 markings, 310452 edges, 854 markings/sec, 95 secs
lola: 90347 markings, 326018 edges, 860 markings/sec, 100 secs
lola: 94649 markings, 341794 edges, 860 markings/sec, 105 secs
lola: 98974 markings, 357479 edges, 865 markings/sec, 110 secs
lola: 103305 markings, 373358 edges, 866 markings/sec, 115 secs
lola: 107615 markings, 388053 edges, 862 markings/sec, 120 secs
lola: 111919 markings, 403676 edges, 861 markings/sec, 125 secs
lola: 116238 markings, 418498 edges, 864 markings/sec, 130 secs
lola: 120542 markings, 432802 edges, 861 markings/sec, 135 secs
lola: 124846 markings, 448154 edges, 861 markings/sec, 140 secs
lola: 129151 markings, 462919 edges, 861 markings/sec, 145 secs
lola: 133467 markings, 478413 edges, 863 markings/sec, 150 secs
lola: 137804 markings, 493596 edges, 867 markings/sec, 155 secs
lola: 142094 markings, 509648 edges, 858 markings/sec, 160 secs
lola: 146395 markings, 524842 edges, 860 markings/sec, 165 secs
lola: 150718 markings, 540605 edges, 865 markings/sec, 170 secs
lola: 155005 markings, 555853 edges, 857 markings/sec, 175 secs
lola: 159288 markings, 571062 edges, 857 markings/sec, 180 secs
lola: 163593 markings, 585580 edges, 861 markings/sec, 185 secs
lola: 167881 markings, 601195 edges, 858 markings/sec, 190 secs
lola: 172137 markings, 616979 edges, 851 markings/sec, 195 secs
lola: 176400 markings, 632542 edges, 853 markings/sec, 200 secs
lola: 180654 markings, 647709 edges, 851 markings/sec, 205 secs
lola: 184944 markings, 662797 edges, 858 markings/sec, 210 secs
lola: 189229 markings, 678139 edges, 857 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 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: 4300 markings, 14898 edges, 860 markings/sec, 0 secs
lola: 8615 markings, 30009 edges, 863 markings/sec, 5 secs
lola: 12901 markings, 45172 edges, 857 markings/sec, 10 secs
lola: 17206 markings, 58492 edges, 861 markings/sec, 15 secs
lola: 21502 markings, 72878 edges, 859 markings/sec, 20 secs
lola: 25782 markings, 87319 edges, 856 markings/sec, 25 secs
lola: 30082 markings, 100590 edges, 860 markings/sec, 30 secs
lola: 34369 markings, 114922 edges, 857 markings/sec, 35 secs
lola: 38653 markings, 129624 edges, 857 markings/sec, 40 secs
lola: 42952 markings, 143477 edges, 860 markings/sec, 45 secs
lola: 47217 markings, 159474 edges, 853 markings/sec, 50 secs
lola: 51488 markings, 174864 edges, 854 markings/sec, 55 secs
lola: 55760 markings, 188313 edges, 854 markings/sec, 60 secs
lola: 60028 markings, 202682 edges, 854 markings/sec, 65 secs
lola: 64326 markings, 216119 edges, 860 markings/sec, 70 secs
lola: 68595 markings, 229305 edges, 854 markings/sec, 75 secs
lola: 72849 markings, 244161 edges, 851 markings/sec, 80 secs
lola: 77153 markings, 257551 edges, 861 markings/sec, 85 secs
lola: 81426 markings, 272529 edges, 855 markings/sec, 90 secs
lola: 85734 markings, 286411 edges, 862 markings/sec, 95 secs
lola: 90045 markings, 300933 edges, 862 markings/sec, 100 secs
lola: 94323 markings, 317174 edges, 856 markings/sec, 105 secs
lola: 98639 markings, 331745 edges, 863 markings/sec, 110 secs
lola: 102990 markings, 345573 edges, 870 markings/sec, 115 secs
lola: 107307 markings, 359800 edges, 863 markings/sec, 120 secs
lola: 111618 markings, 373501 edges, 862 markings/sec, 125 secs
lola: 115945 markings, 387099 edges, 865 markings/sec, 130 secs
lola: 120247 markings, 401851 edges, 860 markings/sec, 135 secs
lola: 124556 markings, 415094 edges, 862 markings/sec, 140 secs
lola: 128865 markings, 428532 edges, 862 markings/sec, 145 secs
lola: 133158 markings, 442206 edges, 859 markings/sec, 150 secs
lola: 137444 markings, 455633 edges, 857 markings/sec, 155 secs
lola: 141716 markings, 469963 edges, 854 markings/sec, 160 secs
lola: 145983 markings, 483592 edges, 853 markings/sec, 165 secs
lola: 150256 markings, 497198 edges, 855 markings/sec, 170 secs
lola: 154541 markings, 510860 edges, 857 markings/sec, 175 secs
lola: 158848 markings, 523982 edges, 861 markings/sec, 180 secs
lola: 163139 markings, 537624 edges, 858 markings/sec, 185 secs
lola: 167456 markings, 550791 edges, 863 markings/sec, 190 secs
lola: 171754 markings, 564849 edges, 860 markings/sec, 195 secs
lola: 176051 markings, 578664 edges, 859 markings/sec, 200 secs
lola: 180359 markings, 591935 edges, 862 markings/sec, 205 secs
lola: 184666 markings, 605361 edges, 861 markings/sec, 210 secs
lola: 188957 markings, 619578 edges, 858 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: 4316 markings, 15682 edges, 863 markings/sec, 0 secs
lola: 8701 markings, 31426 edges, 877 markings/sec, 5 secs
lola: 13108 markings, 47338 edges, 881 markings/sec, 10 secs
lola: 17493 markings, 63182 edges, 877 markings/sec, 15 secs
lola: 21835 markings, 79119 edges, 868 markings/sec, 20 secs
lola: 26188 markings, 94812 edges, 871 markings/sec, 25 secs
lola: 30562 markings, 109622 edges, 875 markings/sec, 30 secs
lola: 34918 markings, 125261 edges, 871 markings/sec, 35 secs
lola: 39295 markings, 140437 edges, 875 markings/sec, 40 secs
lola: 43661 markings, 156046 edges, 873 markings/sec, 45 secs
lola: 48025 markings, 171622 edges, 873 markings/sec, 50 secs
lola: 52399 markings, 187469 edges, 875 markings/sec, 55 secs
lola: 56763 markings, 203325 edges, 873 markings/sec, 60 secs
lola: 61125 markings, 218182 edges, 872 markings/sec, 65 secs
lola: 65470 markings, 234191 edges, 869 markings/sec, 70 secs
lola: 69821 markings, 250372 edges, 870 markings/sec, 75 secs
lola: 74193 markings, 266712 edges, 874 markings/sec, 80 secs
lola: 78597 markings, 281470 edges, 881 markings/sec, 85 secs
lola: 82963 markings, 296670 edges, 873 markings/sec, 90 secs
lola: 87334 markings, 312113 edges, 874 markings/sec, 95 secs
lola: 91709 markings, 327122 edges, 875 markings/sec, 100 secs
lola: 96069 markings, 341827 edges, 872 markings/sec, 105 secs
lola: 100455 markings, 356888 edges, 877 markings/sec, 110 secs
lola: 104837 markings, 371769 edges, 876 markings/sec, 115 secs
lola: 109191 markings, 387131 edges, 871 markings/sec, 120 secs
lola: 113532 markings, 402054 edges, 868 markings/sec, 125 secs
lola: 117859 markings, 418048 edges, 865 markings/sec, 130 secs
lola: 122206 markings, 433411 edges, 869 markings/sec, 135 secs
lola: 126542 markings, 449303 edges, 867 markings/sec, 140 secs
lola: 130889 markings, 465389 edges, 869 markings/sec, 145 secs
lola: 135222 markings, 480299 edges, 867 markings/sec, 150 secs
lola: 139623 markings, 494882 edges, 880 markings/sec, 155 secs
lola: 143990 markings, 509882 edges, 873 markings/sec, 160 secs
lola: 148345 markings, 525483 edges, 871 markings/sec, 165 secs
lola: 152693 markings, 540149 edges, 870 markings/sec, 170 secs
lola: 157099 markings, 554845 edges, 881 markings/sec, 175 secs
lola: 161466 markings, 570089 edges, 873 markings/sec, 180 secs
lola: 165855 markings, 584763 edges, 878 markings/sec, 185 secs
lola: 170271 markings, 598981 edges, 883 markings/sec, 190 secs
lola: 174640 markings, 613323 edges, 874 markings/sec, 195 secs
lola: 179000 markings, 627862 edges, 872 markings/sec, 200 secs
lola: 183373 markings, 642568 edges, 875 markings/sec, 205 secs
lola: 187760 markings, 657245 edges, 877 markings/sec, 210 secs
lola: 192161 markings, 671473 edges, 880 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__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: 4394 markings, 15766 edges, 879 markings/sec, 0 secs
lola: 8775 markings, 31483 edges, 876 markings/sec, 5 secs
lola: 13139 markings, 48164 edges, 873 markings/sec, 10 secs
lola: 17503 markings, 64587 edges, 873 markings/sec, 15 secs
lola: 21867 markings, 80328 edges, 873 markings/sec, 20 secs
lola: 26245 markings, 96385 edges, 876 markings/sec, 25 secs
lola: 30607 markings, 113276 edges, 872 markings/sec, 30 secs
lola: 34986 markings, 129149 edges, 876 markings/sec, 35 secs
lola: 39369 markings, 145612 edges, 877 markings/sec, 40 secs
lola: 43731 markings, 161650 edges, 872 markings/sec, 45 secs
lola: 48093 markings, 178075 edges, 872 markings/sec, 50 secs
lola: 52430 markings, 193898 edges, 867 markings/sec, 55 secs
lola: 56772 markings, 210110 edges, 868 markings/sec, 60 secs
lola: 61132 markings, 226680 edges, 872 markings/sec, 65 secs
lola: 65483 markings, 243146 edges, 870 markings/sec, 70 secs
lola: 69853 markings, 259269 edges, 874 markings/sec, 75 secs
lola: 74220 markings, 275489 edges, 873 markings/sec, 80 secs
lola: 78587 markings, 291425 edges, 873 markings/sec, 85 secs
lola: 82969 markings, 306248 edges, 876 markings/sec, 90 secs
lola: 87343 markings, 323042 edges, 875 markings/sec, 95 secs
lola: 91737 markings, 337852 edges, 879 markings/sec, 100 secs
lola: 96110 markings, 353243 edges, 875 markings/sec, 105 secs
lola: 100484 markings, 368788 edges, 875 markings/sec, 110 secs
lola: 104848 markings, 385077 edges, 873 markings/sec, 115 secs
lola: 109216 markings, 401515 edges, 874 markings/sec, 120 secs
lola: 113582 markings, 418140 edges, 873 markings/sec, 125 secs
lola: 117932 markings, 435076 edges, 870 markings/sec, 130 secs
lola: 122260 markings, 451034 edges, 866 markings/sec, 135 secs
lola: 126601 markings, 468107 edges, 868 markings/sec, 140 secs
lola: 130963 markings, 483687 edges, 872 markings/sec, 145 secs
lola: 135303 markings, 500084 edges, 868 markings/sec, 150 secs
lola: 139625 markings, 516264 edges, 864 markings/sec, 155 secs
lola: 143938 markings, 533150 edges, 863 markings/sec, 160 secs
lola: 148272 markings, 549182 edges, 867 markings/sec, 165 secs
lola: 152606 markings, 566904 edges, 867 markings/sec, 170 secs
lola: 156990 markings, 582315 edges, 877 markings/sec, 175 secs
lola: 161365 markings, 597411 edges, 875 markings/sec, 180 secs
lola: 165726 markings, 613484 edges, 872 markings/sec, 185 secs
lola: 170084 markings, 628814 edges, 872 markings/sec, 190 secs
lola: 174443 markings, 644208 edges, 872 markings/sec, 195 secs
lola: 178791 markings, 660308 edges, 870 markings/sec, 200 secs
lola: 183133 markings, 676487 edges, 868 markings/sec, 205 secs
lola: 187474 markings, 692940 edges, 868 markings/sec, 210 secs
lola: 191820 markings, 709841 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: RESULT
lola:
SUMMARY: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
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 1496465622481
--------------------
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="S_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/S_Diffusion2D-PT-D40N150.tgz
mv S_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 S_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 r098-ebro-149488455800398"
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 '
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 ;