About the Execution of LoLA for S_Diffusion2D-PT-D40N010
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
599.380 | 3540330.00 | 3556108.00 | 497.60 | ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? | 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-D40N010, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r098-ebro-149488455800371
=====================================================================
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of positive values
NUM_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME Diffusion2D-PT-D40N010-UpperBounds-0
FORMULA_NAME Diffusion2D-PT-D40N010-UpperBounds-1
FORMULA_NAME Diffusion2D-PT-D40N010-UpperBounds-10
FORMULA_NAME Diffusion2D-PT-D40N010-UpperBounds-11
FORMULA_NAME Diffusion2D-PT-D40N010-UpperBounds-12
FORMULA_NAME Diffusion2D-PT-D40N010-UpperBounds-13
FORMULA_NAME Diffusion2D-PT-D40N010-UpperBounds-14
FORMULA_NAME Diffusion2D-PT-D40N010-UpperBounds-15
FORMULA_NAME Diffusion2D-PT-D40N010-UpperBounds-2
FORMULA_NAME Diffusion2D-PT-D40N010-UpperBounds-3
FORMULA_NAME Diffusion2D-PT-D40N010-UpperBounds-4
FORMULA_NAME Diffusion2D-PT-D40N010-UpperBounds-5
FORMULA_NAME Diffusion2D-PT-D40N010-UpperBounds-6
FORMULA_NAME Diffusion2D-PT-D40N010-UpperBounds-7
FORMULA_NAME Diffusion2D-PT-D40N010-UpperBounds-8
FORMULA_NAME Diffusion2D-PT-D40N010-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1496460345272
Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_Diffusion2D-PT-D40N010: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
S_Diffusion2D-PT-D40N010: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_Diffusion2D-PT-D40N010 @ 3540 seconds
----- Start make result stdout -----
lola: LoLA will run for 3540 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 13924/65536 symbol table entries, 3777 collisions
lola: preprocessing...
lola: finding significant places
lola: 1600 places, 12324 transitions, 1599 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1600 transition conflict sets
lola: TASK
lola: reading formula from Diffusion2D-PT-D40N010-UpperBounds.task
lola: MAX(cAMP__34_40_) : MAX(cAMP__20_31_) : MAX(cAMP__18_13_) : MAX(cAMP__32_18_) : MAX(cAMP__26_15_) : MAX(cAMP__12_13_) : MAX(cAMP__12_5_) : MAX(cAMP__16_5_) : MAX(cAMP__9_34_) : MAX(cAMP__25_21_) : MAX(cAMP__37_10_) : MAX(cAMP__36_31_) : MAX(cAMP__33_13_) : MAX(cAMP__2_38_) : MAX(cAMP__19_17_) : MAX(cAMP__12_4_)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__34_40_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 6396 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 4339 markings, 14932 edges, 868 markings/sec, 0 secs
lola: 8723 markings, 29373 edges, 877 markings/sec, 5 secs
lola: 13106 markings, 44060 edges, 877 markings/sec, 10 secs
lola: 17502 markings, 57195 edges, 879 markings/sec, 15 secs
lola: 21871 markings, 70914 edges, 874 markings/sec, 20 secs
lola: 26221 markings, 86054 edges, 870 markings/sec, 25 secs
lola: 30485 markings, 100395 edges, 853 markings/sec, 30 secs
lola: 34627 markings, 113266 edges, 828 markings/sec, 35 secs
lola: 38966 markings, 126887 edges, 868 markings/sec, 40 secs
lola: 43278 markings, 141873 edges, 862 markings/sec, 45 secs
lola: 47586 markings, 156359 edges, 862 markings/sec, 50 secs
lola: 51935 markings, 169985 edges, 870 markings/sec, 55 secs
lola: 56274 markings, 183583 edges, 868 markings/sec, 60 secs
lola: 60582 markings, 198442 edges, 862 markings/sec, 65 secs
lola: 64889 markings, 212918 edges, 861 markings/sec, 70 secs
lola: 69228 markings, 226616 edges, 868 markings/sec, 75 secs
lola: 73583 markings, 240202 edges, 871 markings/sec, 80 secs
lola: 77913 markings, 255134 edges, 866 markings/sec, 85 secs
lola: 82226 markings, 269559 edges, 863 markings/sec, 90 secs
lola: 86563 markings, 283388 edges, 867 markings/sec, 95 secs
lola: 90897 markings, 296889 edges, 867 markings/sec, 100 secs
lola: 95224 markings, 310463 edges, 865 markings/sec, 105 secs
lola: 99614 markings, 322930 edges, 878 markings/sec, 110 secs
lola: 103994 markings, 335762 edges, 876 markings/sec, 115 secs
lola: 108350 markings, 348973 edges, 871 markings/sec, 120 secs
lola: 112702 markings, 363623 edges, 870 markings/sec, 125 secs
lola: 117052 markings, 377270 edges, 870 markings/sec, 130 secs
lola: 121411 markings, 390467 edges, 872 markings/sec, 135 secs
lola: 125769 markings, 404186 edges, 872 markings/sec, 140 secs
lola: 130133 markings, 418628 edges, 873 markings/sec, 145 secs
lola: 134488 markings, 432464 edges, 871 markings/sec, 150 secs
lola: 138836 markings, 447630 edges, 870 markings/sec, 155 secs
lola: 143178 markings, 462387 edges, 868 markings/sec, 160 secs
lola: 147519 markings, 476079 edges, 868 markings/sec, 165 secs
lola: 151847 markings, 489604 edges, 866 markings/sec, 170 secs
lola: 156148 markings, 503260 edges, 860 markings/sec, 175 secs
lola: 160439 markings, 517445 edges, 858 markings/sec, 180 secs
lola: 164790 markings, 531970 edges, 870 markings/sec, 185 secs
lola: 169121 markings, 546511 edges, 866 markings/sec, 190 secs
lola: 173483 markings, 559764 edges, 872 markings/sec, 195 secs
lola: 177790 markings, 574428 edges, 861 markings/sec, 200 secs
lola: 182157 markings, 588336 edges, 873 markings/sec, 205 secs
lola: 186504 markings, 602304 edges, 869 markings/sec, 210 secs
lola: 190902 markings, 615674 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 1 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__20_31_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 6396 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 4313 markings, 14867 edges, 863 markings/sec, 0 secs
lola: 8690 markings, 30076 edges, 875 markings/sec, 5 secs
lola: 13050 markings, 44284 edges, 872 markings/sec, 10 secs
lola: 17400 markings, 59185 edges, 870 markings/sec, 15 secs
lola: 21756 markings, 75298 edges, 871 markings/sec, 20 secs
lola: 26137 markings, 90660 edges, 876 markings/sec, 25 secs
lola: 30503 markings, 106473 edges, 873 markings/sec, 30 secs
lola: 34876 markings, 123009 edges, 875 markings/sec, 35 secs
lola: 39242 markings, 138716 edges, 873 markings/sec, 40 secs
lola: 43588 markings, 153582 edges, 869 markings/sec, 45 secs
lola: 47843 markings, 168999 edges, 851 markings/sec, 50 secs
lola: 52221 markings, 183722 edges, 876 markings/sec, 55 secs
lola: 56551 markings, 198860 edges, 866 markings/sec, 60 secs
lola: 60894 markings, 213326 edges, 869 markings/sec, 65 secs
lola: 65249 markings, 229009 edges, 871 markings/sec, 70 secs
lola: 69590 markings, 244587 edges, 868 markings/sec, 75 secs
lola: 73923 markings, 260455 edges, 867 markings/sec, 80 secs
lola: 78266 markings, 275807 edges, 869 markings/sec, 85 secs
lola: 82606 markings, 291392 edges, 868 markings/sec, 90 secs
lola: 86968 markings, 305458 edges, 872 markings/sec, 95 secs
lola: 91339 markings, 321408 edges, 874 markings/sec, 100 secs
lola: 95725 markings, 336908 edges, 877 markings/sec, 105 secs
lola: 100097 markings, 352898 edges, 874 markings/sec, 110 secs
lola: 104457 markings, 369085 edges, 872 markings/sec, 115 secs
lola: 108815 markings, 384645 edges, 872 markings/sec, 120 secs
lola: 113178 markings, 400357 edges, 873 markings/sec, 125 secs
lola: 117530 markings, 415861 edges, 870 markings/sec, 130 secs
lola: 121899 markings, 431715 edges, 874 markings/sec, 135 secs
lola: 126273 markings, 447386 edges, 875 markings/sec, 140 secs
lola: 130625 markings, 462355 edges, 870 markings/sec, 145 secs
lola: 134987 markings, 478240 edges, 872 markings/sec, 150 secs
lola: 139341 markings, 493758 edges, 871 markings/sec, 155 secs
lola: 143707 markings, 510173 edges, 873 markings/sec, 160 secs
lola: 148080 markings, 524743 edges, 875 markings/sec, 165 secs
lola: 152444 markings, 539447 edges, 873 markings/sec, 170 secs
lola: 156804 markings, 555521 edges, 872 markings/sec, 175 secs
lola: 161185 markings, 569178 edges, 876 markings/sec, 180 secs
lola: 165566 markings, 582467 edges, 876 markings/sec, 185 secs
lola: 169943 markings, 596085 edges, 875 markings/sec, 190 secs
lola: 174275 markings, 611259 edges, 866 markings/sec, 195 secs
lola: 178604 markings, 624616 edges, 866 markings/sec, 200 secs
lola: 182948 markings, 638564 edges, 869 markings/sec, 205 secs
lola: 187273 markings, 653555 edges, 865 markings/sec, 210 secs
lola: 191606 markings, 668776 edges, 867 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__18_13_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 6396 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 4346 markings, 14959 edges, 869 markings/sec, 0 secs
lola: 8708 markings, 30406 edges, 872 markings/sec, 5 secs
lola: 13068 markings, 45786 edges, 872 markings/sec, 10 secs
lola: 17421 markings, 60861 edges, 871 markings/sec, 15 secs
lola: 21780 markings, 76400 edges, 872 markings/sec, 20 secs
lola: 26135 markings, 92261 edges, 871 markings/sec, 25 secs
lola: 30504 markings, 107800 edges, 874 markings/sec, 30 secs
lola: 34865 markings, 123420 edges, 872 markings/sec, 35 secs
lola: 39226 markings, 139016 edges, 872 markings/sec, 40 secs
lola: 43582 markings, 153867 edges, 871 markings/sec, 45 secs
lola: 47914 markings, 168266 edges, 866 markings/sec, 50 secs
lola: 52269 markings, 182666 edges, 871 markings/sec, 55 secs
lola: 56595 markings, 197339 edges, 865 markings/sec, 60 secs
lola: 60920 markings, 212866 edges, 865 markings/sec, 65 secs
lola: 65246 markings, 229033 edges, 865 markings/sec, 70 secs
lola: 69596 markings, 244542 edges, 870 markings/sec, 75 secs
lola: 73892 markings, 261325 edges, 859 markings/sec, 80 secs
lola: 78263 markings, 277023 edges, 874 markings/sec, 85 secs
lola: 82566 markings, 294475 edges, 861 markings/sec, 90 secs
lola: 86902 markings, 309634 edges, 867 markings/sec, 95 secs
lola: 91247 markings, 324095 edges, 869 markings/sec, 100 secs
lola: 95592 markings, 338677 edges, 869 markings/sec, 105 secs
lola: 99904 markings, 353453 edges, 862 markings/sec, 110 secs
lola: 104203 markings, 368551 edges, 860 markings/sec, 115 secs
lola: 108493 markings, 384589 edges, 858 markings/sec, 120 secs
lola: 112819 markings, 400350 edges, 865 markings/sec, 125 secs
lola: 117119 markings, 416375 edges, 860 markings/sec, 130 secs
lola: 121440 markings, 431481 edges, 864 markings/sec, 135 secs
lola: 125807 markings, 447136 edges, 873 markings/sec, 140 secs
lola: 130147 markings, 462288 edges, 868 markings/sec, 145 secs
lola: 134445 markings, 477799 edges, 860 markings/sec, 150 secs
lola: 138716 markings, 494906 edges, 854 markings/sec, 155 secs
lola: 143008 markings, 509852 edges, 858 markings/sec, 160 secs
lola: 147300 markings, 524773 edges, 858 markings/sec, 165 secs
lola: 151571 markings, 541015 edges, 854 markings/sec, 170 secs
lola: 155878 markings, 557652 edges, 861 markings/sec, 175 secs
lola: 160139 markings, 575657 edges, 852 markings/sec, 180 secs
lola: 164412 markings, 590843 edges, 855 markings/sec, 185 secs
lola: 168740 markings, 606737 edges, 866 markings/sec, 190 secs
lola: 173048 markings, 622641 edges, 862 markings/sec, 195 secs
lola: 177346 markings, 639228 edges, 860 markings/sec, 200 secs
lola: 181591 markings, 656456 edges, 849 markings/sec, 205 secs
lola: 185907 markings, 671846 edges, 863 markings/sec, 210 secs
lola: 190177 markings, 687756 edges, 854 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__32_18_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 6396 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 4395 markings, 15097 edges, 879 markings/sec, 0 secs
lola: 8786 markings, 30972 edges, 878 markings/sec, 5 secs
lola: 13167 markings, 46531 edges, 876 markings/sec, 10 secs
lola: 17510 markings, 61819 edges, 869 markings/sec, 15 secs
lola: 21895 markings, 75948 edges, 877 markings/sec, 20 secs
lola: 26261 markings, 90501 edges, 873 markings/sec, 25 secs
lola: 30642 markings, 106414 edges, 876 markings/sec, 30 secs
lola: 35037 markings, 121301 edges, 879 markings/sec, 35 secs
lola: 39444 markings, 136556 edges, 881 markings/sec, 40 secs
lola: 43859 markings, 151417 edges, 883 markings/sec, 45 secs
lola: 48252 markings, 166520 edges, 879 markings/sec, 50 secs
lola: 52655 markings, 181220 edges, 881 markings/sec, 55 secs
lola: 57026 markings, 196167 edges, 874 markings/sec, 60 secs
lola: 61425 markings, 210656 edges, 880 markings/sec, 65 secs
lola: 65847 markings, 225139 edges, 884 markings/sec, 70 secs
lola: 70274 markings, 240746 edges, 885 markings/sec, 75 secs
lola: 74692 markings, 256280 edges, 884 markings/sec, 80 secs
lola: 79085 markings, 271381 edges, 879 markings/sec, 85 secs
lola: 83481 markings, 285817 edges, 879 markings/sec, 90 secs
lola: 87849 markings, 300678 edges, 874 markings/sec, 95 secs
lola: 92231 markings, 315128 edges, 876 markings/sec, 100 secs
lola: 96636 markings, 329736 edges, 881 markings/sec, 105 secs
lola: 101053 markings, 344358 edges, 883 markings/sec, 110 secs
lola: 105466 markings, 359280 edges, 883 markings/sec, 115 secs
lola: 109898 markings, 373882 edges, 886 markings/sec, 120 secs
lola: 114293 markings, 388353 edges, 879 markings/sec, 125 secs
lola: 118700 markings, 402768 edges, 881 markings/sec, 130 secs
lola: 123102 markings, 418189 edges, 880 markings/sec, 135 secs
lola: 127508 markings, 433554 edges, 881 markings/sec, 140 secs
lola: 131908 markings, 448645 edges, 880 markings/sec, 145 secs
lola: 136309 markings, 463633 edges, 880 markings/sec, 150 secs
lola: 140699 markings, 479387 edges, 878 markings/sec, 155 secs
lola: 145042 markings, 494123 edges, 869 markings/sec, 160 secs
lola: 149427 markings, 508602 edges, 877 markings/sec, 165 secs
lola: 153847 markings, 523698 edges, 884 markings/sec, 170 secs
lola: 158246 markings, 539113 edges, 880 markings/sec, 175 secs
lola: 162637 markings, 555514 edges, 878 markings/sec, 180 secs
lola: 167085 markings, 570263 edges, 890 markings/sec, 185 secs
lola: 171500 markings, 585489 edges, 883 markings/sec, 190 secs
lola: 175900 markings, 601232 edges, 880 markings/sec, 195 secs
lola: 180328 markings, 616267 edges, 886 markings/sec, 200 secs
lola: 184722 markings, 631280 edges, 879 markings/sec, 205 secs
lola: 189099 markings, 646461 edges, 875 markings/sec, 210 secs
lola: 193478 markings, 661710 edges, 876 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__26_15_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 6396 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 4337 markings, 15169 edges, 867 markings/sec, 0 secs
lola: 8729 markings, 29716 edges, 878 markings/sec, 5 secs
lola: 13030 markings, 44758 edges, 860 markings/sec, 10 secs
lola: 17421 markings, 59694 edges, 878 markings/sec, 15 secs
lola: 21803 markings, 74498 edges, 876 markings/sec, 20 secs
lola: 26184 markings, 90024 edges, 876 markings/sec, 25 secs
lola: 30549 markings, 105967 edges, 873 markings/sec, 30 secs
lola: 34898 markings, 121831 edges, 870 markings/sec, 35 secs
lola: 39227 markings, 137353 edges, 866 markings/sec, 40 secs
lola: 43569 markings, 152191 edges, 868 markings/sec, 45 secs
lola: 47931 markings, 167757 edges, 872 markings/sec, 50 secs
lola: 52322 markings, 182528 edges, 878 markings/sec, 55 secs
lola: 56718 markings, 196660 edges, 879 markings/sec, 60 secs
lola: 61137 markings, 210938 edges, 884 markings/sec, 65 secs
lola: 65549 markings, 225466 edges, 882 markings/sec, 70 secs
lola: 69894 markings, 241199 edges, 869 markings/sec, 75 secs
lola: 74208 markings, 256271 edges, 863 markings/sec, 80 secs
lola: 78536 markings, 271018 edges, 866 markings/sec, 85 secs
lola: 82885 markings, 285157 edges, 870 markings/sec, 90 secs
lola: 87212 markings, 299829 edges, 865 markings/sec, 95 secs
lola: 91571 markings, 314692 edges, 872 markings/sec, 100 secs
lola: 95887 markings, 329400 edges, 863 markings/sec, 105 secs
lola: 100196 markings, 343611 edges, 862 markings/sec, 110 secs
lola: 104539 markings, 357463 edges, 869 markings/sec, 115 secs
lola: 108893 markings, 371673 edges, 871 markings/sec, 120 secs
lola: 113231 markings, 386201 edges, 868 markings/sec, 125 secs
lola: 117589 markings, 400345 edges, 872 markings/sec, 130 secs
lola: 121907 markings, 415622 edges, 864 markings/sec, 135 secs
lola: 126215 markings, 431468 edges, 862 markings/sec, 140 secs
lola: 130520 markings, 446185 edges, 861 markings/sec, 145 secs
lola: 134884 markings, 460584 edges, 873 markings/sec, 150 secs
lola: 139243 markings, 475462 edges, 872 markings/sec, 155 secs
lola: 143621 markings, 489952 edges, 876 markings/sec, 160 secs
lola: 147985 markings, 504439 edges, 873 markings/sec, 165 secs
lola: 152338 markings, 518721 edges, 871 markings/sec, 170 secs
lola: 156636 markings, 532710 edges, 860 markings/sec, 175 secs
lola: 160967 markings, 546871 edges, 866 markings/sec, 180 secs
lola: 165296 markings, 561131 edges, 866 markings/sec, 185 secs
lola: 169626 markings, 576227 edges, 866 markings/sec, 190 secs
lola: 173990 markings, 591005 edges, 873 markings/sec, 195 secs
lola: 178367 markings, 604808 edges, 875 markings/sec, 200 secs
lola: 182764 markings, 618925 edges, 879 markings/sec, 205 secs
lola: 187120 markings, 633985 edges, 871 markings/sec, 210 secs
lola: 191475 markings, 649068 edges, 871 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__12_13_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 6396 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 4347 markings, 15530 edges, 869 markings/sec, 0 secs
lola: 8715 markings, 30478 edges, 874 markings/sec, 5 secs
lola: 13100 markings, 45588 edges, 877 markings/sec, 10 secs
lola: 17463 markings, 60317 edges, 873 markings/sec, 15 secs
lola: 21820 markings, 75514 edges, 871 markings/sec, 20 secs
lola: 26175 markings, 90183 edges, 871 markings/sec, 25 secs
lola: 30544 markings, 104840 edges, 874 markings/sec, 30 secs
lola: 34903 markings, 119801 edges, 872 markings/sec, 35 secs
lola: 39254 markings, 135476 edges, 870 markings/sec, 40 secs
lola: 43610 markings, 150614 edges, 871 markings/sec, 45 secs
lola: 47977 markings, 166202 edges, 873 markings/sec, 50 secs
lola: 52410 markings, 180978 edges, 887 markings/sec, 55 secs
lola: 56819 markings, 195566 edges, 882 markings/sec, 60 secs
lola: 61200 markings, 210542 edges, 876 markings/sec, 65 secs
lola: 65622 markings, 225251 edges, 884 markings/sec, 70 secs
lola: 70022 markings, 239656 edges, 880 markings/sec, 75 secs
lola: 74436 markings, 254587 edges, 883 markings/sec, 80 secs
lola: 78859 markings, 270099 edges, 885 markings/sec, 85 secs
lola: 83265 markings, 285373 edges, 881 markings/sec, 90 secs
lola: 87680 markings, 300544 edges, 883 markings/sec, 95 secs
lola: 92089 markings, 315630 edges, 882 markings/sec, 100 secs
lola: 96495 markings, 330287 edges, 881 markings/sec, 105 secs
lola: 100882 markings, 345354 edges, 877 markings/sec, 110 secs
lola: 105262 markings, 360574 edges, 876 markings/sec, 115 secs
lola: 109661 markings, 376663 edges, 880 markings/sec, 120 secs
lola: 114042 markings, 391879 edges, 876 markings/sec, 125 secs
lola: 118473 markings, 406435 edges, 886 markings/sec, 130 secs
lola: 122909 markings, 420943 edges, 887 markings/sec, 135 secs
lola: 127310 markings, 435714 edges, 880 markings/sec, 140 secs
lola: 131731 markings, 450554 edges, 884 markings/sec, 145 secs
lola: 136167 markings, 465483 edges, 887 markings/sec, 150 secs
lola: 140616 markings, 480480 edges, 890 markings/sec, 155 secs
lola: 145052 markings, 495719 edges, 887 markings/sec, 160 secs
lola: 149443 markings, 510220 edges, 878 markings/sec, 165 secs
lola: 153852 markings, 524739 edges, 882 markings/sec, 170 secs
lola: 158257 markings, 539210 edges, 881 markings/sec, 175 secs
lola: 162614 markings, 554272 edges, 871 markings/sec, 180 secs
lola: 167004 markings, 568880 edges, 878 markings/sec, 185 secs
lola: 171378 markings, 583417 edges, 875 markings/sec, 190 secs
lola: 175730 markings, 598310 edges, 870 markings/sec, 195 secs
lola: 180088 markings, 614440 edges, 872 markings/sec, 200 secs
lola: 184462 markings, 630183 edges, 875 markings/sec, 205 secs
lola: 188819 markings, 645218 edges, 871 markings/sec, 210 secs
lola: 193178 markings, 659743 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 6 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__12_5_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 6396 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 4287 markings, 14711 edges, 857 markings/sec, 0 secs
lola: 8577 markings, 30113 edges, 858 markings/sec, 5 secs
lola: 12901 markings, 44858 edges, 865 markings/sec, 10 secs
lola: 17206 markings, 59572 edges, 861 markings/sec, 15 secs
lola: 21504 markings, 73847 edges, 860 markings/sec, 20 secs
lola: 25818 markings, 87150 edges, 863 markings/sec, 25 secs
lola: 30123 markings, 101204 edges, 861 markings/sec, 30 secs
lola: 34420 markings, 116119 edges, 859 markings/sec, 35 secs
lola: 38704 markings, 131230 edges, 857 markings/sec, 40 secs
lola: 42977 markings, 146924 edges, 855 markings/sec, 45 secs
lola: 47280 markings, 161270 edges, 861 markings/sec, 50 secs
lola: 51595 markings, 174360 edges, 863 markings/sec, 55 secs
lola: 55886 markings, 188614 edges, 858 markings/sec, 60 secs
lola: 60171 markings, 203217 edges, 857 markings/sec, 65 secs
lola: 64444 markings, 218696 edges, 855 markings/sec, 70 secs
lola: 68734 markings, 233117 edges, 858 markings/sec, 75 secs
lola: 73014 markings, 248256 edges, 856 markings/sec, 80 secs
lola: 77294 markings, 263689 edges, 856 markings/sec, 85 secs
lola: 81590 markings, 277862 edges, 859 markings/sec, 90 secs
lola: 85908 markings, 291307 edges, 864 markings/sec, 95 secs
lola: 90222 markings, 305012 edges, 863 markings/sec, 100 secs
lola: 94544 markings, 319032 edges, 864 markings/sec, 105 secs
lola: 98854 markings, 333451 edges, 862 markings/sec, 110 secs
lola: 103159 markings, 347707 edges, 861 markings/sec, 115 secs
lola: 107443 markings, 362711 edges, 857 markings/sec, 120 secs
lola: 111706 markings, 376579 edges, 853 markings/sec, 125 secs
lola: 115946 markings, 390270 edges, 848 markings/sec, 130 secs
lola: 120209 markings, 404402 edges, 853 markings/sec, 135 secs
lola: 124444 markings, 418747 edges, 847 markings/sec, 140 secs
lola: 128707 markings, 432180 edges, 853 markings/sec, 145 secs
lola: 132986 markings, 446227 edges, 856 markings/sec, 150 secs
lola: 137247 markings, 459739 edges, 852 markings/sec, 155 secs
lola: 141499 markings, 472974 edges, 850 markings/sec, 160 secs
lola: 145753 markings, 486809 edges, 851 markings/sec, 165 secs
lola: 150007 markings, 500589 edges, 851 markings/sec, 170 secs
lola: 154263 markings, 513725 edges, 851 markings/sec, 175 secs
lola: 158538 markings, 527520 edges, 855 markings/sec, 180 secs
lola: 162808 markings, 541546 edges, 854 markings/sec, 185 secs
lola: 167096 markings, 554935 edges, 858 markings/sec, 190 secs
lola: 171361 markings, 568771 edges, 853 markings/sec, 195 secs
lola: 175648 markings, 582991 edges, 857 markings/sec, 200 secs
lola: 179914 markings, 598401 edges, 853 markings/sec, 205 secs
lola: 184180 markings, 613166 edges, 853 markings/sec, 210 secs
lola: 188454 markings, 628882 edges, 855 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__16_5_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 6396 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 4358 markings, 14550 edges, 872 markings/sec, 0 secs
lola: 8730 markings, 29031 edges, 874 markings/sec, 5 secs
lola: 13085 markings, 44083 edges, 871 markings/sec, 10 secs
lola: 17450 markings, 58318 edges, 873 markings/sec, 15 secs
lola: 21819 markings, 71297 edges, 874 markings/sec, 20 secs
lola: 26158 markings, 85347 edges, 868 markings/sec, 25 secs
lola: 30503 markings, 99370 edges, 869 markings/sec, 30 secs
lola: 34855 markings, 114025 edges, 870 markings/sec, 35 secs
lola: 39202 markings, 128222 edges, 869 markings/sec, 40 secs
lola: 43535 markings, 142554 edges, 867 markings/sec, 45 secs
lola: 47876 markings, 157188 edges, 868 markings/sec, 50 secs
lola: 52183 markings, 169801 edges, 861 markings/sec, 55 secs
lola: 56475 markings, 183429 edges, 858 markings/sec, 60 secs
lola: 60781 markings, 197463 edges, 861 markings/sec, 65 secs
lola: 65073 markings, 212071 edges, 858 markings/sec, 70 secs
lola: 69400 markings, 225263 edges, 865 markings/sec, 75 secs
lola: 73701 markings, 239511 edges, 860 markings/sec, 80 secs
lola: 78016 markings, 253094 edges, 863 markings/sec, 85 secs
lola: 82368 markings, 266576 edges, 870 markings/sec, 90 secs
lola: 86668 markings, 279702 edges, 860 markings/sec, 95 secs
lola: 90953 markings, 293404 edges, 857 markings/sec, 100 secs
lola: 95249 markings, 306440 edges, 859 markings/sec, 105 secs
lola: 99545 markings, 320424 edges, 859 markings/sec, 110 secs
lola: 103822 markings, 334533 edges, 855 markings/sec, 115 secs
lola: 108120 markings, 348933 edges, 860 markings/sec, 120 secs
lola: 112377 markings, 363327 edges, 851 markings/sec, 125 secs
lola: 116633 markings, 375946 edges, 851 markings/sec, 130 secs
lola: 120885 markings, 389326 edges, 850 markings/sec, 135 secs
lola: 125170 markings, 403293 edges, 857 markings/sec, 140 secs
lola: 129455 markings, 417889 edges, 857 markings/sec, 145 secs
lola: 133788 markings, 431106 edges, 867 markings/sec, 150 secs
lola: 138102 markings, 445411 edges, 863 markings/sec, 155 secs
lola: 142445 markings, 459051 edges, 869 markings/sec, 160 secs
lola: 146764 markings, 472422 edges, 864 markings/sec, 165 secs
lola: 151075 markings, 485584 edges, 862 markings/sec, 170 secs
lola: 155362 markings, 499274 edges, 857 markings/sec, 175 secs
lola: 159640 markings, 512274 edges, 856 markings/sec, 180 secs
lola: 163918 markings, 526214 edges, 856 markings/sec, 185 secs
lola: 168190 markings, 540298 edges, 854 markings/sec, 190 secs
lola: 172507 markings, 552973 edges, 863 markings/sec, 195 secs
lola: 176782 markings, 565872 edges, 855 markings/sec, 200 secs
lola: 181107 markings, 578985 edges, 865 markings/sec, 205 secs
lola: 185429 markings, 591767 edges, 864 markings/sec, 210 secs
lola: 189780 markings, 604934 edges, 870 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__9_34_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 6396 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 4403 markings, 15979 edges, 881 markings/sec, 0 secs
lola: 8729 markings, 32178 edges, 865 markings/sec, 5 secs
lola: 13064 markings, 48499 edges, 867 markings/sec, 10 secs
lola: 17415 markings, 64800 edges, 870 markings/sec, 15 secs
lola: 21812 markings, 80879 edges, 879 markings/sec, 20 secs
lola: 26172 markings, 97461 edges, 872 markings/sec, 25 secs
lola: 30552 markings, 113101 edges, 876 markings/sec, 30 secs
lola: 34902 markings, 129890 edges, 870 markings/sec, 35 secs
lola: 39257 markings, 146701 edges, 871 markings/sec, 40 secs
lola: 43613 markings, 163146 edges, 871 markings/sec, 45 secs
lola: 47974 markings, 179021 edges, 872 markings/sec, 50 secs
lola: 52320 markings, 196211 edges, 869 markings/sec, 55 secs
lola: 56654 markings, 213371 edges, 867 markings/sec, 60 secs
lola: 61003 markings, 229643 edges, 870 markings/sec, 65 secs
lola: 65363 markings, 246000 edges, 872 markings/sec, 70 secs
lola: 69690 markings, 261929 edges, 865 markings/sec, 75 secs
lola: 74068 markings, 278145 edges, 876 markings/sec, 80 secs
lola: 78421 markings, 295231 edges, 871 markings/sec, 85 secs
lola: 82792 markings, 312265 edges, 874 markings/sec, 90 secs
lola: 87157 markings, 329637 edges, 873 markings/sec, 95 secs
lola: 91528 markings, 346342 edges, 874 markings/sec, 100 secs
lola: 95887 markings, 363271 edges, 872 markings/sec, 105 secs
lola: 100264 markings, 379233 edges, 875 markings/sec, 110 secs
lola: 104632 markings, 395309 edges, 874 markings/sec, 115 secs
lola: 108969 markings, 411216 edges, 867 markings/sec, 120 secs
lola: 113322 markings, 427719 edges, 871 markings/sec, 125 secs
lola: 117660 markings, 443797 edges, 868 markings/sec, 130 secs
lola: 122027 markings, 459975 edges, 873 markings/sec, 135 secs
lola: 126417 markings, 475918 edges, 878 markings/sec, 140 secs
lola: 130806 markings, 492688 edges, 878 markings/sec, 145 secs
lola: 135096 markings, 508353 edges, 858 markings/sec, 150 secs
lola: 139409 markings, 525110 edges, 863 markings/sec, 155 secs
lola: 143718 markings, 542447 edges, 862 markings/sec, 160 secs
lola: 148076 markings, 559481 edges, 872 markings/sec, 165 secs
lola: 152432 markings, 575266 edges, 871 markings/sec, 170 secs
lola: 156823 markings, 591213 edges, 878 markings/sec, 175 secs
lola: 161198 markings, 608330 edges, 875 markings/sec, 180 secs
lola: 165576 markings, 625187 edges, 876 markings/sec, 185 secs
lola: 169963 markings, 641680 edges, 877 markings/sec, 190 secs
lola: 174309 markings, 657773 edges, 869 markings/sec, 195 secs
lola: 178644 markings, 674080 edges, 867 markings/sec, 200 secs
lola: 183002 markings, 690421 edges, 872 markings/sec, 205 secs
lola: 187358 markings, 706257 edges, 871 markings/sec, 210 secs
lola: 191663 markings, 721630 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 9 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__25_21_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 6396 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 4381 markings, 13220 edges, 876 markings/sec, 0 secs
lola: 8808 markings, 27508 edges, 885 markings/sec, 5 secs
lola: 13231 markings, 41914 edges, 885 markings/sec, 10 secs
lola: 17654 markings, 56061 edges, 885 markings/sec, 15 secs
lola: 22073 markings, 70456 edges, 884 markings/sec, 20 secs
lola: 26506 markings, 84459 edges, 887 markings/sec, 25 secs
lola: 30951 markings, 98289 edges, 889 markings/sec, 30 secs
lola: 35392 markings, 112304 edges, 888 markings/sec, 35 secs
lola: 39797 markings, 126808 edges, 881 markings/sec, 40 secs
lola: 44192 markings, 141976 edges, 879 markings/sec, 45 secs
lola: 48616 markings, 156010 edges, 885 markings/sec, 50 secs
lola: 53023 markings, 170623 edges, 881 markings/sec, 55 secs
lola: 57431 markings, 184778 edges, 882 markings/sec, 60 secs
lola: 61833 markings, 198646 edges, 880 markings/sec, 65 secs
lola: 66244 markings, 212769 edges, 882 markings/sec, 70 secs
lola: 70638 markings, 227172 edges, 879 markings/sec, 75 secs
lola: 75031 markings, 242774 edges, 879 markings/sec, 80 secs
lola: 79461 markings, 256280 edges, 886 markings/sec, 85 secs
lola: 83875 markings, 271488 edges, 883 markings/sec, 90 secs
lola: 88287 markings, 285885 edges, 882 markings/sec, 95 secs
lola: 92697 markings, 299979 edges, 882 markings/sec, 100 secs
lola: 97114 markings, 314996 edges, 883 markings/sec, 105 secs
lola: 101549 markings, 329327 edges, 887 markings/sec, 110 secs
lola: 105947 markings, 344153 edges, 880 markings/sec, 115 secs
lola: 110358 markings, 358099 edges, 882 markings/sec, 120 secs
lola: 114793 markings, 371987 edges, 887 markings/sec, 125 secs
lola: 119224 markings, 386256 edges, 886 markings/sec, 130 secs
lola: 123644 markings, 400221 edges, 884 markings/sec, 135 secs
lola: 128067 markings, 415224 edges, 885 markings/sec, 140 secs
lola: 132481 markings, 428533 edges, 883 markings/sec, 145 secs
lola: 136900 markings, 441991 edges, 884 markings/sec, 150 secs
lola: 141306 markings, 456232 edges, 881 markings/sec, 155 secs
lola: 145713 markings, 470449 edges, 881 markings/sec, 160 secs
lola: 150081 markings, 484095 edges, 874 markings/sec, 165 secs
lola: 154450 markings, 497520 edges, 874 markings/sec, 170 secs
lola: 158812 markings, 511699 edges, 872 markings/sec, 175 secs
lola: 163185 markings, 525237 edges, 875 markings/sec, 180 secs
lola: 167562 markings, 538926 edges, 875 markings/sec, 185 secs
lola: 171921 markings, 553099 edges, 872 markings/sec, 190 secs
lola: 176284 markings, 567698 edges, 873 markings/sec, 195 secs
lola: 180639 markings, 582831 edges, 871 markings/sec, 200 secs
lola: 185007 markings, 597008 edges, 874 markings/sec, 205 secs
lola: 189355 markings, 611680 edges, 870 markings/sec, 210 secs
lola: 193718 markings, 626146 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__37_10_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 6396 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 4355 markings, 15590 edges, 871 markings/sec, 0 secs
lola: 8736 markings, 31089 edges, 876 markings/sec, 5 secs
lola: 13117 markings, 47052 edges, 876 markings/sec, 10 secs
lola: 17496 markings, 63148 edges, 876 markings/sec, 15 secs
lola: 21804 markings, 78434 edges, 862 markings/sec, 20 secs
lola: 26204 markings, 93894 edges, 880 markings/sec, 25 secs
lola: 30563 markings, 110107 edges, 872 markings/sec, 30 secs
lola: 34912 markings, 125767 edges, 870 markings/sec, 35 secs
lola: 39259 markings, 142081 edges, 869 markings/sec, 40 secs
lola: 43645 markings, 157770 edges, 877 markings/sec, 45 secs
lola: 48022 markings, 173640 edges, 875 markings/sec, 50 secs
lola: 52391 markings, 189942 edges, 874 markings/sec, 55 secs
lola: 56738 markings, 206053 edges, 869 markings/sec, 60 secs
lola: 61107 markings, 222472 edges, 874 markings/sec, 65 secs
lola: 65462 markings, 238120 edges, 871 markings/sec, 70 secs
lola: 69861 markings, 254734 edges, 880 markings/sec, 75 secs
lola: 74302 markings, 270762 edges, 888 markings/sec, 80 secs
lola: 78714 markings, 287624 edges, 882 markings/sec, 85 secs
lola: 83124 markings, 304027 edges, 882 markings/sec, 90 secs
lola: 87533 markings, 319772 edges, 882 markings/sec, 95 secs
lola: 91927 markings, 335775 edges, 879 markings/sec, 100 secs
lola: 96318 markings, 351566 edges, 878 markings/sec, 105 secs
lola: 100685 markings, 368147 edges, 873 markings/sec, 110 secs
lola: 105046 markings, 383812 edges, 872 markings/sec, 115 secs
lola: 109409 markings, 399942 edges, 873 markings/sec, 120 secs
lola: 113836 markings, 415419 edges, 885 markings/sec, 125 secs
lola: 118267 markings, 432227 edges, 886 markings/sec, 130 secs
lola: 122701 markings, 448868 edges, 887 markings/sec, 135 secs
lola: 127112 markings, 464506 edges, 882 markings/sec, 140 secs
lola: 131500 markings, 480459 edges, 878 markings/sec, 145 secs
lola: 135900 markings, 497091 edges, 880 markings/sec, 150 secs
lola: 140303 markings, 514337 edges, 881 markings/sec, 155 secs
lola: 144689 markings, 531050 edges, 877 markings/sec, 160 secs
lola: 149098 markings, 547171 edges, 882 markings/sec, 165 secs
lola: 153482 markings, 564007 edges, 877 markings/sec, 170 secs
lola: 157874 markings, 579748 edges, 878 markings/sec, 175 secs
lola: 162249 markings, 596063 edges, 875 markings/sec, 180 secs
lola: 166643 markings, 612270 edges, 879 markings/sec, 185 secs
lola: 171026 markings, 628391 edges, 877 markings/sec, 190 secs
lola: 175326 markings, 644152 edges, 860 markings/sec, 195 secs
lola: 179657 markings, 660049 edges, 866 markings/sec, 200 secs
lola: 183994 markings, 675843 edges, 867 markings/sec, 205 secs
lola: 188361 markings, 690976 edges, 873 markings/sec, 210 secs
lola: 192712 markings, 707075 edges, 870 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__36_31_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 6396 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 4485 markings, 15118 edges, 897 markings/sec, 0 secs
lola: 8882 markings, 31244 edges, 879 markings/sec, 5 secs
lola: 13359 markings, 46819 edges, 895 markings/sec, 10 secs
lola: 17834 markings, 61392 edges, 895 markings/sec, 15 secs
lola: 22302 markings, 76956 edges, 894 markings/sec, 20 secs
lola: 26783 markings, 92159 edges, 896 markings/sec, 25 secs
lola: 31238 markings, 107921 edges, 891 markings/sec, 30 secs
lola: 35698 markings, 123316 edges, 892 markings/sec, 35 secs
lola: 40143 markings, 139206 edges, 889 markings/sec, 40 secs
lola: 44610 markings, 154214 edges, 893 markings/sec, 45 secs
lola: 49082 markings, 169338 edges, 894 markings/sec, 50 secs
lola: 53553 markings, 184848 edges, 894 markings/sec, 55 secs
lola: 58008 markings, 200165 edges, 891 markings/sec, 60 secs
lola: 62469 markings, 215909 edges, 892 markings/sec, 65 secs
lola: 66926 markings, 231772 edges, 891 markings/sec, 70 secs
lola: 71393 markings, 247194 edges, 893 markings/sec, 75 secs
lola: 75841 markings, 263081 edges, 890 markings/sec, 80 secs
lola: 80297 markings, 278683 edges, 891 markings/sec, 85 secs
lola: 84762 markings, 294248 edges, 893 markings/sec, 90 secs
lola: 89237 markings, 309714 edges, 895 markings/sec, 95 secs
lola: 93715 markings, 325576 edges, 896 markings/sec, 100 secs
lola: 98178 markings, 340840 edges, 893 markings/sec, 105 secs
lola: 102637 markings, 356937 edges, 892 markings/sec, 110 secs
lola: 107083 markings, 372371 edges, 889 markings/sec, 115 secs
lola: 111521 markings, 387862 edges, 888 markings/sec, 120 secs
lola: 115959 markings, 403096 edges, 888 markings/sec, 125 secs
lola: 120390 markings, 419189 edges, 886 markings/sec, 130 secs
lola: 124822 markings, 434740 edges, 886 markings/sec, 135 secs
lola: 129264 markings, 450564 edges, 888 markings/sec, 140 secs
lola: 133648 markings, 466604 edges, 877 markings/sec, 145 secs
lola: 138071 markings, 482511 edges, 885 markings/sec, 150 secs
lola: 142445 markings, 498347 edges, 875 markings/sec, 155 secs
lola: 146865 markings, 514445 edges, 884 markings/sec, 160 secs
lola: 151295 markings, 529513 edges, 886 markings/sec, 165 secs
lola: 155739 markings, 545180 edges, 889 markings/sec, 170 secs
lola: 160181 markings, 560222 edges, 888 markings/sec, 175 secs
lola: 164623 markings, 575786 edges, 888 markings/sec, 180 secs
lola: 169058 markings, 591427 edges, 887 markings/sec, 185 secs
lola: 173406 markings, 606948 edges, 870 markings/sec, 190 secs
lola: 177833 markings, 622519 edges, 885 markings/sec, 195 secs
lola: 182317 markings, 637214 edges, 897 markings/sec, 200 secs
lola: 186636 markings, 652784 edges, 864 markings/sec, 205 secs
lola: 191068 markings, 667640 edges, 886 markings/sec, 210 secs
lola: 195494 markings, 682070 edges, 885 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__33_13_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 6396 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 4375 markings, 15496 edges, 875 markings/sec, 0 secs
lola: 8752 markings, 31074 edges, 875 markings/sec, 5 secs
lola: 13133 markings, 46516 edges, 876 markings/sec, 10 secs
lola: 17513 markings, 61845 edges, 876 markings/sec, 15 secs
lola: 21885 markings, 76282 edges, 874 markings/sec, 20 secs
lola: 26250 markings, 91421 edges, 873 markings/sec, 25 secs
lola: 30605 markings, 107971 edges, 871 markings/sec, 30 secs
lola: 34950 markings, 124341 edges, 869 markings/sec, 35 secs
lola: 39288 markings, 140838 edges, 868 markings/sec, 40 secs
lola: 43681 markings, 155283 edges, 879 markings/sec, 45 secs
lola: 48046 markings, 170673 edges, 873 markings/sec, 50 secs
lola: 52419 markings, 185259 edges, 875 markings/sec, 55 secs
lola: 56784 markings, 200194 edges, 873 markings/sec, 60 secs
lola: 61138 markings, 216329 edges, 871 markings/sec, 65 secs
lola: 65487 markings, 232533 edges, 870 markings/sec, 70 secs
lola: 69806 markings, 250301 edges, 864 markings/sec, 75 secs
lola: 74149 markings, 265892 edges, 869 markings/sec, 80 secs
lola: 78492 markings, 282491 edges, 869 markings/sec, 85 secs
lola: 82903 markings, 297322 edges, 882 markings/sec, 90 secs
lola: 87296 markings, 312970 edges, 879 markings/sec, 95 secs
lola: 91670 markings, 329059 edges, 875 markings/sec, 100 secs
lola: 96048 markings, 346464 edges, 876 markings/sec, 105 secs
lola: 100431 markings, 362889 edges, 877 markings/sec, 110 secs
lola: 104788 markings, 379729 edges, 871 markings/sec, 115 secs
lola: 109166 markings, 395969 edges, 876 markings/sec, 120 secs
lola: 113560 markings, 411973 edges, 879 markings/sec, 125 secs
lola: 117967 markings, 426059 edges, 881 markings/sec, 130 secs
lola: 122354 markings, 440874 edges, 877 markings/sec, 135 secs
lola: 126727 markings, 456222 edges, 875 markings/sec, 140 secs
lola: 131084 markings, 472887 edges, 871 markings/sec, 145 secs
lola: 135418 markings, 491313 edges, 867 markings/sec, 150 secs
lola: 139771 markings, 507809 edges, 871 markings/sec, 155 secs
lola: 144149 markings, 523639 edges, 876 markings/sec, 160 secs
lola: 148389 markings, 538833 edges, 848 markings/sec, 165 secs
lola: 152739 markings, 554209 edges, 870 markings/sec, 170 secs
lola: 157099 markings, 569104 edges, 872 markings/sec, 175 secs
lola: 161511 markings, 584614 edges, 882 markings/sec, 180 secs
lola: 165825 markings, 600911 edges, 863 markings/sec, 185 secs
lola: 170167 markings, 615299 edges, 868 markings/sec, 190 secs
lola: 174534 markings, 630127 edges, 873 markings/sec, 195 secs
lola: 178880 markings, 645684 edges, 869 markings/sec, 200 secs
lola: 183231 markings, 661046 edges, 870 markings/sec, 205 secs
lola: 187577 markings, 675689 edges, 869 markings/sec, 210 secs
lola: 191911 markings, 691412 edges, 867 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__2_38_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 6396 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 4452 markings, 14596 edges, 890 markings/sec, 0 secs
lola: 8922 markings, 28918 edges, 894 markings/sec, 5 secs
lola: 13359 markings, 44871 edges, 887 markings/sec, 10 secs
lola: 17815 markings, 59353 edges, 891 markings/sec, 15 secs
lola: 22270 markings, 74737 edges, 891 markings/sec, 20 secs
lola: 26665 markings, 90328 edges, 879 markings/sec, 25 secs
lola: 31087 markings, 106316 edges, 884 markings/sec, 30 secs
lola: 35551 markings, 121431 edges, 893 markings/sec, 35 secs
lola: 39996 markings, 136881 edges, 889 markings/sec, 40 secs
lola: 44414 markings, 151997 edges, 884 markings/sec, 45 secs
lola: 48878 markings, 166860 edges, 893 markings/sec, 50 secs
lola: 53345 markings, 182429 edges, 893 markings/sec, 55 secs
lola: 57766 markings, 197181 edges, 884 markings/sec, 60 secs
lola: 62212 markings, 212236 edges, 889 markings/sec, 65 secs
lola: 66651 markings, 227102 edges, 888 markings/sec, 70 secs
lola: 71074 markings, 242199 edges, 885 markings/sec, 75 secs
lola: 75511 markings, 257570 edges, 887 markings/sec, 80 secs
lola: 79969 markings, 272692 edges, 892 markings/sec, 85 secs
lola: 84379 markings, 287525 edges, 882 markings/sec, 90 secs
lola: 88754 markings, 302401 edges, 875 markings/sec, 95 secs
lola: 93157 markings, 317520 edges, 881 markings/sec, 100 secs
lola: 97597 markings, 332589 edges, 888 markings/sec, 105 secs
lola: 101993 markings, 347411 edges, 879 markings/sec, 110 secs
lola: 106388 markings, 361731 edges, 879 markings/sec, 115 secs
lola: 110776 markings, 375615 edges, 878 markings/sec, 120 secs
lola: 115176 markings, 389088 edges, 880 markings/sec, 125 secs
lola: 119564 markings, 403565 edges, 878 markings/sec, 130 secs
lola: 123912 markings, 418976 edges, 870 markings/sec, 135 secs
lola: 128211 markings, 435644 edges, 860 markings/sec, 140 secs
lola: 132573 markings, 450663 edges, 872 markings/sec, 145 secs
lola: 136915 markings, 467575 edges, 868 markings/sec, 150 secs
lola: 141294 markings, 481239 edges, 876 markings/sec, 155 secs
lola: 145665 markings, 495699 edges, 874 markings/sec, 160 secs
lola: 150029 markings, 511042 edges, 873 markings/sec, 165 secs
lola: 154407 markings, 525326 edges, 876 markings/sec, 170 secs
lola: 158790 markings, 539736 edges, 877 markings/sec, 175 secs
lola: 163162 markings, 555328 edges, 874 markings/sec, 180 secs
lola: 167541 markings, 570338 edges, 876 markings/sec, 185 secs
lola: 171900 markings, 586353 edges, 872 markings/sec, 190 secs
lola: 176244 markings, 603914 edges, 869 markings/sec, 195 secs
lola: 180613 markings, 619517 edges, 874 markings/sec, 200 secs
lola: 184981 markings, 633965 edges, 874 markings/sec, 205 secs
lola: 189328 markings, 649496 edges, 869 markings/sec, 210 secs
lola: 193671 markings, 664394 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 14 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__19_17_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 6396 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 4342 markings, 13169 edges, 868 markings/sec, 0 secs
lola: 8670 markings, 26933 edges, 866 markings/sec, 5 secs
lola: 12983 markings, 40842 edges, 863 markings/sec, 10 secs
lola: 17302 markings, 54064 edges, 864 markings/sec, 15 secs
lola: 21646 markings, 67566 edges, 869 markings/sec, 20 secs
lola: 26037 markings, 80796 edges, 878 markings/sec, 25 secs
lola: 30396 markings, 94964 edges, 872 markings/sec, 30 secs
lola: 34771 markings, 108287 edges, 875 markings/sec, 35 secs
lola: 39140 markings, 121754 edges, 874 markings/sec, 40 secs
lola: 43506 markings, 136196 edges, 873 markings/sec, 45 secs
lola: 47876 markings, 149936 edges, 874 markings/sec, 50 secs
lola: 52253 markings, 163903 edges, 875 markings/sec, 55 secs
lola: 56641 markings, 177464 edges, 878 markings/sec, 60 secs
lola: 61003 markings, 191493 edges, 872 markings/sec, 65 secs
lola: 65377 markings, 204803 edges, 875 markings/sec, 70 secs
lola: 69740 markings, 219547 edges, 873 markings/sec, 75 secs
lola: 74104 markings, 234170 edges, 873 markings/sec, 80 secs
lola: 78487 markings, 248780 edges, 877 markings/sec, 85 secs
lola: 82870 markings, 263275 edges, 877 markings/sec, 90 secs
lola: 87242 markings, 276396 edges, 874 markings/sec, 95 secs
lola: 91651 markings, 290619 edges, 882 markings/sec, 100 secs
lola: 96048 markings, 304435 edges, 879 markings/sec, 105 secs
lola: 100448 markings, 318280 edges, 880 markings/sec, 110 secs
lola: 104845 markings, 332416 edges, 879 markings/sec, 115 secs
lola: 109215 markings, 347374 edges, 874 markings/sec, 120 secs
lola: 113602 markings, 361937 edges, 877 markings/sec, 125 secs
lola: 118009 markings, 376500 edges, 881 markings/sec, 130 secs
lola: 122414 markings, 390166 edges, 881 markings/sec, 135 secs
lola: 126805 markings, 404319 edges, 878 markings/sec, 140 secs
lola: 131184 markings, 418827 edges, 876 markings/sec, 145 secs
lola: 135570 markings, 432678 edges, 877 markings/sec, 150 secs
lola: 139966 markings, 446963 edges, 879 markings/sec, 155 secs
lola: 144371 markings, 461335 edges, 881 markings/sec, 160 secs
lola: 148788 markings, 474848 edges, 883 markings/sec, 165 secs
lola: 153205 markings, 489726 edges, 883 markings/sec, 170 secs
lola: 157594 markings, 504202 edges, 878 markings/sec, 175 secs
lola: 161979 markings, 518786 edges, 877 markings/sec, 180 secs
lola: 166346 markings, 533742 edges, 873 markings/sec, 185 secs
lola: 170732 markings, 548332 edges, 877 markings/sec, 190 secs
lola: 175143 markings, 562094 edges, 882 markings/sec, 195 secs
lola: 179539 markings, 577572 edges, 879 markings/sec, 200 secs
lola: 183924 markings, 592626 edges, 877 markings/sec, 205 secs
lola: 188313 markings, 606635 edges, 878 markings/sec, 210 secs
lola: 192715 markings, 620744 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__12_4_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 6396 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 4322 markings, 15164 edges, 864 markings/sec, 0 secs
lola: 8656 markings, 29393 edges, 867 markings/sec, 5 secs
lola: 12989 markings, 42776 edges, 867 markings/sec, 10 secs
lola: 17318 markings, 56540 edges, 866 markings/sec, 15 secs
lola: 21615 markings, 70832 edges, 859 markings/sec, 20 secs
lola: 25916 markings, 85377 edges, 860 markings/sec, 25 secs
lola: 30196 markings, 99968 edges, 856 markings/sec, 30 secs
lola: 34508 markings, 113591 edges, 862 markings/sec, 35 secs
lola: 38831 markings, 126588 edges, 865 markings/sec, 40 secs
lola: 43117 markings, 140581 edges, 857 markings/sec, 45 secs
lola: 47431 markings, 154652 edges, 863 markings/sec, 50 secs
lola: 51781 markings, 168094 edges, 870 markings/sec, 55 secs
lola: 56068 markings, 181320 edges, 857 markings/sec, 60 secs
lola: 60363 markings, 194997 edges, 859 markings/sec, 65 secs
lola: 64677 markings, 208616 edges, 863 markings/sec, 70 secs
lola: 68994 markings, 221644 edges, 863 markings/sec, 75 secs
lola: 73287 markings, 235880 edges, 859 markings/sec, 80 secs
lola: 77567 markings, 250743 edges, 856 markings/sec, 85 secs
lola: 81858 markings, 263806 edges, 858 markings/sec, 90 secs
lola: 86146 markings, 277631 edges, 858 markings/sec, 95 secs
lola: 90429 markings, 291140 edges, 857 markings/sec, 100 secs
lola: 94726 markings, 304805 edges, 859 markings/sec, 105 secs
lola: 99027 markings, 319106 edges, 860 markings/sec, 110 secs
lola: 103319 markings, 333875 edges, 858 markings/sec, 115 secs
lola: 107589 markings, 348722 edges, 854 markings/sec, 120 secs
lola: 111871 markings, 361911 edges, 856 markings/sec, 125 secs
lola: 116138 markings, 376282 edges, 853 markings/sec, 130 secs
lola: 120426 markings, 389687 edges, 858 markings/sec, 135 secs
lola: 124748 markings, 403031 edges, 864 markings/sec, 140 secs
lola: 129047 markings, 417202 edges, 860 markings/sec, 145 secs
lola: 133311 markings, 430105 edges, 853 markings/sec, 150 secs
lola: 137618 markings, 442858 edges, 861 markings/sec, 155 secs
lola: 141914 markings, 455943 edges, 859 markings/sec, 160 secs
lola: 146242 markings, 468052 edges, 866 markings/sec, 165 secs
lola: 150530 markings, 480473 edges, 858 markings/sec, 170 secs
lola: 154836 markings, 492845 edges, 861 markings/sec, 175 secs
lola: 159135 markings, 506771 edges, 860 markings/sec, 180 secs
lola: 163427 markings, 519132 edges, 858 markings/sec, 185 secs
lola: 167719 markings, 531212 edges, 858 markings/sec, 190 secs
lola: 172038 markings, 543638 edges, 864 markings/sec, 195 secs
lola: 176340 markings, 556392 edges, 860 markings/sec, 200 secs
lola: 180632 markings, 568734 edges, 858 markings/sec, 205 secs
lola: 184917 markings, 581166 edges, 857 markings/sec, 210 secs
lola: 189200 markings, 595132 edges, 857 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA Diffusion2D-PT-D40N010-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D40N010-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D40N010-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D40N010-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D40N010-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D40N010-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D40N010-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D40N010-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D40N010-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D40N010-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D40N010-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D40N010-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D40N010-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D40N010-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D40N010-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D40N010-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1496463885602
--------------------
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-D40N010"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
tar xzf /home/mcc/BenchKit/INPUTS/S_Diffusion2D-PT-D40N010.tgz
mv S_Diffusion2D-PT-D40N010 execution
# this is for BenchKit: explicit launching of the test
cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3253"
echo " Executing tool lola"
echo " Input is S_Diffusion2D-PT-D40N010, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r098-ebro-149488455800371"
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 ;