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

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

=== Now, execution of the tool begins

BK_START 1496460756511


Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_Diffusion2D-PT-D40N050: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete


checking for too many tokens
===========================================================================================
S_Diffusion2D-PT-D40N050: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_Diffusion2D-PT-D40N050 @ 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-D40N050-UpperBounds.task
lola: MAX(cAMP__8_4_) : MAX(cAMP__5_28_) : MAX(cAMP__24_7_) : MAX(cAMP__31_15_) : MAX(cAMP__30_1_) : MAX(cAMP__23_8_) : MAX(cAMP__38_33_) : MAX(cAMP__18_24_) : MAX(cAMP__29_28_) : MAX(cAMP__27_21_) : MAX(cAMP__35_33_) : MAX(cAMP__26_40_) : MAX(cAMP__39_39_) : MAX(cAMP__25_22_) : MAX(cAMP__28_26_) : MAX(cAMP__35_36_)
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__8_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: 4296 markings, 12289 edges, 859 markings/sec, 0 secs
lola: 8661 markings, 25678 edges, 873 markings/sec, 5 secs
lola: 12981 markings, 39624 edges, 864 markings/sec, 10 secs
lola: 17321 markings, 53823 edges, 868 markings/sec, 15 secs
lola: 21661 markings, 67642 edges, 868 markings/sec, 20 secs
lola: 25999 markings, 81929 edges, 868 markings/sec, 25 secs
lola: 30351 markings, 95483 edges, 870 markings/sec, 30 secs
lola: 34706 markings, 109622 edges, 871 markings/sec, 35 secs
lola: 39096 markings, 123257 edges, 878 markings/sec, 40 secs
lola: 43458 markings, 136980 edges, 872 markings/sec, 45 secs
lola: 47683 markings, 151309 edges, 845 markings/sec, 50 secs
lola: 51998 markings, 165722 edges, 863 markings/sec, 55 secs
lola: 56338 markings, 179323 edges, 868 markings/sec, 60 secs
lola: 60660 markings, 192975 edges, 864 markings/sec, 65 secs
lola: 64986 markings, 206281 edges, 865 markings/sec, 70 secs
lola: 69328 markings, 219513 edges, 868 markings/sec, 75 secs
lola: 73637 markings, 233197 edges, 862 markings/sec, 80 secs
lola: 77953 markings, 248007 edges, 863 markings/sec, 85 secs
lola: 82260 markings, 262054 edges, 861 markings/sec, 90 secs
lola: 86591 markings, 275852 edges, 866 markings/sec, 95 secs
lola: 91010 markings, 289783 edges, 884 markings/sec, 100 secs
lola: 95380 markings, 302994 edges, 874 markings/sec, 105 secs
lola: 99716 markings, 316392 edges, 867 markings/sec, 110 secs
lola: 104063 markings, 331475 edges, 869 markings/sec, 115 secs
lola: 108402 markings, 344830 edges, 868 markings/sec, 120 secs
lola: 112728 markings, 358122 edges, 865 markings/sec, 125 secs
lola: 117039 markings, 372338 edges, 862 markings/sec, 130 secs
lola: 121373 markings, 385910 edges, 867 markings/sec, 135 secs
lola: 125696 markings, 399521 edges, 865 markings/sec, 140 secs
lola: 130021 markings, 413415 edges, 865 markings/sec, 145 secs
lola: 134339 markings, 426805 edges, 864 markings/sec, 150 secs
lola: 138647 markings, 440707 edges, 862 markings/sec, 155 secs
lola: 142983 markings, 454322 edges, 867 markings/sec, 160 secs
lola: 147302 markings, 468256 edges, 864 markings/sec, 165 secs
lola: 151641 markings, 481597 edges, 868 markings/sec, 170 secs
lola: 155990 markings, 495869 edges, 870 markings/sec, 175 secs
lola: 160330 markings, 509502 edges, 868 markings/sec, 180 secs
lola: 164644 markings, 523352 edges, 863 markings/sec, 185 secs
lola: 168888 markings, 536599 edges, 849 markings/sec, 190 secs
lola: 173190 markings, 550546 edges, 860 markings/sec, 195 secs
lola: 177542 markings, 564348 edges, 870 markings/sec, 200 secs
lola: 181929 markings, 579240 edges, 877 markings/sec, 205 secs
lola: 186313 markings, 593136 edges, 877 markings/sec, 210 secs
lola: 190664 markings, 606663 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 1 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__5_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: 4500 markings, 15654 edges, 900 markings/sec, 0 secs
lola: 8961 markings, 32427 edges, 892 markings/sec, 5 secs
lola: 13439 markings, 47219 edges, 896 markings/sec, 10 secs
lola: 17783 markings, 61919 edges, 869 markings/sec, 15 secs
lola: 22191 markings, 77843 edges, 882 markings/sec, 20 secs
lola: 26578 markings, 93348 edges, 877 markings/sec, 25 secs
lola: 30882 markings, 108627 edges, 861 markings/sec, 30 secs
lola: 35274 markings, 123501 edges, 878 markings/sec, 35 secs
lola: 39660 markings, 138414 edges, 877 markings/sec, 40 secs
lola: 44020 markings, 154103 edges, 872 markings/sec, 45 secs
lola: 48374 markings, 170537 edges, 871 markings/sec, 50 secs
lola: 52698 markings, 185317 edges, 865 markings/sec, 55 secs
lola: 57141 markings, 200722 edges, 889 markings/sec, 60 secs
lola: 61563 markings, 215994 edges, 884 markings/sec, 65 secs
lola: 65993 markings, 230867 edges, 886 markings/sec, 70 secs
lola: 70412 markings, 246931 edges, 884 markings/sec, 75 secs
lola: 74829 markings, 263029 edges, 883 markings/sec, 80 secs
lola: 79270 markings, 278274 edges, 888 markings/sec, 85 secs
lola: 83730 markings, 294201 edges, 892 markings/sec, 90 secs
lola: 88193 markings, 310065 edges, 893 markings/sec, 95 secs
lola: 92620 markings, 327190 edges, 885 markings/sec, 100 secs
lola: 97046 markings, 343644 edges, 885 markings/sec, 105 secs
lola: 101446 markings, 357952 edges, 880 markings/sec, 110 secs
lola: 105848 markings, 373041 edges, 880 markings/sec, 115 secs
lola: 110212 markings, 388785 edges, 873 markings/sec, 120 secs
lola: 114619 markings, 404394 edges, 881 markings/sec, 125 secs
lola: 119014 markings, 421080 edges, 879 markings/sec, 130 secs
lola: 123401 markings, 437755 edges, 877 markings/sec, 135 secs
lola: 127807 markings, 452083 edges, 881 markings/sec, 140 secs
lola: 132197 markings, 467270 edges, 878 markings/sec, 145 secs
lola: 136621 markings, 481940 edges, 885 markings/sec, 150 secs
lola: 141046 markings, 496214 edges, 885 markings/sec, 155 secs
lola: 145456 markings, 511035 edges, 882 markings/sec, 160 secs
lola: 149889 markings, 526202 edges, 887 markings/sec, 165 secs
lola: 154317 markings, 541123 edges, 886 markings/sec, 170 secs
lola: 158705 markings, 556117 edges, 878 markings/sec, 175 secs
lola: 163132 markings, 570741 edges, 885 markings/sec, 180 secs
lola: 167569 markings, 584613 edges, 887 markings/sec, 185 secs
lola: 171989 markings, 599403 edges, 884 markings/sec, 190 secs
lola: 176408 markings, 615025 edges, 884 markings/sec, 195 secs
lola: 180851 markings, 629404 edges, 889 markings/sec, 200 secs
lola: 185224 markings, 643592 edges, 875 markings/sec, 205 secs
lola: 189666 markings, 658528 edges, 888 markings/sec, 210 secs
lola: 194136 markings, 673136 edges, 894 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__24_7_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 6396 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 4300 markings, 14511 edges, 860 markings/sec, 0 secs
lola: 8625 markings, 29138 edges, 865 markings/sec, 5 secs
lola: 12961 markings, 43781 edges, 867 markings/sec, 10 secs
lola: 17283 markings, 57755 edges, 864 markings/sec, 15 secs
lola: 21592 markings, 71695 edges, 862 markings/sec, 20 secs
lola: 25894 markings, 86195 edges, 860 markings/sec, 25 secs
lola: 30206 markings, 100460 edges, 862 markings/sec, 30 secs
lola: 34539 markings, 114183 edges, 867 markings/sec, 35 secs
lola: 38887 markings, 128025 edges, 870 markings/sec, 40 secs
lola: 43201 markings, 142162 edges, 863 markings/sec, 45 secs
lola: 47489 markings, 157510 edges, 858 markings/sec, 50 secs
lola: 51836 markings, 171853 edges, 869 markings/sec, 55 secs
lola: 56180 markings, 185908 edges, 869 markings/sec, 60 secs
lola: 60480 markings, 201388 edges, 860 markings/sec, 65 secs
lola: 64764 markings, 215496 edges, 857 markings/sec, 70 secs
lola: 69009 markings, 229266 edges, 849 markings/sec, 75 secs
lola: 73294 markings, 243196 edges, 857 markings/sec, 80 secs
lola: 77593 markings, 257247 edges, 860 markings/sec, 85 secs
lola: 81911 markings, 271037 edges, 864 markings/sec, 90 secs
lola: 86207 markings, 285584 edges, 859 markings/sec, 95 secs
lola: 90493 markings, 299927 edges, 857 markings/sec, 100 secs
lola: 94788 markings, 313827 edges, 859 markings/sec, 105 secs
lola: 99041 markings, 327976 edges, 851 markings/sec, 110 secs
lola: 103301 markings, 341896 edges, 852 markings/sec, 115 secs
lola: 107556 markings, 355713 edges, 851 markings/sec, 120 secs
lola: 111803 markings, 369506 edges, 849 markings/sec, 125 secs
lola: 116066 markings, 384737 edges, 853 markings/sec, 130 secs
lola: 120344 markings, 398021 edges, 856 markings/sec, 135 secs
lola: 124607 markings, 412209 edges, 853 markings/sec, 140 secs
lola: 128860 markings, 425525 edges, 851 markings/sec, 145 secs
lola: 133095 markings, 439509 edges, 847 markings/sec, 150 secs
lola: 137344 markings, 453063 edges, 850 markings/sec, 155 secs
lola: 141587 markings, 466646 edges, 849 markings/sec, 160 secs
lola: 145820 markings, 480365 edges, 847 markings/sec, 165 secs
lola: 150045 markings, 494900 edges, 845 markings/sec, 170 secs
lola: 154279 markings, 508475 edges, 847 markings/sec, 175 secs
lola: 158572 markings, 522286 edges, 859 markings/sec, 180 secs
lola: 162835 markings, 536476 edges, 853 markings/sec, 185 secs
lola: 167057 markings, 550602 edges, 844 markings/sec, 190 secs
lola: 171364 markings, 565040 edges, 861 markings/sec, 195 secs
lola: 175692 markings, 579472 edges, 866 markings/sec, 200 secs
lola: 179916 markings, 593059 edges, 845 markings/sec, 205 secs
lola: 184165 markings, 606325 edges, 850 markings/sec, 210 secs
lola: 188418 markings, 619727 edges, 851 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__31_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: 4334 markings, 15398 edges, 867 markings/sec, 0 secs
lola: 8694 markings, 31371 edges, 872 markings/sec, 5 secs
lola: 13058 markings, 45837 edges, 873 markings/sec, 10 secs
lola: 17428 markings, 59940 edges, 874 markings/sec, 15 secs
lola: 21788 markings, 73661 edges, 872 markings/sec, 20 secs
lola: 26140 markings, 87089 edges, 870 markings/sec, 25 secs
lola: 30476 markings, 101450 edges, 867 markings/sec, 30 secs
lola: 34831 markings, 115192 edges, 871 markings/sec, 35 secs
lola: 39182 markings, 128478 edges, 870 markings/sec, 40 secs
lola: 43561 markings, 142972 edges, 876 markings/sec, 45 secs
lola: 47939 markings, 157915 edges, 876 markings/sec, 50 secs
lola: 52295 markings, 173296 edges, 871 markings/sec, 55 secs
lola: 56635 markings, 188757 edges, 868 markings/sec, 60 secs
lola: 60955 markings, 204497 edges, 864 markings/sec, 65 secs
lola: 65263 markings, 220324 edges, 862 markings/sec, 70 secs
lola: 69609 markings, 235226 edges, 869 markings/sec, 75 secs
lola: 73970 markings, 251012 edges, 872 markings/sec, 80 secs
lola: 78366 markings, 267147 edges, 879 markings/sec, 85 secs
lola: 82759 markings, 282756 edges, 879 markings/sec, 90 secs
lola: 87143 markings, 299073 edges, 877 markings/sec, 95 secs
lola: 91569 markings, 312745 edges, 885 markings/sec, 100 secs
lola: 95981 markings, 327731 edges, 882 markings/sec, 105 secs
lola: 100394 markings, 342801 edges, 883 markings/sec, 110 secs
lola: 104797 markings, 358205 edges, 881 markings/sec, 115 secs
lola: 109209 markings, 372813 edges, 882 markings/sec, 120 secs
lola: 113601 markings, 389245 edges, 878 markings/sec, 125 secs
lola: 118011 markings, 403305 edges, 882 markings/sec, 130 secs
lola: 122430 markings, 417873 edges, 884 markings/sec, 135 secs
lola: 126835 markings, 431019 edges, 881 markings/sec, 140 secs
lola: 131234 markings, 444631 edges, 880 markings/sec, 145 secs
lola: 135639 markings, 458414 edges, 881 markings/sec, 150 secs
lola: 140054 markings, 471919 edges, 883 markings/sec, 155 secs
lola: 144454 markings, 485704 edges, 880 markings/sec, 160 secs
lola: 148855 markings, 499636 edges, 880 markings/sec, 165 secs
lola: 153239 markings, 515119 edges, 877 markings/sec, 170 secs
lola: 157624 markings, 529182 edges, 877 markings/sec, 175 secs
lola: 162024 markings, 542493 edges, 880 markings/sec, 180 secs
lola: 166403 markings, 555634 edges, 876 markings/sec, 185 secs
lola: 170795 markings, 569562 edges, 878 markings/sec, 190 secs
lola: 175201 markings, 583295 edges, 881 markings/sec, 195 secs
lola: 179611 markings, 597585 edges, 882 markings/sec, 200 secs
lola: 183978 markings, 612472 edges, 873 markings/sec, 205 secs
lola: 188345 markings, 626182 edges, 873 markings/sec, 210 secs
lola: 192701 markings, 640126 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 4 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__30_1_)
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: 4295 markings, 15563 edges, 859 markings/sec, 0 secs
lola: 8574 markings, 31258 edges, 856 markings/sec, 5 secs
lola: 12897 markings, 47397 edges, 865 markings/sec, 10 secs
lola: 17224 markings, 63629 edges, 865 markings/sec, 15 secs
lola: 21540 markings, 79798 edges, 863 markings/sec, 20 secs
lola: 25842 markings, 95393 edges, 860 markings/sec, 25 secs
lola: 30134 markings, 111514 edges, 858 markings/sec, 30 secs
lola: 34440 markings, 127696 edges, 861 markings/sec, 35 secs
lola: 38782 markings, 142531 edges, 868 markings/sec, 40 secs
lola: 43137 markings, 157552 edges, 871 markings/sec, 45 secs
lola: 47504 markings, 173042 edges, 873 markings/sec, 50 secs
lola: 51834 markings, 189285 edges, 866 markings/sec, 55 secs
lola: 56224 markings, 204216 edges, 878 markings/sec, 60 secs
lola: 60573 markings, 219472 edges, 870 markings/sec, 65 secs
lola: 64940 markings, 235016 edges, 873 markings/sec, 70 secs
lola: 69334 markings, 250626 edges, 879 markings/sec, 75 secs
lola: 73712 markings, 266701 edges, 876 markings/sec, 80 secs
lola: 78069 markings, 282581 edges, 871 markings/sec, 85 secs
lola: 82414 markings, 297655 edges, 869 markings/sec, 90 secs
lola: 86747 markings, 312614 edges, 867 markings/sec, 95 secs
lola: 91127 markings, 328923 edges, 876 markings/sec, 100 secs
lola: 95513 markings, 345007 edges, 877 markings/sec, 105 secs
lola: 99870 markings, 360484 edges, 871 markings/sec, 110 secs
lola: 104207 markings, 376501 edges, 867 markings/sec, 115 secs
lola: 108549 markings, 392466 edges, 868 markings/sec, 120 secs
lola: 112887 markings, 407561 edges, 868 markings/sec, 125 secs
lola: 117223 markings, 423812 edges, 867 markings/sec, 130 secs
lola: 121557 markings, 439110 edges, 867 markings/sec, 135 secs
lola: 125863 markings, 454449 edges, 861 markings/sec, 140 secs
lola: 130134 markings, 470460 edges, 854 markings/sec, 145 secs
lola: 134498 markings, 485535 edges, 873 markings/sec, 150 secs
lola: 138838 markings, 501067 edges, 868 markings/sec, 155 secs
lola: 143150 markings, 516325 edges, 862 markings/sec, 160 secs
lola: 147457 markings, 532597 edges, 861 markings/sec, 165 secs
lola: 151752 markings, 548531 edges, 859 markings/sec, 170 secs
lola: 156043 markings, 564381 edges, 858 markings/sec, 175 secs
lola: 160310 markings, 580205 edges, 853 markings/sec, 180 secs
lola: 164571 markings, 596760 edges, 852 markings/sec, 185 secs
lola: 168819 markings, 612713 edges, 850 markings/sec, 190 secs
lola: 173127 markings, 628479 edges, 862 markings/sec, 195 secs
lola: 177434 markings, 643160 edges, 861 markings/sec, 200 secs
lola: 181745 markings, 658187 edges, 862 markings/sec, 205 secs
lola: 186066 markings, 673757 edges, 864 markings/sec, 210 secs
lola: 190378 markings, 689950 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 5 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__23_8_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 6396 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 4297 markings, 14576 edges, 859 markings/sec, 0 secs
lola: 8637 markings, 29720 edges, 868 markings/sec, 5 secs
lola: 12963 markings, 44742 edges, 865 markings/sec, 10 secs
lola: 17315 markings, 58499 edges, 870 markings/sec, 15 secs
lola: 21648 markings, 73362 edges, 867 markings/sec, 20 secs
lola: 25939 markings, 88761 edges, 858 markings/sec, 25 secs
lola: 30240 markings, 103199 edges, 860 markings/sec, 30 secs
lola: 34506 markings, 118958 edges, 853 markings/sec, 35 secs
lola: 38716 markings, 133898 edges, 842 markings/sec, 40 secs
lola: 42998 markings, 149017 edges, 856 markings/sec, 45 secs
lola: 47275 markings, 164293 edges, 855 markings/sec, 50 secs
lola: 51546 markings, 179387 edges, 854 markings/sec, 55 secs
lola: 55845 markings, 194113 edges, 860 markings/sec, 60 secs
lola: 60165 markings, 208568 edges, 864 markings/sec, 65 secs
lola: 64447 markings, 222401 edges, 856 markings/sec, 70 secs
lola: 68742 markings, 237166 edges, 859 markings/sec, 75 secs
lola: 73037 markings, 252954 edges, 859 markings/sec, 80 secs
lola: 77311 markings, 267617 edges, 855 markings/sec, 85 secs
lola: 81562 markings, 282988 edges, 850 markings/sec, 90 secs
lola: 85807 markings, 298051 edges, 849 markings/sec, 95 secs
lola: 90083 markings, 313518 edges, 855 markings/sec, 100 secs
lola: 94353 markings, 328448 edges, 854 markings/sec, 105 secs
lola: 98618 markings, 342887 edges, 853 markings/sec, 110 secs
lola: 102889 markings, 357605 edges, 854 markings/sec, 115 secs
lola: 107155 markings, 371893 edges, 853 markings/sec, 120 secs
lola: 111352 markings, 385733 edges, 839 markings/sec, 125 secs
lola: 115644 markings, 400751 edges, 858 markings/sec, 130 secs
lola: 119913 markings, 414830 edges, 854 markings/sec, 135 secs
lola: 124185 markings, 429127 edges, 854 markings/sec, 140 secs
lola: 128430 markings, 444115 edges, 849 markings/sec, 145 secs
lola: 132655 markings, 458898 edges, 845 markings/sec, 150 secs
lola: 136903 markings, 473896 edges, 850 markings/sec, 155 secs
lola: 141179 markings, 487659 edges, 855 markings/sec, 160 secs
lola: 145460 markings, 501356 edges, 856 markings/sec, 165 secs
lola: 149749 markings, 515511 edges, 858 markings/sec, 170 secs
lola: 154062 markings, 529995 edges, 863 markings/sec, 175 secs
lola: 158376 markings, 544344 edges, 863 markings/sec, 180 secs
lola: 162692 markings, 559532 edges, 863 markings/sec, 185 secs
lola: 167005 markings, 574699 edges, 863 markings/sec, 190 secs
lola: 171309 markings, 590634 edges, 861 markings/sec, 195 secs
lola: 175686 markings, 604342 edges, 875 markings/sec, 200 secs
lola: 180019 markings, 618986 edges, 867 markings/sec, 205 secs
lola: 184281 markings, 632599 edges, 852 markings/sec, 210 secs
lola: 188576 markings, 647076 edges, 859 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__38_33_)
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: 4420 markings, 15769 edges, 884 markings/sec, 0 secs
lola: 8851 markings, 31822 edges, 886 markings/sec, 5 secs
lola: 13286 markings, 47428 edges, 887 markings/sec, 10 secs
lola: 17755 markings, 63492 edges, 894 markings/sec, 15 secs
lola: 22213 markings, 80863 edges, 892 markings/sec, 20 secs
lola: 26680 markings, 96893 edges, 893 markings/sec, 25 secs
lola: 31156 markings, 114653 edges, 895 markings/sec, 30 secs
lola: 35532 markings, 130457 edges, 875 markings/sec, 35 secs
lola: 39923 markings, 146722 edges, 878 markings/sec, 40 secs
lola: 44324 markings, 163601 edges, 880 markings/sec, 45 secs
lola: 48758 markings, 179799 edges, 887 markings/sec, 50 secs
lola: 53170 markings, 197283 edges, 882 markings/sec, 55 secs
lola: 57576 markings, 213237 edges, 881 markings/sec, 60 secs
lola: 61888 markings, 229060 edges, 862 markings/sec, 65 secs
lola: 66307 markings, 246098 edges, 884 markings/sec, 70 secs
lola: 70741 markings, 262427 edges, 887 markings/sec, 75 secs
lola: 75151 markings, 279343 edges, 882 markings/sec, 80 secs
lola: 79552 markings, 295867 edges, 880 markings/sec, 85 secs
lola: 84013 markings, 311849 edges, 892 markings/sec, 90 secs
lola: 88420 markings, 329066 edges, 881 markings/sec, 95 secs
lola: 92830 markings, 345289 edges, 882 markings/sec, 100 secs
lola: 97257 markings, 359693 edges, 885 markings/sec, 105 secs
lola: 101700 markings, 374932 edges, 889 markings/sec, 110 secs
lola: 106104 markings, 391484 edges, 881 markings/sec, 115 secs
lola: 110508 markings, 409172 edges, 881 markings/sec, 120 secs
lola: 114915 markings, 428112 edges, 881 markings/sec, 125 secs
lola: 119331 markings, 444268 edges, 883 markings/sec, 130 secs
lola: 123783 markings, 459708 edges, 890 markings/sec, 135 secs
lola: 128248 markings, 474598 edges, 893 markings/sec, 140 secs
lola: 132686 markings, 490820 edges, 888 markings/sec, 145 secs
lola: 137128 markings, 507432 edges, 888 markings/sec, 150 secs
lola: 141562 markings, 524073 edges, 887 markings/sec, 155 secs
lola: 145972 markings, 541810 edges, 882 markings/sec, 160 secs
lola: 150418 markings, 559102 edges, 889 markings/sec, 165 secs
lola: 154884 markings, 575200 edges, 893 markings/sec, 170 secs
lola: 159348 markings, 592251 edges, 893 markings/sec, 175 secs
lola: 163709 markings, 608765 edges, 872 markings/sec, 180 secs
lola: 168120 markings, 623475 edges, 882 markings/sec, 185 secs
lola: 172526 markings, 639612 edges, 881 markings/sec, 190 secs
lola: 176972 markings, 654880 edges, 889 markings/sec, 195 secs
lola: 181466 markings, 669852 edges, 899 markings/sec, 200 secs
lola: 185946 markings, 686152 edges, 896 markings/sec, 205 secs
lola: 190411 markings, 702900 edges, 893 markings/sec, 210 secs
lola: 194869 markings, 720508 edges, 892 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__18_24_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 6396 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 4336 markings, 14709 edges, 867 markings/sec, 0 secs
lola: 8711 markings, 29332 edges, 875 markings/sec, 5 secs
lola: 13101 markings, 43031 edges, 878 markings/sec, 10 secs
lola: 17478 markings, 58872 edges, 875 markings/sec, 15 secs
lola: 21849 markings, 73797 edges, 874 markings/sec, 20 secs
lola: 26237 markings, 86816 edges, 878 markings/sec, 25 secs
lola: 30590 markings, 100643 edges, 871 markings/sec, 30 secs
lola: 34946 markings, 115833 edges, 871 markings/sec, 35 secs
lola: 39339 markings, 129653 edges, 879 markings/sec, 40 secs
lola: 43641 markings, 144819 edges, 860 markings/sec, 45 secs
lola: 47834 markings, 158834 edges, 839 markings/sec, 50 secs
lola: 52199 markings, 173668 edges, 873 markings/sec, 55 secs
lola: 56588 markings, 188688 edges, 878 markings/sec, 60 secs
lola: 60972 markings, 203591 edges, 877 markings/sec, 65 secs
lola: 65364 markings, 218337 edges, 878 markings/sec, 70 secs
lola: 69752 markings, 232915 edges, 878 markings/sec, 75 secs
lola: 74110 markings, 247882 edges, 872 markings/sec, 80 secs
lola: 78491 markings, 261905 edges, 876 markings/sec, 85 secs
lola: 82880 markings, 276676 edges, 878 markings/sec, 90 secs
lola: 87238 markings, 291278 edges, 872 markings/sec, 95 secs
lola: 91594 markings, 305468 edges, 871 markings/sec, 100 secs
lola: 95947 markings, 320663 edges, 871 markings/sec, 105 secs
lola: 100374 markings, 333343 edges, 885 markings/sec, 110 secs
lola: 104772 markings, 346684 edges, 880 markings/sec, 115 secs
lola: 109154 markings, 360240 edges, 876 markings/sec, 120 secs
lola: 113561 markings, 372296 edges, 881 markings/sec, 125 secs
lola: 117927 markings, 386227 edges, 873 markings/sec, 130 secs
lola: 122286 markings, 400710 edges, 872 markings/sec, 135 secs
lola: 126672 markings, 413629 edges, 877 markings/sec, 140 secs
lola: 131069 markings, 427309 edges, 879 markings/sec, 145 secs
lola: 135486 markings, 441323 edges, 883 markings/sec, 150 secs
lola: 139890 markings, 454412 edges, 881 markings/sec, 155 secs
lola: 144276 markings, 467298 edges, 877 markings/sec, 160 secs
lola: 148651 markings, 480698 edges, 875 markings/sec, 165 secs
lola: 153045 markings, 493928 edges, 879 markings/sec, 170 secs
lola: 157443 markings, 506886 edges, 880 markings/sec, 175 secs
lola: 161836 markings, 520404 edges, 879 markings/sec, 180 secs
lola: 166231 markings, 535023 edges, 879 markings/sec, 185 secs
lola: 170644 markings, 547360 edges, 883 markings/sec, 190 secs
lola: 175055 markings, 559399 edges, 882 markings/sec, 195 secs
lola: 179413 markings, 571345 edges, 872 markings/sec, 200 secs
lola: 183769 markings, 583930 edges, 871 markings/sec, 205 secs
lola: 188113 markings, 597288 edges, 869 markings/sec, 210 secs
lola: 192449 markings, 610350 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 8 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__29_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: 4303 markings, 14220 edges, 861 markings/sec, 0 secs
lola: 8646 markings, 28767 edges, 869 markings/sec, 5 secs
lola: 12992 markings, 42674 edges, 869 markings/sec, 10 secs
lola: 17330 markings, 56360 edges, 868 markings/sec, 15 secs
lola: 21672 markings, 71165 edges, 868 markings/sec, 20 secs
lola: 26010 markings, 85958 edges, 868 markings/sec, 25 secs
lola: 30337 markings, 100398 edges, 865 markings/sec, 30 secs
lola: 34652 markings, 115335 edges, 863 markings/sec, 35 secs
lola: 38983 markings, 129462 edges, 866 markings/sec, 40 secs
lola: 43324 markings, 143387 edges, 868 markings/sec, 45 secs
lola: 47635 markings, 158129 edges, 862 markings/sec, 50 secs
lola: 51961 markings, 172225 edges, 865 markings/sec, 55 secs
lola: 56302 markings, 186121 edges, 868 markings/sec, 60 secs
lola: 60652 markings, 200715 edges, 870 markings/sec, 65 secs
lola: 65001 markings, 215386 edges, 870 markings/sec, 70 secs
lola: 69358 markings, 230047 edges, 871 markings/sec, 75 secs
lola: 73748 markings, 244277 edges, 878 markings/sec, 80 secs
lola: 78138 markings, 258293 edges, 878 markings/sec, 85 secs
lola: 82525 markings, 272651 edges, 877 markings/sec, 90 secs
lola: 86840 markings, 286456 edges, 863 markings/sec, 95 secs
lola: 91210 markings, 301812 edges, 874 markings/sec, 100 secs
lola: 95609 markings, 315810 edges, 880 markings/sec, 105 secs
lola: 99940 markings, 329960 edges, 866 markings/sec, 110 secs
lola: 104328 markings, 344134 edges, 878 markings/sec, 115 secs
lola: 108702 markings, 358105 edges, 875 markings/sec, 120 secs
lola: 113119 markings, 372401 edges, 883 markings/sec, 125 secs
lola: 117533 markings, 386826 edges, 883 markings/sec, 130 secs
lola: 121925 markings, 401741 edges, 878 markings/sec, 135 secs
lola: 126329 markings, 416433 edges, 881 markings/sec, 140 secs
lola: 130731 markings, 430657 edges, 880 markings/sec, 145 secs
lola: 135149 markings, 444954 edges, 884 markings/sec, 150 secs
lola: 139556 markings, 459635 edges, 881 markings/sec, 155 secs
lola: 143954 markings, 473649 edges, 880 markings/sec, 160 secs
lola: 148352 markings, 487953 edges, 880 markings/sec, 165 secs
lola: 152734 markings, 503107 edges, 876 markings/sec, 170 secs
lola: 157101 markings, 517886 edges, 873 markings/sec, 175 secs
lola: 161511 markings, 531981 edges, 882 markings/sec, 180 secs
lola: 165908 markings, 546741 edges, 879 markings/sec, 185 secs
lola: 170297 markings, 561234 edges, 878 markings/sec, 190 secs
lola: 174669 markings, 577048 edges, 874 markings/sec, 195 secs
lola: 179060 markings, 591278 edges, 878 markings/sec, 200 secs
lola: 183454 markings, 605290 edges, 879 markings/sec, 205 secs
lola: 187841 markings, 619976 edges, 877 markings/sec, 210 secs
lola: 192231 markings, 634299 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 9 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__27_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, 14437 edges, 876 markings/sec, 0 secs
lola: 8758 markings, 28587 edges, 875 markings/sec, 5 secs
lola: 13135 markings, 42725 edges, 875 markings/sec, 10 secs
lola: 17499 markings, 57812 edges, 873 markings/sec, 15 secs
lola: 21854 markings, 73034 edges, 871 markings/sec, 20 secs
lola: 26202 markings, 89355 edges, 870 markings/sec, 25 secs
lola: 30560 markings, 104873 edges, 872 markings/sec, 30 secs
lola: 34940 markings, 119226 edges, 876 markings/sec, 35 secs
lola: 39302 markings, 134008 edges, 872 markings/sec, 40 secs
lola: 43669 markings, 149549 edges, 873 markings/sec, 45 secs
lola: 48047 markings, 163499 edges, 876 markings/sec, 50 secs
lola: 52411 markings, 177961 edges, 873 markings/sec, 55 secs
lola: 56791 markings, 191873 edges, 876 markings/sec, 60 secs
lola: 61166 markings, 206533 edges, 875 markings/sec, 65 secs
lola: 65547 markings, 220863 edges, 876 markings/sec, 70 secs
lola: 69857 markings, 235743 edges, 862 markings/sec, 75 secs
lola: 74197 markings, 251997 edges, 868 markings/sec, 80 secs
lola: 78551 markings, 265990 edges, 871 markings/sec, 85 secs
lola: 82882 markings, 280678 edges, 866 markings/sec, 90 secs
lola: 87222 markings, 294630 edges, 868 markings/sec, 95 secs
lola: 91606 markings, 309283 edges, 877 markings/sec, 100 secs
lola: 95992 markings, 323545 edges, 877 markings/sec, 105 secs
lola: 100358 markings, 337945 edges, 873 markings/sec, 110 secs
lola: 104739 markings, 351875 edges, 876 markings/sec, 115 secs
lola: 109109 markings, 366604 edges, 874 markings/sec, 120 secs
lola: 113478 markings, 381529 edges, 874 markings/sec, 125 secs
lola: 117857 markings, 396978 edges, 876 markings/sec, 130 secs
lola: 122214 markings, 413567 edges, 871 markings/sec, 135 secs
lola: 126601 markings, 429172 edges, 877 markings/sec, 140 secs
lola: 130984 markings, 444308 edges, 877 markings/sec, 145 secs
lola: 135346 markings, 458652 edges, 872 markings/sec, 150 secs
lola: 139662 markings, 472944 edges, 863 markings/sec, 155 secs
lola: 143997 markings, 487246 edges, 867 markings/sec, 160 secs
lola: 148313 markings, 501965 edges, 863 markings/sec, 165 secs
lola: 152633 markings, 517059 edges, 864 markings/sec, 170 secs
lola: 156980 markings, 531252 edges, 869 markings/sec, 175 secs
lola: 161290 markings, 546404 edges, 862 markings/sec, 180 secs
lola: 165640 markings, 561268 edges, 870 markings/sec, 185 secs
lola: 169900 markings, 575300 edges, 852 markings/sec, 190 secs
lola: 174283 markings, 589870 edges, 877 markings/sec, 195 secs
lola: 178662 markings, 604224 edges, 876 markings/sec, 200 secs
lola: 183011 markings, 618315 edges, 870 markings/sec, 205 secs
lola: 187382 markings, 632606 edges, 874 markings/sec, 210 secs
lola: 191732 markings, 647147 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 10 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__35_33_)
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: 4488 markings, 15444 edges, 898 markings/sec, 0 secs
lola: 8986 markings, 31126 edges, 900 markings/sec, 5 secs
lola: 13459 markings, 46649 edges, 895 markings/sec, 10 secs
lola: 17963 markings, 64385 edges, 901 markings/sec, 15 secs
lola: 22482 markings, 80684 edges, 904 markings/sec, 20 secs
lola: 26991 markings, 96627 edges, 902 markings/sec, 25 secs
lola: 31494 markings, 113393 edges, 901 markings/sec, 30 secs
lola: 36006 markings, 129059 edges, 902 markings/sec, 35 secs
lola: 40512 markings, 144648 edges, 901 markings/sec, 40 secs
lola: 44984 markings, 161793 edges, 894 markings/sec, 45 secs
lola: 49469 markings, 178415 edges, 897 markings/sec, 50 secs
lola: 53965 markings, 194641 edges, 899 markings/sec, 55 secs
lola: 58464 markings, 210975 edges, 900 markings/sec, 60 secs
lola: 62928 markings, 227479 edges, 893 markings/sec, 65 secs
lola: 67437 markings, 243751 edges, 902 markings/sec, 70 secs
lola: 71948 markings, 260718 edges, 902 markings/sec, 75 secs
lola: 76461 markings, 276772 edges, 903 markings/sec, 80 secs
lola: 80945 markings, 293428 edges, 897 markings/sec, 85 secs
lola: 85426 markings, 309026 edges, 896 markings/sec, 90 secs
lola: 89885 markings, 326238 edges, 892 markings/sec, 95 secs
lola: 94361 markings, 342466 edges, 895 markings/sec, 100 secs
lola: 98833 markings, 358668 edges, 894 markings/sec, 105 secs
lola: 103271 markings, 375095 edges, 888 markings/sec, 110 secs
lola: 107706 markings, 391751 edges, 887 markings/sec, 115 secs
lola: 112179 markings, 407976 edges, 895 markings/sec, 120 secs
lola: 116658 markings, 423989 edges, 896 markings/sec, 125 secs
lola: 121119 markings, 440274 edges, 892 markings/sec, 130 secs
lola: 125571 markings, 456066 edges, 890 markings/sec, 135 secs
lola: 130001 markings, 473156 edges, 886 markings/sec, 140 secs
lola: 134439 markings, 489566 edges, 888 markings/sec, 145 secs
lola: 138892 markings, 505663 edges, 891 markings/sec, 150 secs
lola: 143347 markings, 521788 edges, 891 markings/sec, 155 secs
lola: 147768 markings, 538021 edges, 884 markings/sec, 160 secs
lola: 152206 markings, 554262 edges, 888 markings/sec, 165 secs
lola: 156643 markings, 570944 edges, 887 markings/sec, 170 secs
lola: 161118 markings, 586863 edges, 895 markings/sec, 175 secs
lola: 165575 markings, 603347 edges, 891 markings/sec, 180 secs
lola: 170030 markings, 617724 edges, 891 markings/sec, 185 secs
lola: 174489 markings, 632201 edges, 892 markings/sec, 190 secs
lola: 178924 markings, 647023 edges, 887 markings/sec, 195 secs
lola: 183368 markings, 662740 edges, 889 markings/sec, 200 secs
lola: 187781 markings, 679394 edges, 883 markings/sec, 205 secs
lola: 192191 markings, 695336 edges, 882 markings/sec, 210 secs
lola: 196638 markings, 710798 edges, 889 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__26_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: 4278 markings, 14581 edges, 856 markings/sec, 0 secs
lola: 8579 markings, 28762 edges, 860 markings/sec, 5 secs
lola: 12879 markings, 43125 edges, 860 markings/sec, 10 secs
lola: 17181 markings, 56501 edges, 860 markings/sec, 15 secs
lola: 21459 markings, 70070 edges, 856 markings/sec, 20 secs
lola: 25763 markings, 83687 edges, 861 markings/sec, 25 secs
lola: 30091 markings, 97034 edges, 866 markings/sec, 30 secs
lola: 34415 markings, 111352 edges, 865 markings/sec, 35 secs
lola: 38763 markings, 124263 edges, 870 markings/sec, 40 secs
lola: 43085 markings, 137047 edges, 864 markings/sec, 45 secs
lola: 47401 markings, 149887 edges, 863 markings/sec, 50 secs
lola: 51680 markings, 162695 edges, 856 markings/sec, 55 secs
lola: 55990 markings, 175694 edges, 862 markings/sec, 60 secs
lola: 60323 markings, 187989 edges, 867 markings/sec, 65 secs
lola: 64641 markings, 200939 edges, 864 markings/sec, 70 secs
lola: 68922 markings, 213594 edges, 856 markings/sec, 75 secs
lola: 73248 markings, 226257 edges, 865 markings/sec, 80 secs
lola: 77556 markings, 240006 edges, 862 markings/sec, 85 secs
lola: 81853 markings, 253175 edges, 859 markings/sec, 90 secs
lola: 86148 markings, 266718 edges, 859 markings/sec, 95 secs
lola: 90443 markings, 280271 edges, 859 markings/sec, 100 secs
lola: 94746 markings, 293052 edges, 861 markings/sec, 105 secs
lola: 99087 markings, 306217 edges, 868 markings/sec, 110 secs
lola: 103432 markings, 319178 edges, 869 markings/sec, 115 secs
lola: 107738 markings, 332597 edges, 861 markings/sec, 120 secs
lola: 111997 markings, 345931 edges, 852 markings/sec, 125 secs
lola: 116240 markings, 358686 edges, 849 markings/sec, 130 secs
lola: 120495 markings, 371419 edges, 851 markings/sec, 135 secs
lola: 124774 markings, 384423 edges, 856 markings/sec, 140 secs
lola: 129035 markings, 397693 edges, 852 markings/sec, 145 secs
lola: 133295 markings, 411662 edges, 852 markings/sec, 150 secs
lola: 137547 markings, 426261 edges, 850 markings/sec, 155 secs
lola: 141815 markings, 439630 edges, 854 markings/sec, 160 secs
lola: 146078 markings, 452676 edges, 853 markings/sec, 165 secs
lola: 150319 markings, 466909 edges, 848 markings/sec, 170 secs
lola: 154575 markings, 480486 edges, 851 markings/sec, 175 secs
lola: 158830 markings, 493640 edges, 851 markings/sec, 180 secs
lola: 163064 markings, 506672 edges, 847 markings/sec, 185 secs
lola: 167313 markings, 520222 edges, 850 markings/sec, 190 secs
lola: 171582 markings, 533704 edges, 854 markings/sec, 195 secs
lola: 175859 markings, 546489 edges, 855 markings/sec, 200 secs
lola: 180119 markings, 558928 edges, 852 markings/sec, 205 secs
lola: 184370 markings, 572081 edges, 850 markings/sec, 210 secs
lola: 188634 markings, 585435 edges, 853 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__39_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: 4400 markings, 15394 edges, 880 markings/sec, 0 secs
lola: 8815 markings, 29324 edges, 883 markings/sec, 5 secs
lola: 13248 markings, 43055 edges, 887 markings/sec, 10 secs
lola: 17674 markings, 56885 edges, 885 markings/sec, 15 secs
lola: 22080 markings, 70756 edges, 881 markings/sec, 20 secs
lola: 26475 markings, 84442 edges, 879 markings/sec, 25 secs
lola: 30884 markings, 98409 edges, 882 markings/sec, 30 secs
lola: 35283 markings, 112375 edges, 880 markings/sec, 35 secs
lola: 39674 markings, 126180 edges, 878 markings/sec, 40 secs
lola: 44073 markings, 139969 edges, 880 markings/sec, 45 secs
lola: 48472 markings, 153667 edges, 880 markings/sec, 50 secs
lola: 52860 markings, 167668 edges, 878 markings/sec, 55 secs
lola: 57280 markings, 181548 edges, 884 markings/sec, 60 secs
lola: 61651 markings, 195417 edges, 874 markings/sec, 65 secs
lola: 66030 markings, 209022 edges, 876 markings/sec, 70 secs
lola: 70399 markings, 223414 edges, 874 markings/sec, 75 secs
lola: 74763 markings, 238044 edges, 873 markings/sec, 80 secs
lola: 79152 markings, 252459 edges, 878 markings/sec, 85 secs
lola: 83529 markings, 266661 edges, 875 markings/sec, 90 secs
lola: 87910 markings, 281308 edges, 876 markings/sec, 95 secs
lola: 92341 markings, 295193 edges, 886 markings/sec, 100 secs
lola: 96768 markings, 309247 edges, 885 markings/sec, 105 secs
lola: 101169 markings, 323657 edges, 880 markings/sec, 110 secs
lola: 105591 markings, 337639 edges, 884 markings/sec, 115 secs
lola: 110007 markings, 352242 edges, 883 markings/sec, 120 secs
lola: 114430 markings, 366306 edges, 885 markings/sec, 125 secs
lola: 118876 markings, 380677 edges, 889 markings/sec, 130 secs
lola: 123334 markings, 394755 edges, 892 markings/sec, 135 secs
lola: 127762 markings, 409636 edges, 886 markings/sec, 140 secs
lola: 132194 markings, 423375 edges, 886 markings/sec, 145 secs
lola: 136610 markings, 437499 edges, 883 markings/sec, 150 secs
lola: 141013 markings, 451819 edges, 881 markings/sec, 155 secs
lola: 145415 markings, 466484 edges, 880 markings/sec, 160 secs
lola: 149841 markings, 480376 edges, 885 markings/sec, 165 secs
lola: 154274 markings, 494432 edges, 887 markings/sec, 170 secs
lola: 158711 markings, 508961 edges, 887 markings/sec, 175 secs
lola: 163151 markings, 523147 edges, 888 markings/sec, 180 secs
lola: 167579 markings, 537607 edges, 886 markings/sec, 185 secs
lola: 172006 markings, 551729 edges, 885 markings/sec, 190 secs
lola: 176462 markings, 566146 edges, 891 markings/sec, 195 secs
lola: 180933 markings, 580236 edges, 894 markings/sec, 200 secs
lola: 185377 markings, 595124 edges, 889 markings/sec, 205 secs
lola: 189819 markings, 608950 edges, 888 markings/sec, 210 secs
lola: 194252 markings, 623179 edges, 887 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__25_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: 4360 markings, 12825 edges, 872 markings/sec, 0 secs
lola: 8808 markings, 26688 edges, 890 markings/sec, 5 secs
lola: 13252 markings, 40724 edges, 889 markings/sec, 10 secs
lola: 17693 markings, 54095 edges, 888 markings/sec, 15 secs
lola: 22133 markings, 67463 edges, 888 markings/sec, 20 secs
lola: 26572 markings, 80787 edges, 888 markings/sec, 25 secs
lola: 31007 markings, 94538 edges, 887 markings/sec, 30 secs
lola: 35447 markings, 108088 edges, 888 markings/sec, 35 secs
lola: 39884 markings, 121458 edges, 887 markings/sec, 40 secs
lola: 44323 markings, 134808 edges, 888 markings/sec, 45 secs
lola: 48752 markings, 148905 edges, 886 markings/sec, 50 secs
lola: 53179 markings, 162369 edges, 885 markings/sec, 55 secs
lola: 57598 markings, 175831 edges, 884 markings/sec, 60 secs
lola: 62031 markings, 188932 edges, 887 markings/sec, 65 secs
lola: 66458 markings, 202772 edges, 885 markings/sec, 70 secs
lola: 70877 markings, 215888 edges, 884 markings/sec, 75 secs
lola: 75288 markings, 229626 edges, 882 markings/sec, 80 secs
lola: 79717 markings, 242705 edges, 886 markings/sec, 85 secs
lola: 84130 markings, 256563 edges, 883 markings/sec, 90 secs
lola: 88545 markings, 270363 edges, 883 markings/sec, 95 secs
lola: 92951 markings, 283659 edges, 881 markings/sec, 100 secs
lola: 97360 markings, 296933 edges, 882 markings/sec, 105 secs
lola: 101783 markings, 310257 edges, 885 markings/sec, 110 secs
lola: 106199 markings, 323599 edges, 883 markings/sec, 115 secs
lola: 110612 markings, 337433 edges, 883 markings/sec, 120 secs
lola: 115034 markings, 350625 edges, 884 markings/sec, 125 secs
lola: 119453 markings, 364335 edges, 884 markings/sec, 130 secs
lola: 123840 markings, 378173 edges, 877 markings/sec, 135 secs
lola: 128242 markings, 391265 edges, 880 markings/sec, 140 secs
lola: 132645 markings, 404512 edges, 881 markings/sec, 145 secs
lola: 137061 markings, 417966 edges, 883 markings/sec, 150 secs
lola: 141480 markings, 431448 edges, 884 markings/sec, 155 secs
lola: 145899 markings, 444771 edges, 884 markings/sec, 160 secs
lola: 150318 markings, 458282 edges, 884 markings/sec, 165 secs
lola: 154744 markings, 471535 edges, 885 markings/sec, 170 secs
lola: 159162 markings, 485414 edges, 884 markings/sec, 175 secs
lola: 163573 markings, 499132 edges, 882 markings/sec, 180 secs
lola: 167981 markings, 512405 edges, 882 markings/sec, 185 secs
lola: 172395 markings, 525530 edges, 883 markings/sec, 190 secs
lola: 176813 markings, 539121 edges, 884 markings/sec, 195 secs
lola: 181234 markings, 552276 edges, 884 markings/sec, 200 secs
lola: 185649 markings, 566200 edges, 883 markings/sec, 205 secs
lola: 190074 markings, 579261 edges, 885 markings/sec, 210 secs
lola: 194486 markings, 592931 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 14 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__28_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: 4411 markings, 15920 edges, 882 markings/sec, 0 secs
lola: 8824 markings, 32557 edges, 883 markings/sec, 5 secs
lola: 13256 markings, 47797 edges, 886 markings/sec, 10 secs
lola: 17669 markings, 63628 edges, 883 markings/sec, 15 secs
lola: 22084 markings, 78812 edges, 883 markings/sec, 20 secs
lola: 26491 markings, 93967 edges, 881 markings/sec, 25 secs
lola: 30876 markings, 110108 edges, 877 markings/sec, 30 secs
lola: 35261 markings, 125699 edges, 877 markings/sec, 35 secs
lola: 39685 markings, 140893 edges, 885 markings/sec, 40 secs
lola: 44070 markings, 157113 edges, 877 markings/sec, 45 secs
lola: 48449 markings, 172248 edges, 876 markings/sec, 50 secs
lola: 52846 markings, 187351 edges, 879 markings/sec, 55 secs
lola: 57235 markings, 201714 edges, 878 markings/sec, 60 secs
lola: 61597 markings, 216901 edges, 872 markings/sec, 65 secs
lola: 65978 markings, 231410 edges, 876 markings/sec, 70 secs
lola: 70357 markings, 245940 edges, 876 markings/sec, 75 secs
lola: 74718 markings, 261446 edges, 872 markings/sec, 80 secs
lola: 79084 markings, 277065 edges, 873 markings/sec, 85 secs
lola: 83447 markings, 292852 edges, 873 markings/sec, 90 secs
lola: 87812 markings, 308367 edges, 873 markings/sec, 95 secs
lola: 92164 markings, 324720 edges, 870 markings/sec, 100 secs
lola: 96530 markings, 339248 edges, 873 markings/sec, 105 secs
lola: 100906 markings, 353373 edges, 875 markings/sec, 110 secs
lola: 105272 markings, 368460 edges, 873 markings/sec, 115 secs
lola: 109651 markings, 383734 edges, 876 markings/sec, 120 secs
lola: 114029 markings, 399080 edges, 876 markings/sec, 125 secs
lola: 118391 markings, 414699 edges, 872 markings/sec, 130 secs
lola: 122766 markings, 430257 edges, 875 markings/sec, 135 secs
lola: 127156 markings, 445884 edges, 878 markings/sec, 140 secs
lola: 131593 markings, 461192 edges, 887 markings/sec, 145 secs
lola: 136009 markings, 476691 edges, 883 markings/sec, 150 secs
lola: 140443 markings, 491183 edges, 887 markings/sec, 155 secs
lola: 144880 markings, 505658 edges, 887 markings/sec, 160 secs
lola: 149299 markings, 520790 edges, 884 markings/sec, 165 secs
lola: 153716 markings, 536085 edges, 883 markings/sec, 170 secs
lola: 158147 markings, 550346 edges, 886 markings/sec, 175 secs
lola: 162570 markings, 564933 edges, 885 markings/sec, 180 secs
lola: 166991 markings, 579996 edges, 884 markings/sec, 185 secs
lola: 171403 markings, 595415 edges, 882 markings/sec, 190 secs
lola: 175809 markings, 611575 edges, 881 markings/sec, 195 secs
lola: 180228 markings, 627338 edges, 884 markings/sec, 200 secs
lola: 184627 markings, 644132 edges, 880 markings/sec, 205 secs
lola: 189014 markings, 661075 edges, 877 markings/sec, 210 secs
lola: 193415 markings, 676849 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__35_36_)
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: 4455 markings, 15655 edges, 891 markings/sec, 0 secs
lola: 8908 markings, 31271 edges, 891 markings/sec, 5 secs
lola: 13368 markings, 46910 edges, 892 markings/sec, 10 secs
lola: 17820 markings, 61812 edges, 890 markings/sec, 15 secs
lola: 22253 markings, 78151 edges, 887 markings/sec, 20 secs
lola: 26677 markings, 94830 edges, 885 markings/sec, 25 secs
lola: 31133 markings, 110604 edges, 891 markings/sec, 30 secs
lola: 35585 markings, 126463 edges, 890 markings/sec, 35 secs
lola: 40033 markings, 141824 edges, 890 markings/sec, 40 secs
lola: 44445 markings, 157829 edges, 882 markings/sec, 45 secs
lola: 48881 markings, 174095 edges, 887 markings/sec, 50 secs
lola: 53323 markings, 189112 edges, 888 markings/sec, 55 secs
lola: 57766 markings, 204924 edges, 889 markings/sec, 60 secs
lola: 62204 markings, 221222 edges, 888 markings/sec, 65 secs
lola: 66632 markings, 237662 edges, 886 markings/sec, 70 secs
lola: 71057 markings, 253610 edges, 885 markings/sec, 75 secs
lola: 75487 markings, 269327 edges, 886 markings/sec, 80 secs
lola: 79929 markings, 284737 edges, 888 markings/sec, 85 secs
lola: 84361 markings, 301028 edges, 886 markings/sec, 90 secs
lola: 88779 markings, 316551 edges, 884 markings/sec, 95 secs
lola: 93186 markings, 332984 edges, 881 markings/sec, 100 secs
lola: 97626 markings, 348408 edges, 888 markings/sec, 105 secs
lola: 102065 markings, 363883 edges, 888 markings/sec, 110 secs
lola: 106489 markings, 379130 edges, 885 markings/sec, 115 secs
lola: 110897 markings, 395074 edges, 882 markings/sec, 120 secs
lola: 115328 markings, 410508 edges, 886 markings/sec, 125 secs
lola: 119763 markings, 426052 edges, 887 markings/sec, 130 secs
lola: 124196 markings, 442266 edges, 887 markings/sec, 135 secs
lola: 128639 markings, 457499 edges, 889 markings/sec, 140 secs
lola: 133068 markings, 474233 edges, 886 markings/sec, 145 secs
lola: 137516 markings, 490098 edges, 890 markings/sec, 150 secs
lola: 141947 markings, 505406 edges, 886 markings/sec, 155 secs
lola: 146346 markings, 521983 edges, 880 markings/sec, 160 secs
lola: 150779 markings, 537154 edges, 887 markings/sec, 165 secs
lola: 155206 markings, 551457 edges, 885 markings/sec, 170 secs
lola: 159625 markings, 566128 edges, 884 markings/sec, 175 secs
lola: 164050 markings, 580893 edges, 885 markings/sec, 180 secs
lola: 168466 markings, 595559 edges, 883 markings/sec, 185 secs
lola: 172887 markings, 610577 edges, 884 markings/sec, 190 secs
lola: 177295 markings, 626280 edges, 882 markings/sec, 195 secs
lola: 181726 markings, 642517 edges, 886 markings/sec, 200 secs
lola: 186127 markings, 657495 edges, 880 markings/sec, 205 secs
lola: 190564 markings, 672765 edges, 887 markings/sec, 210 secs
lola: 194976 markings, 688776 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: RESULT
lola:
SUMMARY: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA Diffusion2D-PT-D40N050-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D40N050-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D40N050-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D40N050-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D40N050-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D40N050-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D40N050-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D40N050-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D40N050-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D40N050-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D40N050-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D40N050-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D40N050-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D40N050-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D40N050-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Diffusion2D-PT-D40N050-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496464296753

--------------------
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-D40N050"
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-D40N050.tgz
mv S_Diffusion2D-PT-D40N050 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-D40N050, 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-149488455800380"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' UpperBounds.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;