About the Execution of LoLA for S_Diffusion2D-PT-D40N100
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
608.380 | 3540287.00 | 3555896.00 | 500.20 | ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? | 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-D40N100, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r098-ebro-149488455800389
=====================================================================
--------------------
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-D40N100-UpperBounds-0
FORMULA_NAME Diffusion2D-PT-D40N100-UpperBounds-1
FORMULA_NAME Diffusion2D-PT-D40N100-UpperBounds-10
FORMULA_NAME Diffusion2D-PT-D40N100-UpperBounds-11
FORMULA_NAME Diffusion2D-PT-D40N100-UpperBounds-12
FORMULA_NAME Diffusion2D-PT-D40N100-UpperBounds-13
FORMULA_NAME Diffusion2D-PT-D40N100-UpperBounds-14
FORMULA_NAME Diffusion2D-PT-D40N100-UpperBounds-15
FORMULA_NAME Diffusion2D-PT-D40N100-UpperBounds-2
FORMULA_NAME Diffusion2D-PT-D40N100-UpperBounds-3
FORMULA_NAME Diffusion2D-PT-D40N100-UpperBounds-4
FORMULA_NAME Diffusion2D-PT-D40N100-UpperBounds-5
FORMULA_NAME Diffusion2D-PT-D40N100-UpperBounds-6
FORMULA_NAME Diffusion2D-PT-D40N100-UpperBounds-7
FORMULA_NAME Diffusion2D-PT-D40N100-UpperBounds-8
FORMULA_NAME Diffusion2D-PT-D40N100-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1496461381192
Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_Diffusion2D-PT-D40N100: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
S_Diffusion2D-PT-D40N100: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_Diffusion2D-PT-D40N100 @ 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-D40N100-UpperBounds.task
lola: MAX(cAMP__6_39_) : MAX(cAMP__6_37_) : MAX(cAMP__8_13_) : MAX(cAMP__5_35_) : MAX(cAMP__22_40_) : MAX(cAMP__38_31_) : MAX(cAMP__21_35_) : MAX(cAMP__27_22_) : MAX(cAMP__6_5_) : MAX(cAMP__33_3_) : MAX(cAMP__10_26_) : MAX(cAMP__26_16_) : MAX(cAMP__1_38_) : MAX(cAMP__14_28_) : MAX(cAMP__28_20_) : MAX(cAMP__18_39_)
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__6_39_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 6396 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 4345 markings, 14612 edges, 869 markings/sec, 0 secs
lola: 8697 markings, 30073 edges, 870 markings/sec, 5 secs
lola: 13055 markings, 45466 edges, 872 markings/sec, 10 secs
lola: 17398 markings, 60772 edges, 869 markings/sec, 15 secs
lola: 21724 markings, 76053 edges, 865 markings/sec, 20 secs
lola: 26013 markings, 91292 edges, 858 markings/sec, 25 secs
lola: 30302 markings, 105470 edges, 858 markings/sec, 30 secs
lola: 34562 markings, 119823 edges, 852 markings/sec, 35 secs
lola: 38831 markings, 134613 edges, 854 markings/sec, 40 secs
lola: 43095 markings, 149022 edges, 853 markings/sec, 45 secs
lola: 47378 markings, 162850 edges, 857 markings/sec, 50 secs
lola: 51657 markings, 176960 edges, 856 markings/sec, 55 secs
lola: 55941 markings, 190473 edges, 857 markings/sec, 60 secs
lola: 60224 markings, 204876 edges, 857 markings/sec, 65 secs
lola: 64552 markings, 218736 edges, 866 markings/sec, 70 secs
lola: 68870 markings, 234455 edges, 864 markings/sec, 75 secs
lola: 73154 markings, 248591 edges, 857 markings/sec, 80 secs
lola: 77398 markings, 262447 edges, 849 markings/sec, 85 secs
lola: 81673 markings, 276190 edges, 855 markings/sec, 90 secs
lola: 85914 markings, 291340 edges, 848 markings/sec, 95 secs
lola: 90169 markings, 306507 edges, 851 markings/sec, 100 secs
lola: 94433 markings, 321655 edges, 853 markings/sec, 105 secs
lola: 98693 markings, 335312 edges, 852 markings/sec, 110 secs
lola: 102996 markings, 349724 edges, 861 markings/sec, 115 secs
lola: 107328 markings, 364192 edges, 866 markings/sec, 120 secs
lola: 111650 markings, 379650 edges, 864 markings/sec, 125 secs
lola: 115950 markings, 393535 edges, 860 markings/sec, 130 secs
lola: 120225 markings, 407419 edges, 855 markings/sec, 135 secs
lola: 124525 markings, 420230 edges, 860 markings/sec, 140 secs
lola: 128792 markings, 433550 edges, 853 markings/sec, 145 secs
lola: 133094 markings, 447029 edges, 860 markings/sec, 150 secs
lola: 137378 markings, 461883 edges, 857 markings/sec, 155 secs
lola: 141715 markings, 475489 edges, 867 markings/sec, 160 secs
lola: 146047 markings, 488479 edges, 866 markings/sec, 165 secs
lola: 150361 markings, 502483 edges, 863 markings/sec, 170 secs
lola: 154683 markings, 516006 edges, 864 markings/sec, 175 secs
lola: 158994 markings, 530402 edges, 862 markings/sec, 180 secs
lola: 163311 markings, 544756 edges, 863 markings/sec, 185 secs
lola: 167525 markings, 559729 edges, 843 markings/sec, 190 secs
lola: 171804 markings, 575522 edges, 856 markings/sec, 195 secs
lola: 176151 markings, 589515 edges, 869 markings/sec, 200 secs
lola: 180485 markings, 603643 edges, 867 markings/sec, 205 secs
lola: 184808 markings, 617721 edges, 865 markings/sec, 210 secs
lola: 189140 markings, 631667 edges, 866 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__6_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: 4284 markings, 14718 edges, 857 markings/sec, 0 secs
lola: 8638 markings, 29912 edges, 871 markings/sec, 5 secs
lola: 13002 markings, 45154 edges, 873 markings/sec, 10 secs
lola: 17388 markings, 59652 edges, 877 markings/sec, 15 secs
lola: 21708 markings, 74983 edges, 864 markings/sec, 20 secs
lola: 26087 markings, 89259 edges, 876 markings/sec, 25 secs
lola: 30393 markings, 103858 edges, 861 markings/sec, 30 secs
lola: 34759 markings, 118100 edges, 873 markings/sec, 35 secs
lola: 39155 markings, 132469 edges, 879 markings/sec, 40 secs
lola: 43531 markings, 146717 edges, 875 markings/sec, 45 secs
lola: 47909 markings, 161081 edges, 876 markings/sec, 50 secs
lola: 52238 markings, 175092 edges, 866 markings/sec, 55 secs
lola: 56622 markings, 189293 edges, 877 markings/sec, 60 secs
lola: 60981 markings, 204150 edges, 872 markings/sec, 65 secs
lola: 65358 markings, 219773 edges, 875 markings/sec, 70 secs
lola: 69764 markings, 235259 edges, 881 markings/sec, 75 secs
lola: 74222 markings, 250162 edges, 892 markings/sec, 80 secs
lola: 78662 markings, 264068 edges, 888 markings/sec, 85 secs
lola: 83081 markings, 278302 edges, 884 markings/sec, 90 secs
lola: 87506 markings, 292555 edges, 885 markings/sec, 95 secs
lola: 91984 markings, 306995 edges, 896 markings/sec, 100 secs
lola: 96468 markings, 321930 edges, 897 markings/sec, 105 secs
lola: 100921 markings, 337078 edges, 891 markings/sec, 110 secs
lola: 105361 markings, 353437 edges, 888 markings/sec, 115 secs
lola: 109775 markings, 368159 edges, 883 markings/sec, 120 secs
lola: 114178 markings, 382856 edges, 881 markings/sec, 125 secs
lola: 118618 markings, 396683 edges, 888 markings/sec, 130 secs
lola: 123040 markings, 411219 edges, 884 markings/sec, 135 secs
lola: 127447 markings, 425429 edges, 881 markings/sec, 140 secs
lola: 131877 markings, 439361 edges, 886 markings/sec, 145 secs
lola: 136287 markings, 454630 edges, 882 markings/sec, 150 secs
lola: 140695 markings, 469438 edges, 882 markings/sec, 155 secs
lola: 145077 markings, 485814 edges, 876 markings/sec, 160 secs
lola: 149530 markings, 500644 edges, 891 markings/sec, 165 secs
lola: 153989 markings, 514845 edges, 892 markings/sec, 170 secs
lola: 158420 markings, 528995 edges, 886 markings/sec, 175 secs
lola: 162870 markings, 543288 edges, 890 markings/sec, 180 secs
lola: 167271 markings, 557552 edges, 880 markings/sec, 185 secs
lola: 171636 markings, 572744 edges, 873 markings/sec, 190 secs
lola: 175965 markings, 586841 edges, 866 markings/sec, 195 secs
lola: 180317 markings, 601306 edges, 870 markings/sec, 200 secs
lola: 184651 markings, 615538 edges, 867 markings/sec, 205 secs
lola: 189001 markings, 629273 edges, 870 markings/sec, 210 secs
lola: 193381 markings, 643282 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 2 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__8_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: 4282 markings, 15310 edges, 856 markings/sec, 0 secs
lola: 8584 markings, 30940 edges, 860 markings/sec, 5 secs
lola: 12854 markings, 47210 edges, 854 markings/sec, 10 secs
lola: 17133 markings, 62850 edges, 856 markings/sec, 15 secs
lola: 21437 markings, 76946 edges, 861 markings/sec, 20 secs
lola: 25715 markings, 92736 edges, 856 markings/sec, 25 secs
lola: 30011 markings, 107005 edges, 859 markings/sec, 30 secs
lola: 34326 markings, 122440 edges, 863 markings/sec, 35 secs
lola: 38602 markings, 137480 edges, 855 markings/sec, 40 secs
lola: 42915 markings, 153530 edges, 863 markings/sec, 45 secs
lola: 47221 markings, 169675 edges, 861 markings/sec, 50 secs
lola: 51502 markings, 185598 edges, 856 markings/sec, 55 secs
lola: 55815 markings, 201415 edges, 863 markings/sec, 60 secs
lola: 60121 markings, 217347 edges, 861 markings/sec, 65 secs
lola: 64470 markings, 233359 edges, 870 markings/sec, 70 secs
lola: 68890 markings, 249149 edges, 884 markings/sec, 75 secs
lola: 73296 markings, 265656 edges, 881 markings/sec, 80 secs
lola: 77695 markings, 281475 edges, 880 markings/sec, 85 secs
lola: 82072 markings, 299249 edges, 875 markings/sec, 90 secs
lola: 86493 markings, 314744 edges, 884 markings/sec, 95 secs
lola: 90912 markings, 330500 edges, 884 markings/sec, 100 secs
lola: 95320 markings, 346648 edges, 882 markings/sec, 105 secs
lola: 99625 markings, 362762 edges, 861 markings/sec, 110 secs
lola: 103972 markings, 379193 edges, 869 markings/sec, 115 secs
lola: 108306 markings, 396352 edges, 867 markings/sec, 120 secs
lola: 112623 markings, 410833 edges, 863 markings/sec, 125 secs
lola: 116896 markings, 426839 edges, 855 markings/sec, 130 secs
lola: 121166 markings, 442084 edges, 854 markings/sec, 135 secs
lola: 125437 markings, 458731 edges, 854 markings/sec, 140 secs
lola: 129685 markings, 474377 edges, 850 markings/sec, 145 secs
lola: 133959 markings, 490142 edges, 855 markings/sec, 150 secs
lola: 138226 markings, 505859 edges, 853 markings/sec, 155 secs
lola: 142529 markings, 521027 edges, 861 markings/sec, 160 secs
lola: 146787 markings, 536552 edges, 852 markings/sec, 165 secs
lola: 151072 markings, 552962 edges, 857 markings/sec, 170 secs
lola: 155357 markings, 567963 edges, 857 markings/sec, 175 secs
lola: 159626 markings, 585367 edges, 854 markings/sec, 180 secs
lola: 163900 markings, 600167 edges, 855 markings/sec, 185 secs
lola: 168178 markings, 615696 edges, 856 markings/sec, 190 secs
lola: 172416 markings, 631052 edges, 848 markings/sec, 195 secs
lola: 176648 markings, 647151 edges, 846 markings/sec, 200 secs
lola: 180891 markings, 663031 edges, 849 markings/sec, 205 secs
lola: 185140 markings, 679975 edges, 850 markings/sec, 210 secs
lola: 189456 markings, 694407 edges, 863 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__5_35_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 6396 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 4390 markings, 14940 edges, 878 markings/sec, 0 secs
lola: 8769 markings, 30938 edges, 876 markings/sec, 5 secs
lola: 13165 markings, 46690 edges, 879 markings/sec, 10 secs
lola: 17578 markings, 62359 edges, 883 markings/sec, 15 secs
lola: 21941 markings, 77570 edges, 873 markings/sec, 20 secs
lola: 26257 markings, 93033 edges, 863 markings/sec, 25 secs
lola: 30612 markings, 107562 edges, 871 markings/sec, 30 secs
lola: 34953 markings, 122913 edges, 868 markings/sec, 35 secs
lola: 39260 markings, 137849 edges, 861 markings/sec, 40 secs
lola: 43567 markings, 153797 edges, 861 markings/sec, 45 secs
lola: 47877 markings, 170778 edges, 862 markings/sec, 50 secs
lola: 52246 markings, 185752 edges, 874 markings/sec, 55 secs
lola: 56671 markings, 200948 edges, 885 markings/sec, 60 secs
lola: 61089 markings, 216840 edges, 884 markings/sec, 65 secs
lola: 65524 markings, 231287 edges, 887 markings/sec, 70 secs
lola: 69829 markings, 246355 edges, 861 markings/sec, 75 secs
lola: 74126 markings, 260555 edges, 859 markings/sec, 80 secs
lola: 78409 markings, 276188 edges, 857 markings/sec, 85 secs
lola: 82805 markings, 291521 edges, 879 markings/sec, 90 secs
lola: 87206 markings, 306541 edges, 880 markings/sec, 95 secs
lola: 91589 markings, 321808 edges, 877 markings/sec, 100 secs
lola: 95971 markings, 336110 edges, 876 markings/sec, 105 secs
lola: 100350 markings, 350902 edges, 876 markings/sec, 110 secs
lola: 104710 markings, 366422 edges, 872 markings/sec, 115 secs
lola: 109052 markings, 382679 edges, 868 markings/sec, 120 secs
lola: 113384 markings, 399048 edges, 866 markings/sec, 125 secs
lola: 117752 markings, 414355 edges, 874 markings/sec, 130 secs
lola: 122158 markings, 429414 edges, 881 markings/sec, 135 secs
lola: 126547 markings, 445355 edges, 878 markings/sec, 140 secs
lola: 130908 markings, 460044 edges, 872 markings/sec, 145 secs
lola: 135292 markings, 477272 edges, 877 markings/sec, 150 secs
lola: 139680 markings, 491354 edges, 878 markings/sec, 155 secs
lola: 144039 markings, 506931 edges, 872 markings/sec, 160 secs
lola: 148404 markings, 522357 edges, 873 markings/sec, 165 secs
lola: 152736 markings, 539300 edges, 866 markings/sec, 170 secs
lola: 157084 markings, 554506 edges, 870 markings/sec, 175 secs
lola: 161439 markings, 569488 edges, 871 markings/sec, 180 secs
lola: 165785 markings, 584445 edges, 869 markings/sec, 185 secs
lola: 170163 markings, 600303 edges, 876 markings/sec, 190 secs
lola: 174530 markings, 615785 edges, 873 markings/sec, 195 secs
lola: 178891 markings, 630405 edges, 872 markings/sec, 200 secs
lola: 183252 markings, 645003 edges, 872 markings/sec, 205 secs
lola: 187628 markings, 659616 edges, 875 markings/sec, 210 secs
lola: 192014 markings, 675228 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 4 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__22_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: 4276 markings, 14692 edges, 855 markings/sec, 0 secs
lola: 8588 markings, 29323 edges, 862 markings/sec, 5 secs
lola: 12909 markings, 43563 edges, 864 markings/sec, 10 secs
lola: 17190 markings, 58406 edges, 856 markings/sec, 15 secs
lola: 21486 markings, 73190 edges, 859 markings/sec, 20 secs
lola: 25802 markings, 87910 edges, 863 markings/sec, 25 secs
lola: 30097 markings, 102926 edges, 859 markings/sec, 30 secs
lola: 34437 markings, 117444 edges, 868 markings/sec, 35 secs
lola: 38796 markings, 132436 edges, 872 markings/sec, 40 secs
lola: 43124 markings, 146945 edges, 866 markings/sec, 45 secs
lola: 47437 markings, 162192 edges, 863 markings/sec, 50 secs
lola: 51743 markings, 176622 edges, 861 markings/sec, 55 secs
lola: 56046 markings, 191085 edges, 861 markings/sec, 60 secs
lola: 60355 markings, 205364 edges, 862 markings/sec, 65 secs
lola: 64640 markings, 220199 edges, 857 markings/sec, 70 secs
lola: 68939 markings, 234667 edges, 860 markings/sec, 75 secs
lola: 73220 markings, 249050 edges, 856 markings/sec, 80 secs
lola: 77529 markings, 263230 edges, 862 markings/sec, 85 secs
lola: 81842 markings, 277934 edges, 863 markings/sec, 90 secs
lola: 86204 markings, 292614 edges, 872 markings/sec, 95 secs
lola: 90544 markings, 307402 edges, 868 markings/sec, 100 secs
lola: 94905 markings, 321954 edges, 872 markings/sec, 105 secs
lola: 99234 markings, 335889 edges, 866 markings/sec, 110 secs
lola: 103528 markings, 350676 edges, 859 markings/sec, 115 secs
lola: 107833 markings, 365439 edges, 861 markings/sec, 120 secs
lola: 112123 markings, 380278 edges, 858 markings/sec, 125 secs
lola: 116454 markings, 394581 edges, 866 markings/sec, 130 secs
lola: 120775 markings, 409757 edges, 864 markings/sec, 135 secs
lola: 125099 markings, 424144 edges, 865 markings/sec, 140 secs
lola: 129427 markings, 438569 edges, 866 markings/sec, 145 secs
lola: 133741 markings, 452739 edges, 863 markings/sec, 150 secs
lola: 138062 markings, 467320 edges, 864 markings/sec, 155 secs
lola: 142372 markings, 481868 edges, 862 markings/sec, 160 secs
lola: 146682 markings, 496449 edges, 862 markings/sec, 165 secs
lola: 150979 markings, 510767 edges, 859 markings/sec, 170 secs
lola: 155288 markings, 525953 edges, 862 markings/sec, 175 secs
lola: 159563 markings, 541293 edges, 855 markings/sec, 180 secs
lola: 163827 markings, 555973 edges, 853 markings/sec, 185 secs
lola: 168091 markings, 570736 edges, 853 markings/sec, 190 secs
lola: 172348 markings, 585953 edges, 851 markings/sec, 195 secs
lola: 176577 markings, 600456 edges, 846 markings/sec, 200 secs
lola: 180867 markings, 615795 edges, 858 markings/sec, 205 secs
lola: 185178 markings, 630204 edges, 862 markings/sec, 210 secs
lola: 189512 markings, 644741 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 5 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__38_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: 4344 markings, 14305 edges, 869 markings/sec, 0 secs
lola: 8749 markings, 29488 edges, 881 markings/sec, 5 secs
lola: 13166 markings, 44483 edges, 883 markings/sec, 10 secs
lola: 17557 markings, 60158 edges, 878 markings/sec, 15 secs
lola: 21926 markings, 76108 edges, 874 markings/sec, 20 secs
lola: 26320 markings, 91400 edges, 879 markings/sec, 25 secs
lola: 30705 markings, 106603 edges, 877 markings/sec, 30 secs
lola: 35084 markings, 123219 edges, 876 markings/sec, 35 secs
lola: 39448 markings, 138396 edges, 873 markings/sec, 40 secs
lola: 43810 markings, 153677 edges, 872 markings/sec, 45 secs
lola: 48157 markings, 169182 edges, 869 markings/sec, 50 secs
lola: 52508 markings, 184827 edges, 870 markings/sec, 55 secs
lola: 56860 markings, 199369 edges, 870 markings/sec, 60 secs
lola: 61246 markings, 214141 edges, 877 markings/sec, 65 secs
lola: 65637 markings, 228640 edges, 878 markings/sec, 70 secs
lola: 69993 markings, 242867 edges, 871 markings/sec, 75 secs
lola: 74332 markings, 258258 edges, 868 markings/sec, 80 secs
lola: 78680 markings, 273434 edges, 870 markings/sec, 85 secs
lola: 83055 markings, 288015 edges, 875 markings/sec, 90 secs
lola: 87422 markings, 302468 edges, 873 markings/sec, 95 secs
lola: 91778 markings, 316752 edges, 871 markings/sec, 100 secs
lola: 96176 markings, 330843 edges, 880 markings/sec, 105 secs
lola: 100592 markings, 345164 edges, 883 markings/sec, 110 secs
lola: 104967 markings, 360708 edges, 875 markings/sec, 115 secs
lola: 109400 markings, 375573 edges, 887 markings/sec, 120 secs
lola: 113824 markings, 392004 edges, 885 markings/sec, 125 secs
lola: 118267 markings, 407001 edges, 889 markings/sec, 130 secs
lola: 122707 markings, 422360 edges, 888 markings/sec, 135 secs
lola: 127154 markings, 437468 edges, 889 markings/sec, 140 secs
lola: 131605 markings, 452501 edges, 890 markings/sec, 145 secs
lola: 136026 markings, 467636 edges, 884 markings/sec, 150 secs
lola: 140456 markings, 482735 edges, 886 markings/sec, 155 secs
lola: 144863 markings, 497981 edges, 881 markings/sec, 160 secs
lola: 149299 markings, 512782 edges, 887 markings/sec, 165 secs
lola: 153710 markings, 527708 edges, 882 markings/sec, 170 secs
lola: 158155 markings, 542996 edges, 889 markings/sec, 175 secs
lola: 162577 markings, 557997 edges, 884 markings/sec, 180 secs
lola: 166991 markings, 573147 edges, 883 markings/sec, 185 secs
lola: 171397 markings, 588372 edges, 881 markings/sec, 190 secs
lola: 175789 markings, 604213 edges, 878 markings/sec, 195 secs
lola: 180195 markings, 618977 edges, 881 markings/sec, 200 secs
lola: 184592 markings, 634405 edges, 879 markings/sec, 205 secs
lola: 189005 markings, 649166 edges, 883 markings/sec, 210 secs
lola: 193415 markings, 664864 edges, 882 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__21_35_)
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: 4414 markings, 15155 edges, 883 markings/sec, 0 secs
lola: 8810 markings, 30502 edges, 879 markings/sec, 5 secs
lola: 13185 markings, 45687 edges, 875 markings/sec, 10 secs
lola: 17572 markings, 60269 edges, 877 markings/sec, 15 secs
lola: 21964 markings, 74607 edges, 878 markings/sec, 20 secs
lola: 26335 markings, 90220 edges, 874 markings/sec, 25 secs
lola: 30693 markings, 106764 edges, 872 markings/sec, 30 secs
lola: 35064 markings, 122987 edges, 874 markings/sec, 35 secs
lola: 39415 markings, 140121 edges, 870 markings/sec, 40 secs
lola: 43755 markings, 155679 edges, 868 markings/sec, 45 secs
lola: 48148 markings, 169925 edges, 879 markings/sec, 50 secs
lola: 52525 markings, 185059 edges, 875 markings/sec, 55 secs
lola: 56919 markings, 201096 edges, 879 markings/sec, 60 secs
lola: 61284 markings, 216692 edges, 873 markings/sec, 65 secs
lola: 65695 markings, 232456 edges, 882 markings/sec, 70 secs
lola: 70059 markings, 248419 edges, 873 markings/sec, 75 secs
lola: 74457 markings, 263214 edges, 880 markings/sec, 80 secs
lola: 78836 markings, 278596 edges, 876 markings/sec, 85 secs
lola: 83217 markings, 294776 edges, 876 markings/sec, 90 secs
lola: 87583 markings, 309933 edges, 873 markings/sec, 95 secs
lola: 91956 markings, 324758 edges, 875 markings/sec, 100 secs
lola: 96374 markings, 339336 edges, 884 markings/sec, 105 secs
lola: 100780 markings, 354929 edges, 881 markings/sec, 110 secs
lola: 105162 markings, 370894 edges, 876 markings/sec, 115 secs
lola: 109548 markings, 386995 edges, 877 markings/sec, 120 secs
lola: 113903 markings, 404128 edges, 871 markings/sec, 125 secs
lola: 118288 markings, 421041 edges, 877 markings/sec, 130 secs
lola: 122691 markings, 435341 edges, 881 markings/sec, 135 secs
lola: 127073 markings, 449894 edges, 876 markings/sec, 140 secs
lola: 131434 markings, 465957 edges, 872 markings/sec, 145 secs
lola: 135812 markings, 481549 edges, 876 markings/sec, 150 secs
lola: 140177 markings, 497769 edges, 873 markings/sec, 155 secs
lola: 144597 markings, 511986 edges, 884 markings/sec, 160 secs
lola: 148980 markings, 526763 edges, 877 markings/sec, 165 secs
lola: 153364 markings, 540766 edges, 877 markings/sec, 170 secs
lola: 157740 markings, 555013 edges, 875 markings/sec, 175 secs
lola: 162109 markings, 569766 edges, 874 markings/sec, 180 secs
lola: 166471 markings, 585391 edges, 872 markings/sec, 185 secs
lola: 170828 markings, 601413 edges, 871 markings/sec, 190 secs
lola: 175189 markings, 615325 edges, 872 markings/sec, 195 secs
lola: 179542 markings, 630511 edges, 871 markings/sec, 200 secs
lola: 183893 markings, 645408 edges, 870 markings/sec, 205 secs
lola: 188246 markings, 661197 edges, 871 markings/sec, 210 secs
lola: 192592 markings, 676534 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 7 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__27_22_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 6396 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 4355 markings, 14388 edges, 871 markings/sec, 0 secs
lola: 8774 markings, 29205 edges, 884 markings/sec, 5 secs
lola: 13191 markings, 45662 edges, 883 markings/sec, 10 secs
lola: 17608 markings, 62348 edges, 883 markings/sec, 15 secs
lola: 22024 markings, 77632 edges, 883 markings/sec, 20 secs
lola: 26454 markings, 92505 edges, 886 markings/sec, 25 secs
lola: 30865 markings, 108140 edges, 882 markings/sec, 30 secs
lola: 35301 markings, 122839 edges, 887 markings/sec, 35 secs
lola: 39742 markings, 136719 edges, 888 markings/sec, 40 secs
lola: 44189 markings, 152306 edges, 889 markings/sec, 45 secs
lola: 48654 markings, 167799 edges, 893 markings/sec, 50 secs
lola: 53097 markings, 183145 edges, 889 markings/sec, 55 secs
lola: 57533 markings, 197451 edges, 887 markings/sec, 60 secs
lola: 61958 markings, 211968 edges, 885 markings/sec, 65 secs
lola: 66351 markings, 226665 edges, 879 markings/sec, 70 secs
lola: 70739 markings, 241614 edges, 878 markings/sec, 75 secs
lola: 75159 markings, 256239 edges, 884 markings/sec, 80 secs
lola: 79566 markings, 271557 edges, 881 markings/sec, 85 secs
lola: 83965 markings, 287155 edges, 880 markings/sec, 90 secs
lola: 88385 markings, 302776 edges, 884 markings/sec, 95 secs
lola: 92809 markings, 318672 edges, 885 markings/sec, 100 secs
lola: 97217 markings, 334126 edges, 882 markings/sec, 105 secs
lola: 101640 markings, 349217 edges, 885 markings/sec, 110 secs
lola: 106048 markings, 364443 edges, 882 markings/sec, 115 secs
lola: 110442 markings, 379674 edges, 879 markings/sec, 120 secs
lola: 114821 markings, 395158 edges, 876 markings/sec, 125 secs
lola: 119308 markings, 410662 edges, 897 markings/sec, 130 secs
lola: 123737 markings, 425787 edges, 886 markings/sec, 135 secs
lola: 128189 markings, 440376 edges, 890 markings/sec, 140 secs
lola: 132626 markings, 455743 edges, 887 markings/sec, 145 secs
lola: 137053 markings, 471387 edges, 885 markings/sec, 150 secs
lola: 141495 markings, 486896 edges, 888 markings/sec, 155 secs
lola: 145915 markings, 501457 edges, 884 markings/sec, 160 secs
lola: 150332 markings, 516030 edges, 883 markings/sec, 165 secs
lola: 154762 markings, 530666 edges, 886 markings/sec, 170 secs
lola: 159198 markings, 545209 edges, 887 markings/sec, 175 secs
lola: 163625 markings, 559998 edges, 885 markings/sec, 180 secs
lola: 168038 markings, 574598 edges, 883 markings/sec, 185 secs
lola: 172451 markings, 590083 edges, 883 markings/sec, 190 secs
lola: 176865 markings, 605738 edges, 883 markings/sec, 195 secs
lola: 181267 markings, 622182 edges, 880 markings/sec, 200 secs
lola: 185681 markings, 637594 edges, 883 markings/sec, 205 secs
lola: 190080 markings, 652854 edges, 880 markings/sec, 210 secs
lola: 194472 markings, 668274 edges, 878 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__6_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: 4316 markings, 15600 edges, 863 markings/sec, 0 secs
lola: 8681 markings, 31478 edges, 873 markings/sec, 5 secs
lola: 13024 markings, 47357 edges, 869 markings/sec, 10 secs
lola: 17388 markings, 62933 edges, 873 markings/sec, 15 secs
lola: 21747 markings, 78581 edges, 872 markings/sec, 20 secs
lola: 26124 markings, 92944 edges, 875 markings/sec, 25 secs
lola: 30470 markings, 107973 edges, 869 markings/sec, 30 secs
lola: 34831 markings, 123267 edges, 872 markings/sec, 35 secs
lola: 39158 markings, 139324 edges, 865 markings/sec, 40 secs
lola: 43529 markings, 153440 edges, 874 markings/sec, 45 secs
lola: 47872 markings, 167950 edges, 869 markings/sec, 50 secs
lola: 52230 markings, 182465 edges, 872 markings/sec, 55 secs
lola: 56599 markings, 197588 edges, 874 markings/sec, 60 secs
lola: 60955 markings, 213617 edges, 871 markings/sec, 65 secs
lola: 65280 markings, 229726 edges, 865 markings/sec, 70 secs
lola: 69615 markings, 246125 edges, 867 markings/sec, 75 secs
lola: 73960 markings, 262213 edges, 869 markings/sec, 80 secs
lola: 78316 markings, 277291 edges, 871 markings/sec, 85 secs
lola: 82635 markings, 293382 edges, 864 markings/sec, 90 secs
lola: 86991 markings, 308348 edges, 871 markings/sec, 95 secs
lola: 91385 markings, 323354 edges, 879 markings/sec, 100 secs
lola: 95769 markings, 339297 edges, 877 markings/sec, 105 secs
lola: 100151 markings, 354440 edges, 876 markings/sec, 110 secs
lola: 104509 markings, 368514 edges, 872 markings/sec, 115 secs
lola: 108859 markings, 383402 edges, 870 markings/sec, 120 secs
lola: 113182 markings, 398237 edges, 865 markings/sec, 125 secs
lola: 117510 markings, 414043 edges, 866 markings/sec, 130 secs
lola: 121840 markings, 429538 edges, 866 markings/sec, 135 secs
lola: 126202 markings, 444113 edges, 872 markings/sec, 140 secs
lola: 130569 markings, 458938 edges, 873 markings/sec, 145 secs
lola: 134907 markings, 474081 edges, 868 markings/sec, 150 secs
lola: 139239 markings, 488357 edges, 866 markings/sec, 155 secs
lola: 143553 markings, 503384 edges, 863 markings/sec, 160 secs
lola: 147865 markings, 517628 edges, 862 markings/sec, 165 secs
lola: 152174 markings, 532170 edges, 862 markings/sec, 170 secs
lola: 156517 markings, 546541 edges, 869 markings/sec, 175 secs
lola: 160838 markings, 561872 edges, 864 markings/sec, 180 secs
lola: 165155 markings, 577496 edges, 863 markings/sec, 185 secs
lola: 169471 markings, 593025 edges, 863 markings/sec, 190 secs
lola: 173799 markings, 608502 edges, 866 markings/sec, 195 secs
lola: 178110 markings, 622308 edges, 862 markings/sec, 200 secs
lola: 182429 markings, 637101 edges, 864 markings/sec, 205 secs
lola: 186749 markings, 651140 edges, 864 markings/sec, 210 secs
lola: 191038 markings, 665879 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 9 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__33_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: 4312 markings, 14981 edges, 862 markings/sec, 0 secs
lola: 8691 markings, 30111 edges, 876 markings/sec, 5 secs
lola: 13070 markings, 44965 edges, 876 markings/sec, 10 secs
lola: 17447 markings, 60248 edges, 875 markings/sec, 15 secs
lola: 21831 markings, 75302 edges, 877 markings/sec, 20 secs
lola: 26202 markings, 90956 edges, 874 markings/sec, 25 secs
lola: 30587 markings, 106002 edges, 877 markings/sec, 30 secs
lola: 34979 markings, 121257 edges, 878 markings/sec, 35 secs
lola: 39350 markings, 136436 edges, 874 markings/sec, 40 secs
lola: 43711 markings, 151789 edges, 872 markings/sec, 45 secs
lola: 48091 markings, 166816 edges, 876 markings/sec, 50 secs
lola: 52444 markings, 181750 edges, 871 markings/sec, 55 secs
lola: 56791 markings, 197163 edges, 869 markings/sec, 60 secs
lola: 61162 markings, 212448 edges, 874 markings/sec, 65 secs
lola: 65527 markings, 227237 edges, 873 markings/sec, 70 secs
lola: 69861 markings, 240644 edges, 867 markings/sec, 75 secs
lola: 74193 markings, 255079 edges, 866 markings/sec, 80 secs
lola: 78510 markings, 270646 edges, 863 markings/sec, 85 secs
lola: 82856 markings, 285483 edges, 869 markings/sec, 90 secs
lola: 87229 markings, 301038 edges, 875 markings/sec, 95 secs
lola: 91596 markings, 316342 edges, 873 markings/sec, 100 secs
lola: 95969 markings, 331936 edges, 875 markings/sec, 105 secs
lola: 100345 markings, 345900 edges, 875 markings/sec, 110 secs
lola: 104710 markings, 360422 edges, 873 markings/sec, 115 secs
lola: 109082 markings, 375774 edges, 874 markings/sec, 120 secs
lola: 113436 markings, 391210 edges, 871 markings/sec, 125 secs
lola: 117795 markings, 405506 edges, 872 markings/sec, 130 secs
lola: 122156 markings, 419424 edges, 872 markings/sec, 135 secs
lola: 126500 markings, 434193 edges, 869 markings/sec, 140 secs
lola: 130877 markings, 447341 edges, 875 markings/sec, 145 secs
lola: 135227 markings, 462532 edges, 870 markings/sec, 150 secs
lola: 139605 markings, 477422 edges, 876 markings/sec, 155 secs
lola: 144027 markings, 491291 edges, 884 markings/sec, 160 secs
lola: 148443 markings, 506135 edges, 883 markings/sec, 165 secs
lola: 152844 markings, 522101 edges, 880 markings/sec, 170 secs
lola: 157257 markings, 537605 edges, 883 markings/sec, 175 secs
lola: 161651 markings, 553035 edges, 879 markings/sec, 180 secs
lola: 166044 markings, 568624 edges, 879 markings/sec, 185 secs
lola: 170453 markings, 582367 edges, 882 markings/sec, 190 secs
lola: 174895 markings, 596151 edges, 888 markings/sec, 195 secs
lola: 179318 markings, 611568 edges, 885 markings/sec, 200 secs
lola: 183736 markings, 627152 edges, 884 markings/sec, 205 secs
lola: 188144 markings, 642620 edges, 882 markings/sec, 210 secs
lola: 192545 markings, 658684 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 10 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__10_26_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 6396 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 4356 markings, 15386 edges, 871 markings/sec, 0 secs
lola: 8749 markings, 31382 edges, 879 markings/sec, 5 secs
lola: 13134 markings, 47109 edges, 877 markings/sec, 10 secs
lola: 17518 markings, 62618 edges, 877 markings/sec, 15 secs
lola: 21874 markings, 78420 edges, 871 markings/sec, 20 secs
lola: 26244 markings, 93862 edges, 874 markings/sec, 25 secs
lola: 30599 markings, 110283 edges, 871 markings/sec, 30 secs
lola: 34960 markings, 125945 edges, 872 markings/sec, 35 secs
lola: 39323 markings, 141818 edges, 873 markings/sec, 40 secs
lola: 43675 markings, 157927 edges, 870 markings/sec, 45 secs
lola: 48023 markings, 173764 edges, 870 markings/sec, 50 secs
lola: 52381 markings, 189755 edges, 872 markings/sec, 55 secs
lola: 56767 markings, 205631 edges, 877 markings/sec, 60 secs
lola: 61126 markings, 221192 edges, 872 markings/sec, 65 secs
lola: 65489 markings, 237008 edges, 873 markings/sec, 70 secs
lola: 69868 markings, 252764 edges, 876 markings/sec, 75 secs
lola: 74250 markings, 268070 edges, 876 markings/sec, 80 secs
lola: 78618 markings, 283449 edges, 874 markings/sec, 85 secs
lola: 82982 markings, 299828 edges, 873 markings/sec, 90 secs
lola: 87322 markings, 315047 edges, 868 markings/sec, 95 secs
lola: 91680 markings, 329869 edges, 872 markings/sec, 100 secs
lola: 96039 markings, 345946 edges, 872 markings/sec, 105 secs
lola: 100394 markings, 361307 edges, 871 markings/sec, 110 secs
lola: 104745 markings, 377276 edges, 870 markings/sec, 115 secs
lola: 109106 markings, 392379 edges, 872 markings/sec, 120 secs
lola: 113454 markings, 408322 edges, 870 markings/sec, 125 secs
lola: 117830 markings, 423855 edges, 875 markings/sec, 130 secs
lola: 122203 markings, 438701 edges, 875 markings/sec, 135 secs
lola: 126540 markings, 454713 edges, 867 markings/sec, 140 secs
lola: 130887 markings, 470175 edges, 869 markings/sec, 145 secs
lola: 135257 markings, 484291 edges, 874 markings/sec, 150 secs
lola: 139598 markings, 498915 edges, 868 markings/sec, 155 secs
lola: 143925 markings, 513793 edges, 865 markings/sec, 160 secs
lola: 148310 markings, 529468 edges, 877 markings/sec, 165 secs
lola: 152642 markings, 545781 edges, 866 markings/sec, 170 secs
lola: 156949 markings, 561592 edges, 861 markings/sec, 175 secs
lola: 161277 markings, 576674 edges, 866 markings/sec, 180 secs
lola: 165613 markings, 591856 edges, 867 markings/sec, 185 secs
lola: 169956 markings, 607004 edges, 869 markings/sec, 190 secs
lola: 174304 markings, 622851 edges, 870 markings/sec, 195 secs
lola: 178654 markings, 638821 edges, 870 markings/sec, 200 secs
lola: 183001 markings, 654216 edges, 869 markings/sec, 205 secs
lola: 187349 markings, 668906 edges, 870 markings/sec, 210 secs
lola: 191660 markings, 684119 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 11 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__26_16_)
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, 14275 edges, 868 markings/sec, 0 secs
lola: 8739 markings, 30506 edges, 879 markings/sec, 5 secs
lola: 13129 markings, 46596 edges, 878 markings/sec, 10 secs
lola: 17534 markings, 61633 edges, 881 markings/sec, 15 secs
lola: 21927 markings, 77773 edges, 879 markings/sec, 20 secs
lola: 26314 markings, 93529 edges, 877 markings/sec, 25 secs
lola: 30707 markings, 108398 edges, 879 markings/sec, 30 secs
lola: 35140 markings, 122294 edges, 887 markings/sec, 35 secs
lola: 39549 markings, 136765 edges, 882 markings/sec, 40 secs
lola: 43968 markings, 151434 edges, 884 markings/sec, 45 secs
lola: 48355 markings, 166701 edges, 877 markings/sec, 50 secs
lola: 52743 markings, 181567 edges, 878 markings/sec, 55 secs
lola: 57133 markings, 196612 edges, 878 markings/sec, 60 secs
lola: 61507 markings, 212656 edges, 875 markings/sec, 65 secs
lola: 65885 markings, 229061 edges, 876 markings/sec, 70 secs
lola: 70263 markings, 245592 edges, 876 markings/sec, 75 secs
lola: 74629 markings, 262246 edges, 873 markings/sec, 80 secs
lola: 78962 markings, 279057 edges, 867 markings/sec, 85 secs
lola: 83273 markings, 294090 edges, 862 markings/sec, 90 secs
lola: 87585 markings, 310793 edges, 862 markings/sec, 95 secs
lola: 91903 markings, 326915 edges, 864 markings/sec, 100 secs
lola: 96277 markings, 340314 edges, 875 markings/sec, 105 secs
lola: 100635 markings, 355060 edges, 872 markings/sec, 110 secs
lola: 105013 markings, 370028 edges, 876 markings/sec, 115 secs
lola: 109374 markings, 385032 edges, 872 markings/sec, 120 secs
lola: 113708 markings, 399690 edges, 867 markings/sec, 125 secs
lola: 118028 markings, 415692 edges, 864 markings/sec, 130 secs
lola: 122376 markings, 431275 edges, 870 markings/sec, 135 secs
lola: 126726 markings, 446408 edges, 870 markings/sec, 140 secs
lola: 131088 markings, 460066 edges, 872 markings/sec, 145 secs
lola: 135438 markings, 475672 edges, 870 markings/sec, 150 secs
lola: 139785 markings, 491186 edges, 869 markings/sec, 155 secs
lola: 144141 markings, 505967 edges, 871 markings/sec, 160 secs
lola: 148446 markings, 522874 edges, 861 markings/sec, 165 secs
lola: 152792 markings, 538666 edges, 869 markings/sec, 170 secs
lola: 157130 markings, 554464 edges, 868 markings/sec, 175 secs
lola: 161484 markings, 571809 edges, 871 markings/sec, 180 secs
lola: 165822 markings, 589402 edges, 868 markings/sec, 185 secs
lola: 170204 markings, 604945 edges, 876 markings/sec, 190 secs
lola: 174545 markings, 622140 edges, 868 markings/sec, 195 secs
lola: 178897 markings, 637590 edges, 870 markings/sec, 200 secs
lola: 183243 markings, 652968 edges, 869 markings/sec, 205 secs
lola: 187594 markings, 667890 edges, 870 markings/sec, 210 secs
lola: 191995 markings, 682614 edges, 880 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__1_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: 4425 markings, 13461 edges, 885 markings/sec, 0 secs
lola: 8882 markings, 26613 edges, 891 markings/sec, 5 secs
lola: 13329 markings, 40852 edges, 889 markings/sec, 10 secs
lola: 17762 markings, 54771 edges, 887 markings/sec, 15 secs
lola: 22207 markings, 68425 edges, 889 markings/sec, 20 secs
lola: 26679 markings, 82797 edges, 894 markings/sec, 25 secs
lola: 31111 markings, 96841 edges, 886 markings/sec, 30 secs
lola: 35544 markings, 110987 edges, 887 markings/sec, 35 secs
lola: 39983 markings, 124646 edges, 888 markings/sec, 40 secs
lola: 44433 markings, 138793 edges, 890 markings/sec, 45 secs
lola: 48872 markings, 152737 edges, 888 markings/sec, 50 secs
lola: 53320 markings, 166362 edges, 890 markings/sec, 55 secs
lola: 57744 markings, 179767 edges, 885 markings/sec, 60 secs
lola: 62174 markings, 193951 edges, 886 markings/sec, 65 secs
lola: 66621 markings, 208059 edges, 889 markings/sec, 70 secs
lola: 71048 markings, 222582 edges, 885 markings/sec, 75 secs
lola: 75464 markings, 237160 edges, 883 markings/sec, 80 secs
lola: 79860 markings, 253532 edges, 879 markings/sec, 85 secs
lola: 84297 markings, 268509 edges, 887 markings/sec, 90 secs
lola: 88725 markings, 283748 edges, 886 markings/sec, 95 secs
lola: 93165 markings, 298175 edges, 888 markings/sec, 100 secs
lola: 97607 markings, 311971 edges, 888 markings/sec, 105 secs
lola: 102027 markings, 327286 edges, 884 markings/sec, 110 secs
lola: 106454 markings, 341806 edges, 885 markings/sec, 115 secs
lola: 110869 markings, 355378 edges, 883 markings/sec, 120 secs
lola: 115280 markings, 369840 edges, 882 markings/sec, 125 secs
lola: 119704 markings, 384385 edges, 885 markings/sec, 130 secs
lola: 124119 markings, 399300 edges, 883 markings/sec, 135 secs
lola: 128591 markings, 413049 edges, 894 markings/sec, 140 secs
lola: 133063 markings, 427230 edges, 894 markings/sec, 145 secs
lola: 137497 markings, 441740 edges, 887 markings/sec, 150 secs
lola: 141915 markings, 455549 edges, 884 markings/sec, 155 secs
lola: 146317 markings, 470196 edges, 880 markings/sec, 160 secs
lola: 150743 markings, 484943 edges, 885 markings/sec, 165 secs
lola: 155169 markings, 499309 edges, 885 markings/sec, 170 secs
lola: 159606 markings, 513179 edges, 887 markings/sec, 175 secs
lola: 164074 markings, 527171 edges, 894 markings/sec, 180 secs
lola: 168548 markings, 541596 edges, 895 markings/sec, 185 secs
lola: 173006 markings, 556788 edges, 892 markings/sec, 190 secs
lola: 177420 markings, 570638 edges, 883 markings/sec, 195 secs
lola: 181827 markings, 584832 edges, 881 markings/sec, 200 secs
lola: 186228 markings, 599895 edges, 880 markings/sec, 205 secs
lola: 190621 markings, 615427 edges, 879 markings/sec, 210 secs
lola: 195024 markings, 630185 edges, 881 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__14_28_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 6396 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 4345 markings, 15383 edges, 869 markings/sec, 0 secs
lola: 8659 markings, 31161 edges, 863 markings/sec, 5 secs
lola: 12995 markings, 45164 edges, 867 markings/sec, 10 secs
lola: 17298 markings, 60191 edges, 861 markings/sec, 15 secs
lola: 21575 markings, 76523 edges, 855 markings/sec, 20 secs
lola: 25881 markings, 92058 edges, 861 markings/sec, 25 secs
lola: 30203 markings, 107138 edges, 864 markings/sec, 30 secs
lola: 34487 markings, 123144 edges, 857 markings/sec, 35 secs
lola: 38769 markings, 139165 edges, 856 markings/sec, 40 secs
lola: 43046 markings, 154718 edges, 855 markings/sec, 45 secs
lola: 47318 markings, 169276 edges, 854 markings/sec, 50 secs
lola: 51584 markings, 184015 edges, 853 markings/sec, 55 secs
lola: 55825 markings, 197898 edges, 848 markings/sec, 60 secs
lola: 60113 markings, 212862 edges, 858 markings/sec, 65 secs
lola: 64392 markings, 226650 edges, 856 markings/sec, 70 secs
lola: 68675 markings, 240430 edges, 857 markings/sec, 75 secs
lola: 72937 markings, 254456 edges, 852 markings/sec, 80 secs
lola: 77181 markings, 268751 edges, 849 markings/sec, 85 secs
lola: 81420 markings, 283026 edges, 848 markings/sec, 90 secs
lola: 85675 markings, 296664 edges, 851 markings/sec, 95 secs
lola: 89937 markings, 310888 edges, 852 markings/sec, 100 secs
lola: 94179 markings, 326760 edges, 848 markings/sec, 105 secs
lola: 98396 markings, 341099 edges, 843 markings/sec, 110 secs
lola: 102596 markings, 356669 edges, 840 markings/sec, 115 secs
lola: 106839 markings, 371148 edges, 849 markings/sec, 120 secs
lola: 111035 markings, 386427 edges, 839 markings/sec, 125 secs
lola: 115296 markings, 401200 edges, 852 markings/sec, 130 secs
lola: 119524 markings, 415659 edges, 846 markings/sec, 135 secs
lola: 123757 markings, 430266 edges, 847 markings/sec, 140 secs
lola: 128032 markings, 445144 edges, 855 markings/sec, 145 secs
lola: 132303 markings, 459898 edges, 854 markings/sec, 150 secs
lola: 136588 markings, 474591 edges, 857 markings/sec, 155 secs
lola: 140877 markings, 490158 edges, 858 markings/sec, 160 secs
lola: 145141 markings, 505075 edges, 853 markings/sec, 165 secs
lola: 149422 markings, 519813 edges, 856 markings/sec, 170 secs
lola: 153723 markings, 535405 edges, 860 markings/sec, 175 secs
lola: 158044 markings, 550086 edges, 864 markings/sec, 180 secs
lola: 162337 markings, 565635 edges, 859 markings/sec, 185 secs
lola: 166637 markings, 581017 edges, 860 markings/sec, 190 secs
lola: 170923 markings, 596160 edges, 857 markings/sec, 195 secs
lola: 175224 markings, 611418 edges, 860 markings/sec, 200 secs
lola: 179514 markings, 626919 edges, 858 markings/sec, 205 secs
lola: 183799 markings, 642834 edges, 857 markings/sec, 210 secs
lola: 188077 markings, 657847 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 14 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__28_20_)
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: 4349 markings, 15539 edges, 870 markings/sec, 0 secs
lola: 8732 markings, 31209 edges, 877 markings/sec, 5 secs
lola: 13137 markings, 46740 edges, 881 markings/sec, 10 secs
lola: 17539 markings, 63877 edges, 880 markings/sec, 15 secs
lola: 21958 markings, 80006 edges, 884 markings/sec, 20 secs
lola: 26386 markings, 95964 edges, 886 markings/sec, 25 secs
lola: 30814 markings, 111717 edges, 886 markings/sec, 30 secs
lola: 35224 markings, 128311 edges, 882 markings/sec, 35 secs
lola: 39609 markings, 145711 edges, 877 markings/sec, 40 secs
lola: 43994 markings, 163089 edges, 877 markings/sec, 45 secs
lola: 48386 markings, 179159 edges, 878 markings/sec, 50 secs
lola: 52765 markings, 196841 edges, 876 markings/sec, 55 secs
lola: 57142 markings, 213764 edges, 875 markings/sec, 60 secs
lola: 61468 markings, 229691 edges, 865 markings/sec, 65 secs
lola: 65863 markings, 245464 edges, 879 markings/sec, 70 secs
lola: 70251 markings, 262444 edges, 878 markings/sec, 75 secs
lola: 74666 markings, 279146 edges, 883 markings/sec, 80 secs
lola: 79045 markings, 295115 edges, 876 markings/sec, 85 secs
lola: 83402 markings, 311577 edges, 871 markings/sec, 90 secs
lola: 87739 markings, 327213 edges, 867 markings/sec, 95 secs
lola: 92105 markings, 344177 edges, 873 markings/sec, 100 secs
lola: 96440 markings, 362402 edges, 867 markings/sec, 105 secs
lola: 100752 markings, 378999 edges, 862 markings/sec, 110 secs
lola: 105140 markings, 395137 edges, 878 markings/sec, 115 secs
lola: 109462 markings, 412725 edges, 864 markings/sec, 120 secs
lola: 113875 markings, 428353 edges, 883 markings/sec, 125 secs
lola: 118274 markings, 444743 edges, 880 markings/sec, 130 secs
lola: 122667 markings, 460799 edges, 879 markings/sec, 135 secs
lola: 127066 markings, 476779 edges, 880 markings/sec, 140 secs
lola: 131460 markings, 493753 edges, 879 markings/sec, 145 secs
lola: 135879 markings, 509988 edges, 884 markings/sec, 150 secs
lola: 140326 markings, 526423 edges, 889 markings/sec, 155 secs
lola: 144783 markings, 542212 edges, 891 markings/sec, 160 secs
lola: 149196 markings, 557359 edges, 883 markings/sec, 165 secs
lola: 153604 markings, 573098 edges, 882 markings/sec, 170 secs
lola: 158016 markings, 588354 edges, 882 markings/sec, 175 secs
lola: 162411 markings, 604528 edges, 879 markings/sec, 180 secs
lola: 166813 markings, 620809 edges, 880 markings/sec, 185 secs
lola: 171198 markings, 638251 edges, 877 markings/sec, 190 secs
lola: 175609 markings, 653398 edges, 882 markings/sec, 195 secs
lola: 179999 markings, 669304 edges, 878 markings/sec, 200 secs
lola: 184400 markings, 685438 edges, 880 markings/sec, 205 secs
lola: 188773 markings, 702101 edges, 875 markings/sec, 210 secs
lola: 193167 markings, 718022 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 15 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__18_39_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 6396 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 4291 markings, 15213 edges, 858 markings/sec, 0 secs
lola: 8594 markings, 29179 edges, 861 markings/sec, 5 secs
lola: 12887 markings, 43027 edges, 859 markings/sec, 10 secs
lola: 17169 markings, 56790 edges, 856 markings/sec, 15 secs
lola: 21450 markings, 71113 edges, 856 markings/sec, 20 secs
lola: 25736 markings, 85716 edges, 857 markings/sec, 25 secs
lola: 30008 markings, 99905 edges, 854 markings/sec, 30 secs
lola: 34288 markings, 114055 edges, 856 markings/sec, 35 secs
lola: 38511 markings, 128457 edges, 845 markings/sec, 40 secs
lola: 42784 markings, 142992 edges, 855 markings/sec, 45 secs
lola: 47015 markings, 156933 edges, 846 markings/sec, 50 secs
lola: 51286 markings, 170512 edges, 854 markings/sec, 55 secs
lola: 55582 markings, 184937 edges, 859 markings/sec, 60 secs
lola: 59903 markings, 199228 edges, 864 markings/sec, 65 secs
lola: 64197 markings, 213539 edges, 859 markings/sec, 70 secs
lola: 68446 markings, 227854 edges, 850 markings/sec, 75 secs
lola: 72685 markings, 242044 edges, 848 markings/sec, 80 secs
lola: 76905 markings, 256475 edges, 844 markings/sec, 85 secs
lola: 81086 markings, 270568 edges, 836 markings/sec, 90 secs
lola: 85303 markings, 284650 edges, 843 markings/sec, 95 secs
lola: 89517 markings, 298926 edges, 843 markings/sec, 100 secs
lola: 93725 markings, 312890 edges, 842 markings/sec, 105 secs
lola: 97938 markings, 326615 edges, 843 markings/sec, 110 secs
lola: 102149 markings, 340328 edges, 842 markings/sec, 115 secs
lola: 106372 markings, 355627 edges, 845 markings/sec, 120 secs
lola: 110625 markings, 369399 edges, 851 markings/sec, 125 secs
lola: 114873 markings, 383119 edges, 850 markings/sec, 130 secs
lola: 119143 markings, 397524 edges, 854 markings/sec, 135 secs
lola: 123425 markings, 411789 edges, 856 markings/sec, 140 secs
lola: 127665 markings, 425870 edges, 848 markings/sec, 145 secs
lola: 131911 markings, 439984 edges, 849 markings/sec, 150 secs
lola: 136188 markings, 454197 edges, 855 markings/sec, 155 secs
lola: 140422 markings, 468024 edges, 847 markings/sec, 160 secs
lola: 144656 markings, 482089 edges, 847 markings/sec, 165 secs
lola: 148879 markings, 496087 edges, 845 markings/sec, 170 secs
lola: 153111 markings, 509366 edges, 846 markings/sec, 175 secs
lola: 157343 markings, 523310 edges, 846 markings/sec, 180 secs
lola: 161555 markings, 537298 edges, 842 markings/sec, 185 secs
lola: 165811 markings, 551399 edges, 851 markings/sec, 190 secs
lola: 170070 markings, 565208 edges, 852 markings/sec, 195 secs
lola: 174342 markings, 579683 edges, 854 markings/sec, 200 secs
lola: 178628 markings, 593301 edges, 857 markings/sec, 205 secs
lola: 182887 markings, 607469 edges, 852 markings/sec, 210 secs
lola: 187173 markings, 621853 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-D40N100-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D40N100-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D40N100-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D40N100-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D40N100-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D40N100-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D40N100-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D40N100-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D40N100-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D40N100-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D40N100-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D40N100-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D40N100-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D40N100-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D40N100-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D40N100-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1496464921479
--------------------
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-D40N100"
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-D40N100.tgz
mv S_Diffusion2D-PT-D40N100 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-D40N100, 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-149488455800389"
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 ;