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-3254
Executing tool lola
Input is S_GPPP-PT-C0100N0000000100, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r108-blw3-149441612500533
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1496393995296


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


checking for too many tokens
===========================================================================================
S_GPPP-PT-C0100N0000000100: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_GPPP-PT-C0100N0000000100 @ 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: 55/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 33 places, 22 transitions, 21 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 30 transition conflict sets
lola: TASK
lola: reading formula from GPPP-PT-C0100N0000000100-UpperBounds.task
lola: MAX(Xu5P) : MAX(Lac) : MAX(Pi) : MAX(Ru5P) : MAX(Gluc) : MAX(Ru5P) : MAX(b1) : MAX(a2) : MAX(GSSG) : MAX(Pyr) : MAX(Pi) : MAX(NADPplus) : MAX(E4P) : MAX(c2) : MAX(NADH) : MAX(Xu5P)
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(Xu5P)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 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: 4525690 markings, 6401811 edges, 905138 markings/sec, 0 secs
lola: 8975830 markings, 12619770 edges, 890028 markings/sec, 5 secs
lola: SUBRESULT
lola: result: 396
lola: produced by: state space
lola: The maximum value of the given expression is 396
lola: ========================================
lola: subprocess 1 will run for 235 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(Lac)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 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: 4493849 markings, 8068666 edges, 898770 markings/sec, 0 secs
lola: 8719424 markings, 15683979 edges, 845115 markings/sec, 5 secs
lola: 12926441 markings, 23281708 edges, 841403 markings/sec, 10 secs
lola: 17180703 markings, 30978607 edges, 850852 markings/sec, 15 secs
lola: 21581021 markings, 38942282 edges, 880064 markings/sec, 20 secs
lola: 25806344 markings, 46589497 edges, 845065 markings/sec, 25 secs
lola: 30043399 markings, 54257731 edges, 847411 markings/sec, 30 secs
lola: 34209618 markings, 61797753 edges, 833244 markings/sec, 35 secs
lola: 38449743 markings, 69471932 edges, 848025 markings/sec, 40 secs
lola: 42481614 markings, 76769275 edges, 806374 markings/sec, 45 secs
lola: 46705631 markings, 84414121 edges, 844803 markings/sec, 50 secs
lola: 50849231 markings, 91913718 edges, 828720 markings/sec, 55 secs
lola: 55061461 markings, 99537626 edges, 842446 markings/sec, 60 secs
lola: 59186027 markings, 107002972 edges, 824913 markings/sec, 65 secs
lola: 63353806 markings, 114546515 edges, 833556 markings/sec, 70 secs
lola: 67376886 markings, 121809820 edges, 804616 markings/sec, 75 secs
lola: 71686058 markings, 129113569 edges, 861834 markings/sec, 80 secs
lola: 75919209 markings, 136294373 edges, 846630 markings/sec, 85 secs
lola: 80087308 markings, 143373509 edges, 833620 markings/sec, 90 secs
lola: 84296198 markings, 150574314 edges, 841778 markings/sec, 95 secs
lola: 88282126 markings, 157352563 edges, 797186 markings/sec, 100 secs
lola: 92283721 markings, 164156988 edges, 800319 markings/sec, 105 secs
lola: 96257720 markings, 170914865 edges, 794800 markings/sec, 110 secs
lola: 100230930 markings, 177672310 edges, 794642 markings/sec, 115 secs
lola: 104214359 markings, 184447430 edges, 796686 markings/sec, 120 secs
lola: 108172542 markings, 191179252 edges, 791637 markings/sec, 125 secs
lola: 112109296 markings, 197875263 edges, 787351 markings/sec, 130 secs
lola: 116130488 markings, 204714846 edges, 804238 markings/sec, 135 secs
lola: 120122674 markings, 211505026 edges, 798437 markings/sec, 140 secs
lola: 124145282 markings, 218347483 edges, 804522 markings/sec, 145 secs
lola: 128171174 markings, 225196241 edges, 805178 markings/sec, 150 secs
lola: 132314775 markings, 232158858 edges, 828720 markings/sec, 155 secs
lola: 137012040 markings, 239687143 edges, 939453 markings/sec, 160 secs
lola: 141519588 markings, 246902812 edges, 901510 markings/sec, 165 secs
lola: 146013626 markings, 254096806 edges, 898808 markings/sec, 170 secs
lola: 150382516 markings, 261570493 edges, 873778 markings/sec, 175 secs
lola: 154511688 markings, 269044296 edges, 825834 markings/sec, 180 secs
lola: 158657236 markings, 276547743 edges, 829110 markings/sec, 185 secs
lola: 162781261 markings, 284012327 edges, 824805 markings/sec, 190 secs
lola: 166945615 markings, 291550641 edges, 832871 markings/sec, 195 secs
lola: 171098869 markings, 299067766 edges, 830651 markings/sec, 200 secs
lola: 175329949 markings, 306726766 edges, 846216 markings/sec, 205 secs
lola: 179546566 markings, 314359193 edges, 843323 markings/sec, 210 secs
lola: 183810107 markings, 322076834 edges, 852708 markings/sec, 215 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(Pi)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 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: 4394029 markings, 7896326 edges, 878806 markings/sec, 0 secs
lola: 8632482 markings, 15528616 edges, 847691 markings/sec, 5 secs
lola: 12875409 markings, 23196728 edges, 848585 markings/sec, 10 secs
lola: 17145354 markings, 30907150 edges, 853989 markings/sec, 15 secs
lola: 21493057 markings, 38783079 edges, 869541 markings/sec, 20 secs
lola: 25775439 markings, 46533171 edges, 856476 markings/sec, 25 secs
lola: 30084739 markings, 54332635 edges, 861860 markings/sec, 30 secs
lola: 34270326 markings, 61907824 edges, 837117 markings/sec, 35 secs
lola: 38564082 markings, 69679174 edges, 858751 markings/sec, 40 secs
lola: 42786614 markings, 77321224 edges, 844506 markings/sec, 45 secs
lola: 47051421 markings, 85040103 edges, 852961 markings/sec, 50 secs
lola: 51269181 markings, 92673868 edges, 843552 markings/sec, 55 secs
lola: 55529837 markings, 100385418 edges, 852131 markings/sec, 60 secs
lola: 59699083 markings, 107931568 edges, 833849 markings/sec, 65 secs
lola: 63866579 markings, 115474619 edges, 833499 markings/sec, 70 secs
lola: 68045534 markings, 122951829 edges, 835791 markings/sec, 75 secs
lola: 72388490 markings, 130302763 edges, 868591 markings/sec, 80 secs
lola: 76688862 markings, 137585693 edges, 860074 markings/sec, 85 secs
lola: 81065055 markings, 145019401 edges, 875239 markings/sec, 90 secs
lola: 85404022 markings, 152457809 edges, 867793 markings/sec, 95 secs
lola: 89569980 markings, 159542089 edges, 833192 markings/sec, 100 secs
lola: 93780090 markings, 166701743 edges, 842022 markings/sec, 105 secs
lola: 97881230 markings, 173676647 edges, 820228 markings/sec, 110 secs
lola: 102185220 markings, 180995998 edges, 860798 markings/sec, 115 secs
lola: 106366317 markings, 188107064 edges, 836219 markings/sec, 120 secs
lola: 110683069 markings, 195449163 edges, 863350 markings/sec, 125 secs
lola: 114888997 markings, 202602272 edges, 841186 markings/sec, 130 secs
lola: 119172576 markings, 209888549 edges, 856716 markings/sec, 135 secs
lola: 123469050 markings, 217197659 edges, 859295 markings/sec, 140 secs
lola: 127753168 markings, 224484945 edges, 856824 markings/sec, 145 secs
lola: 132056869 markings, 231748329 edges, 860740 markings/sec, 150 secs
lola: 136706936 markings, 239198752 edges, 930013 markings/sec, 155 secs
lola: 141124355 markings, 246270125 edges, 883484 markings/sec, 160 secs
lola: 145512065 markings, 253293916 edges, 877542 markings/sec, 165 secs
lola: 149789067 markings, 260496231 edges, 855400 markings/sec, 170 secs
lola: 153708423 markings, 267590193 edges, 783871 markings/sec, 175 secs
lola: 157625987 markings, 274681114 edges, 783513 markings/sec, 180 secs
lola: 161593770 markings, 281863351 edges, 793557 markings/sec, 185 secs
lola: 165434930 markings, 288815931 edges, 768232 markings/sec, 190 secs
lola: 169440950 markings, 296067171 edges, 801204 markings/sec, 195 secs
lola: 173547217 markings, 303499930 edges, 821253 markings/sec, 200 secs
lola: 177623753 markings, 310878745 edges, 815307 markings/sec, 205 secs
lola: 181798220 markings, 318435210 edges, 834893 markings/sec, 210 secs
lola: 184886362 markings, 324024952 edges, 617628 markings/sec, 215 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 237 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(Ru5P)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 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: 4501524 markings, 6847710 edges, 900305 markings/sec, 0 secs
lola: 8557751 markings, 12968133 edges, 811245 markings/sec, 5 secs
lola: 12488223 markings, 18921143 edges, 786094 markings/sec, 10 secs
lola: 16276416 markings, 24785273 edges, 757639 markings/sec, 15 secs
lola: 20025577 markings, 30513269 edges, 749832 markings/sec, 20 secs
lola: 23707228 markings, 36144796 edges, 736330 markings/sec, 25 secs
lola: 27350822 markings, 41777345 edges, 728719 markings/sec, 30 secs
lola: 31014475 markings, 47299712 edges, 732731 markings/sec, 35 secs
lola: 34410329 markings, 52669958 edges, 679171 markings/sec, 40 secs
lola: 38081108 markings, 58209623 edges, 734156 markings/sec, 45 secs
lola: 41464957 markings, 63395102 edges, 676770 markings/sec, 50 secs
lola: 45319336 markings, 69400210 edges, 770876 markings/sec, 55 secs
lola: 49105085 markings, 75040394 edges, 757150 markings/sec, 60 secs
lola: 52429827 markings, 80246237 edges, 664948 markings/sec, 65 secs
lola: 56257949 markings, 86052350 edges, 765624 markings/sec, 70 secs
lola: 60040794 markings, 91797836 edges, 756569 markings/sec, 75 secs
lola: 63832932 markings, 97652599 edges, 758428 markings/sec, 80 secs
lola: 67644054 markings, 103390750 edges, 762224 markings/sec, 85 secs
lola: 71268158 markings, 109047056 edges, 724821 markings/sec, 90 secs
lola: 75330144 markings, 115217765 edges, 812397 markings/sec, 95 secs
lola: 79105427 markings, 120921804 edges, 755057 markings/sec, 100 secs
lola: 82760271 markings, 126687177 edges, 730969 markings/sec, 105 secs
lola: 86490444 markings, 132252688 edges, 746035 markings/sec, 110 secs
lola: 89688531 markings, 137217381 edges, 639617 markings/sec, 115 secs
lola: 93497225 markings, 143068765 edges, 761739 markings/sec, 120 secs
lola: 97201318 markings, 148617521 edges, 740819 markings/sec, 125 secs
lola: 100436338 markings, 153666790 edges, 647004 markings/sec, 130 secs
lola: 104098140 markings, 159161582 edges, 732360 markings/sec, 135 secs
lola: 107630305 markings, 164678380 edges, 706433 markings/sec, 140 secs
lola: 111208395 markings, 170096027 edges, 715618 markings/sec, 145 secs
lola: 114530024 markings, 175148622 edges, 664326 markings/sec, 150 secs
lola: 118293184 markings, 181051649 edges, 752632 markings/sec, 155 secs
lola: 121977152 markings, 186523653 edges, 736794 markings/sec, 160 secs
lola: 125222057 markings, 191613943 edges, 648981 markings/sec, 165 secs
lola: 129013440 markings, 197358095 edges, 758277 markings/sec, 170 secs
lola: 132659405 markings, 202901484 edges, 729193 markings/sec, 175 secs
lola: 136022733 markings, 208093977 edges, 672666 markings/sec, 180 secs
lola: 139549248 markings, 213403395 edges, 705303 markings/sec, 185 secs
lola: 143189490 markings, 219117328 edges, 728048 markings/sec, 190 secs
lola: 146853096 markings, 224604601 edges, 732721 markings/sec, 195 secs
lola: 150038547 markings, 229520467 edges, 637090 markings/sec, 200 secs
lola: 153809786 markings, 235355392 edges, 754248 markings/sec, 205 secs
lola: 157486674 markings, 240850655 edges, 735378 markings/sec, 210 secs
lola: 160612848 markings, 245738021 edges, 625235 markings/sec, 215 secs
lola: 164279658 markings, 251275514 edges, 733362 markings/sec, 220 secs
lola: 167785284 markings, 256678427 edges, 701125 markings/sec, 225 secs
lola: 171239020 markings, 261938943 edges, 690747 markings/sec, 230 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 237 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(Gluc)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 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: 4314424 markings, 7747627 edges, 862885 markings/sec, 0 secs
lola: 8451363 markings, 15196809 edges, 827388 markings/sec, 5 secs
lola: 12598773 markings, 22683882 edges, 829482 markings/sec, 10 secs
lola: 16773938 markings, 30206132 edges, 835033 markings/sec, 15 secs
lola: 20946756 markings, 37794249 edges, 834564 markings/sec, 20 secs
lola: 25123832 markings, 45354239 edges, 835415 markings/sec, 25 secs
lola: 29266887 markings, 52852396 edges, 828611 markings/sec, 30 secs
lola: 33340027 markings, 60224200 edges, 814628 markings/sec, 35 secs
lola: 37450812 markings, 67664068 edges, 822157 markings/sec, 40 secs
lola: 41668362 markings, 75297423 edges, 843510 markings/sec, 45 secs
lola: 46037478 markings, 83204978 edges, 873823 markings/sec, 50 secs
lola: 50213413 markings, 90763094 edges, 835187 markings/sec, 55 secs
lola: 54317925 markings, 98192032 edges, 820902 markings/sec, 60 secs
lola: 58402923 markings, 105585691 edges, 817000 markings/sec, 65 secs
lola: 62363799 markings, 112754439 edges, 792175 markings/sec, 70 secs
lola: 66341133 markings, 119953456 edges, 795467 markings/sec, 75 secs
lola: 70512603 markings, 127120481 edges, 834294 markings/sec, 80 secs
lola: 74717232 markings, 134263013 edges, 840926 markings/sec, 85 secs
lola: 78870352 markings, 141296005 edges, 830624 markings/sec, 90 secs
lola: 83065654 markings, 148402055 edges, 839060 markings/sec, 95 secs
lola: 87082328 markings, 155312194 edges, 803335 markings/sec, 100 secs
lola: 91002719 markings, 161978717 edges, 784078 markings/sec, 105 secs
lola: 94924228 markings, 168647389 edges, 784302 markings/sec, 110 secs
lola: 98931602 markings, 175462680 edges, 801475 markings/sec, 115 secs
lola: 102864990 markings, 182152204 edges, 786678 markings/sec, 120 secs
lola: 106770784 markings, 188795156 edges, 781159 markings/sec, 125 secs
lola: 110634197 markings, 195366122 edges, 772683 markings/sec, 130 secs
lola: 114534398 markings, 202000112 edges, 780040 markings/sec, 135 secs
lola: 118377548 markings, 208537005 edges, 768630 markings/sec, 140 secs
lola: 122369322 markings, 215326833 edges, 798355 markings/sec, 145 secs
lola: 126361664 markings, 222117987 edges, 798468 markings/sec, 150 secs
lola: 130364679 markings, 228927636 edges, 800603 markings/sec, 155 secs
lola: 134878353 markings, 236246691 edges, 902735 markings/sec, 160 secs
lola: 139273268 markings, 243306924 edges, 878983 markings/sec, 165 secs
lola: 143529303 markings, 250119936 edges, 851207 markings/sec, 170 secs
lola: 147852225 markings, 257039994 edges, 864584 markings/sec, 175 secs
lola: 151759060 markings, 264061873 edges, 781367 markings/sec, 180 secs
lola: 155536269 markings, 270898814 edges, 755442 markings/sec, 185 secs
lola: 159282938 markings, 277680317 edges, 749334 markings/sec, 190 secs
lola: 163104297 markings, 284597355 edges, 764272 markings/sec, 195 secs
lola: 166999296 markings, 291647204 edges, 779000 markings/sec, 200 secs
lola: 170854587 markings, 298625976 edges, 771058 markings/sec, 205 secs
lola: 174800918 markings, 305769158 edges, 789266 markings/sec, 210 secs
lola: 178673786 markings, 312779428 edges, 774574 markings/sec, 215 secs
lola: 182623908 markings, 319929876 edges, 790024 markings/sec, 220 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 237 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(Ru5P)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 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: 4202382 markings, 6385878 edges, 840476 markings/sec, 0 secs
lola: 8107265 markings, 12264336 edges, 780977 markings/sec, 5 secs
lola: 12159267 markings, 18442916 edges, 810400 markings/sec, 10 secs
lola: 16370364 markings, 24929964 edges, 842219 markings/sec, 15 secs
lola: 19945399 markings, 30386133 edges, 715007 markings/sec, 20 secs
lola: 23518413 markings, 35871281 edges, 714603 markings/sec, 25 secs
lola: 27124272 markings, 41427551 edges, 721172 markings/sec, 30 secs
lola: 30772045 markings, 46919065 edges, 729555 markings/sec, 35 secs
lola: 34211471 markings, 52388546 edges, 687885 markings/sec, 40 secs
lola: 38001010 markings, 58080449 edges, 757908 markings/sec, 45 secs
lola: 40741651 markings, 62364608 edges, 548128 markings/sec, 50 secs
lola: 44101207 markings, 67456632 edges, 671911 markings/sec, 55 secs
lola: 47043690 markings, 71971149 edges, 588497 markings/sec, 60 secs
lola: 50068611 markings, 76534009 edges, 604984 markings/sec, 65 secs
lola: 52501846 markings, 80359090 edges, 486647 markings/sec, 70 secs
lola: 55855668 markings, 85392618 edges, 670764 markings/sec, 75 secs
lola: 59003836 markings, 90285585 edges, 629634 markings/sec, 80 secs
lola: 61973008 markings, 94744708 edges, 593834 markings/sec, 85 secs
lola: 64427492 markings, 98595029 edges, 490897 markings/sec, 90 secs
lola: 67516843 markings, 103188607 edges, 617870 markings/sec, 95 secs
lola: 70797978 markings, 108368231 edges, 656227 markings/sec, 100 secs
lola: 74518920 markings, 113936556 edges, 744188 markings/sec, 105 secs
lola: 77755552 markings, 118939748 edges, 647326 markings/sec, 110 secs
lola: 81542209 markings, 124780657 edges, 757331 markings/sec, 115 secs
lola: 85240368 markings, 130318006 edges, 739632 markings/sec, 120 secs
lola: 88510057 markings, 135429482 edges, 653938 markings/sec, 125 secs
lola: 92209512 markings, 141026046 edges, 739891 markings/sec, 130 secs
lola: 95701621 markings, 146416081 edges, 698422 markings/sec, 135 secs
lola: 99294224 markings, 151873306 edges, 718521 markings/sec, 140 secs
lola: 102632412 markings, 156931667 edges, 667638 markings/sec, 145 secs
lola: 106351020 markings, 162783370 edges, 743722 markings/sec, 150 secs
lola: 110026454 markings, 168242775 edges, 735087 markings/sec, 155 secs
lola: 113274162 markings, 173338230 edges, 649542 markings/sec, 160 secs
lola: 117067021 markings, 179083245 edges, 758572 markings/sec, 165 secs
lola: 120765385 markings, 184689280 edges, 739673 markings/sec, 170 secs
lola: 124028379 markings, 189743049 edges, 652599 markings/sec, 175 secs
lola: 127513572 markings, 194993337 edges, 697039 markings/sec, 180 secs
lola: 131102700 markings, 200634578 edges, 717826 markings/sec, 185 secs
lola: 134668374 markings, 205961172 edges, 713135 markings/sec, 190 secs
lola: 137809468 markings, 210843082 edges, 628219 markings/sec, 195 secs
lola: 141625157 markings, 216697339 edges, 763138 markings/sec, 200 secs
lola: 145471577 markings, 222470098 edges, 769284 markings/sec, 205 secs
lola: 148917030 markings, 227860028 edges, 689091 markings/sec, 210 secs
lola: 152762864 markings, 233686313 edges, 769167 markings/sec, 215 secs
lola: 156403655 markings, 239225930 edges, 728158 markings/sec, 220 secs
lola: 159830436 markings, 244512321 edges, 685356 markings/sec, 225 secs
lola: 163388106 markings, 249873481 edges, 711534 markings/sec, 230 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 237 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(b1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 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: 4330136 markings, 6582539 edges, 866027 markings/sec, 0 secs
lola: 8392529 markings, 12706267 edges, 812479 markings/sec, 5 secs
lola: 12203247 markings, 18510039 edges, 762144 markings/sec, 10 secs
lola: 15899040 markings, 24194831 edges, 739159 markings/sec, 15 secs
lola: 19608112 markings, 29847761 edges, 741814 markings/sec, 20 secs
lola: 23050029 markings, 35193389 edges, 688383 markings/sec, 25 secs
lola: 26756592 markings, 40843028 edges, 741313 markings/sec, 30 secs
lola: 30369212 markings, 46314358 edges, 722524 markings/sec, 35 secs
lola: 33849871 markings, 51866951 edges, 696132 markings/sec, 40 secs
lola: 37656802 markings, 57544626 edges, 761386 markings/sec, 45 secs
lola: 40997956 markings, 62729024 edges, 668231 markings/sec, 50 secs
lola: 44881237 markings, 68688638 edges, 776656 markings/sec, 55 secs
lola: 48668657 markings, 74369844 edges, 757484 markings/sec, 60 secs
lola: 52006910 markings, 79583505 edges, 667651 markings/sec, 65 secs
lola: 55807452 markings, 85323152 edges, 760108 markings/sec, 70 secs
lola: 59385108 markings, 90840163 edges, 715531 markings/sec, 75 secs
lola: 63118089 markings, 96531029 edges, 746596 markings/sec, 80 secs
lola: 66606388 markings, 101779572 edges, 697660 markings/sec, 85 secs
lola: 70351948 markings, 107725633 edges, 749112 markings/sec, 90 secs
lola: 74218338 markings, 113477924 edges, 773278 markings/sec, 95 secs
lola: 77140344 markings, 118060485 edges, 584401 markings/sec, 100 secs
lola: 80689566 markings, 123422979 edges, 709844 markings/sec, 105 secs
lola: 84312945 markings, 128933025 edges, 724676 markings/sec, 110 secs
lola: 87739608 markings, 134217251 edges, 685333 markings/sec, 115 secs
lola: 91257966 markings, 139519602 edges, 703672 markings/sec, 120 secs
lola: 94933128 markings, 145304108 edges, 735032 markings/sec, 125 secs
lola: 98716708 markings, 150959587 edges, 756716 markings/sec, 130 secs
lola: 101967372 markings, 155985559 edges, 650133 markings/sec, 135 secs
lola: 105812964 markings, 161913327 edges, 769118 markings/sec, 140 secs
lola: 109586856 markings, 167568742 edges, 754778 markings/sec, 145 secs
lola: 112872072 markings, 172708732 edges, 657043 markings/sec, 150 secs
lola: 116695315 markings, 178486028 edges, 764649 markings/sec, 155 secs
lola: 120430924 markings, 184190372 edges, 747122 markings/sec, 160 secs
lola: 123951561 markings, 189619576 edges, 704127 markings/sec, 165 secs
lola: 127587660 markings, 195102108 edges, 727220 markings/sec, 170 secs
lola: 131277294 markings, 200886962 edges, 737927 markings/sec, 175 secs
lola: 135045824 markings, 206549891 edges, 753706 markings/sec, 180 secs
lola: 138308416 markings, 211554023 edges, 652518 markings/sec, 185 secs
lola: 142154538 markings, 217541269 edges, 769224 markings/sec, 190 secs
lola: 145896156 markings, 223117995 edges, 748324 markings/sec, 195 secs
lola: 149118099 markings, 228169225 edges, 644389 markings/sec, 200 secs
lola: 152937770 markings, 233962976 edges, 763934 markings/sec, 205 secs
lola: 156718905 markings, 239680834 edges, 756227 markings/sec, 210 secs
lola: 159978429 markings, 244743078 edges, 651905 markings/sec, 215 secs
lola: 163739909 markings, 250391492 edges, 752296 markings/sec, 220 secs
lola: 167331504 markings, 256018419 edges, 718319 markings/sec, 225 secs
lola: 170977956 markings, 261538452 edges, 729290 markings/sec, 230 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 237 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(a2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 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: 4704490 markings, 6654311 edges, 940898 markings/sec, 0 secs
lola: 9218443 markings, 12959126 edges, 902791 markings/sec, 5 secs
lola: SUBRESULT
lola: result: 200
lola: produced by: state space
lola: The maximum value of the given expression is 200
lola: ========================================
lola: subprocess 8 will run for 266 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(GSSG)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 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: 4187623 markings, 6363289 edges, 837525 markings/sec, 0 secs
lola: 8379727 markings, 12688167 edges, 838421 markings/sec, 5 secs
lola: 11853808 markings, 17999944 edges, 694816 markings/sec, 10 secs
lola: 15850163 markings, 24115573 edges, 799271 markings/sec, 15 secs
lola: 19581691 markings, 29807047 edges, 746306 markings/sec, 20 secs
lola: 23383909 markings, 35665839 edges, 760444 markings/sec, 25 secs
lola: 27068371 markings, 41338805 edges, 736892 markings/sec, 30 secs
lola: 30678881 markings, 46784621 edges, 722102 markings/sec, 35 secs
lola: 34080171 markings, 52197013 edges, 680258 markings/sec, 40 secs
lola: 37854200 markings, 57847162 edges, 754806 markings/sec, 45 secs
lola: 41225867 markings, 63053328 edges, 674333 markings/sec, 50 secs
lola: 45126845 markings, 69099182 edges, 780196 markings/sec, 55 secs
lola: 49063233 markings, 74974294 edges, 787278 markings/sec, 60 secs
lola: 52456983 markings, 80287593 edges, 678750 markings/sec, 65 secs
lola: 56308922 markings, 86122517 edges, 770388 markings/sec, 70 secs
lola: 59989972 markings, 91718664 edges, 736210 markings/sec, 75 secs
lola: 63575412 markings, 97256978 edges, 717088 markings/sec, 80 secs
lola: 67277864 markings, 102817257 edges, 740490 markings/sec, 85 secs
lola: 70962216 markings, 108600201 edges, 736870 markings/sec, 90 secs
lola: 74800721 markings, 114387175 edges, 767701 markings/sec, 95 secs
lola: 78243400 markings, 119631388 edges, 688536 markings/sec, 100 secs
lola: 82043660 markings, 125594223 edges, 760052 markings/sec, 105 secs
lola: 85833610 markings, 131228831 edges, 757990 markings/sec, 110 secs
lola: 89109364 markings, 136367995 edges, 655151 markings/sec, 115 secs
lola: 92962534 markings, 142202365 edges, 770634 markings/sec, 120 secs
lola: 96781480 markings, 147975971 edges, 763789 markings/sec, 125 secs
lola: 100223728 markings, 153325389 edges, 688450 markings/sec, 130 secs
lola: 103923560 markings, 158891811 edges, 739966 markings/sec, 135 secs
lola: 107522844 markings, 164518858 edges, 719857 markings/sec, 140 secs
lola: 111213697 markings, 170104135 edges, 738171 markings/sec, 145 secs
lola: 114565507 markings, 175198680 edges, 670362 markings/sec, 150 secs
lola: 118359100 markings, 181155862 edges, 758719 markings/sec, 155 secs
lola: 122113870 markings, 186735504 edges, 750954 markings/sec, 160 secs
lola: 125268263 markings, 191686035 edges, 630879 markings/sec, 165 secs
lola: 129094726 markings, 197482526 edges, 765293 markings/sec, 170 secs
lola: 132910783 markings, 203250268 edges, 763211 markings/sec, 175 secs
lola: 136210222 markings, 208380441 edges, 659888 markings/sec, 180 secs
lola: 139838248 markings, 213819229 edges, 725605 markings/sec, 185 secs
lola: 143409096 markings, 219427791 edges, 714170 markings/sec, 190 secs
lola: 146951782 markings, 224761943 edges, 708537 markings/sec, 195 secs
lola: 150104899 markings, 229613681 edges, 630623 markings/sec, 200 secs
lola: 153885770 markings, 235481002 edges, 756174 markings/sec, 205 secs
lola: 157802536 markings, 241333334 edges, 783353 markings/sec, 210 secs
lola: 161415610 markings, 246981080 edges, 722615 markings/sec, 215 secs
lola: 165286347 markings, 252879265 edges, 774147 markings/sec, 220 secs
lola: 169048024 markings, 258535789 edges, 752335 markings/sec, 225 secs
lola: 172210093 markings, 263469446 edges, 632414 markings/sec, 230 secs
lola: 175877092 markings, 268994196 edges, 733400 markings/sec, 235 secs
lola: 179400412 markings, 274466524 edges, 704664 markings/sec, 240 secs
lola: 182928361 markings, 279821930 edges, 705590 markings/sec, 245 secs
lola: 186212962 markings, 284800254 edges, 656920 markings/sec, 250 secs
lola: 189997414 markings, 290758343 edges, 756890 markings/sec, 255 secs
lola: 193628602 markings, 296150688 edges, 726238 markings/sec, 260 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 265 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(Pyr)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 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: 4426490 markings, 9307758 edges, 885298 markings/sec, 0 secs
lola: 8235897 markings, 17085290 edges, 761881 markings/sec, 5 secs
lola: 11943746 markings, 24701154 edges, 741570 markings/sec, 10 secs
lola: 15646357 markings, 32320441 edges, 740522 markings/sec, 15 secs
lola: 19392451 markings, 40002010 edges, 749219 markings/sec, 20 secs
lola: 22675503 markings, 46786391 edges, 656610 markings/sec, 25 secs
lola: 25892509 markings, 53386126 edges, 643401 markings/sec, 30 secs
lola: 29136486 markings, 60083385 edges, 648795 markings/sec, 35 secs
lola: 32344470 markings, 66688438 edges, 641597 markings/sec, 40 secs
lola: 35530295 markings, 73225447 edges, 637165 markings/sec, 45 secs
lola: 38689936 markings, 79746288 edges, 631928 markings/sec, 50 secs
lola: 41892145 markings, 86297926 edges, 640442 markings/sec, 55 secs
lola: 45110988 markings, 92962096 edges, 643769 markings/sec, 60 secs
lola: 48357520 markings, 99582941 edges, 649306 markings/sec, 65 secs
lola: 51547572 markings, 106174629 edges, 638010 markings/sec, 70 secs
lola: 54771957 markings, 112784184 edges, 644877 markings/sec, 75 secs
lola: 57900623 markings, 119271693 edges, 625733 markings/sec, 80 secs
lola: 61098382 markings, 125830816 edges, 639552 markings/sec, 85 secs
lola: 64299333 markings, 132397050 edges, 640190 markings/sec, 90 secs
lola: 67503039 markings, 138997851 edges, 640741 markings/sec, 95 secs
lola: 70690344 markings, 145529742 edges, 637461 markings/sec, 100 secs
lola: 73817479 markings, 151983823 edges, 625427 markings/sec, 105 secs
lola: 76945737 markings, 158410365 edges, 625652 markings/sec, 110 secs
lola: 80080009 markings, 164878262 edges, 626854 markings/sec, 115 secs
lola: 83233543 markings, 171346039 edges, 630707 markings/sec, 120 secs
lola: 86386495 markings, 177829543 edges, 630590 markings/sec, 125 secs
lola: 89559435 markings, 184353305 edges, 634588 markings/sec, 130 secs
lola: 92750215 markings, 190920471 edges, 638156 markings/sec, 135 secs
lola: 95944766 markings, 197462064 edges, 638910 markings/sec, 140 secs
lola: 99118309 markings, 203986806 edges, 634709 markings/sec, 145 secs
lola: 102303948 markings, 210534987 edges, 637128 markings/sec, 150 secs
lola: 105486006 markings, 217072820 edges, 636412 markings/sec, 155 secs
lola: 108669765 markings, 223614584 edges, 636752 markings/sec, 160 secs
lola: 111852349 markings, 230142728 edges, 636517 markings/sec, 165 secs
lola: 115090805 markings, 236778290 edges, 647691 markings/sec, 170 secs
lola: 118482291 markings, 243723981 edges, 678297 markings/sec, 175 secs
lola: 121508324 markings, 249965981 edges, 605207 markings/sec, 180 secs
lola: 124477574 markings, 256095505 edges, 593850 markings/sec, 185 secs
lola: 127674571 markings, 262694955 edges, 639399 markings/sec, 190 secs
lola: 130939346 markings, 269433947 edges, 652955 markings/sec, 195 secs
lola: 134192580 markings, 276149396 edges, 650647 markings/sec, 200 secs
lola: 137360243 markings, 282688317 edges, 633533 markings/sec, 205 secs
lola: 140535692 markings, 289244348 edges, 635090 markings/sec, 210 secs
lola: 143716369 markings, 295809024 edges, 636135 markings/sec, 215 secs
lola: 146878618 markings, 302337371 edges, 632450 markings/sec, 220 secs
lola: 150029140 markings, 308841298 edges, 630104 markings/sec, 225 secs
lola: 153033478 markings, 315038844 edges, 600868 markings/sec, 230 secs
lola: 156148600 markings, 321468975 edges, 623024 markings/sec, 235 secs
lola: 159264973 markings, 327902366 edges, 623275 markings/sec, 240 secs
lola: 162406294 markings, 334386785 edges, 628264 markings/sec, 245 secs
lola: 165530856 markings, 340837122 edges, 624912 markings/sec, 250 secs
lola: 168908353 markings, 347808887 edges, 675499 markings/sec, 255 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 266 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(Pi)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 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: 4462202 markings, 8015617 edges, 892440 markings/sec, 0 secs
lola: 8673707 markings, 15610730 edges, 842301 markings/sec, 5 secs
lola: 12861986 markings, 23169877 edges, 837656 markings/sec, 10 secs
lola: 17088054 markings, 30783318 edges, 845214 markings/sec, 15 secs
lola: 21305940 markings, 38444496 edges, 843577 markings/sec, 20 secs
lola: 25493201 markings, 46022617 edges, 837452 markings/sec, 25 secs
lola: 29628201 markings, 53506272 edges, 827000 markings/sec, 30 secs
lola: 33698353 markings, 60872548 edges, 814030 markings/sec, 35 secs
lola: 37876852 markings, 68434983 edges, 835700 markings/sec, 40 secs
lola: 42002970 markings, 75903040 edges, 825224 markings/sec, 45 secs
lola: 46104132 markings, 83325329 edges, 820232 markings/sec, 50 secs
lola: 50177506 markings, 90697786 edges, 814675 markings/sec, 55 secs
lola: 54364244 markings, 98276058 edges, 837348 markings/sec, 60 secs
lola: 58491780 markings, 105746220 edges, 825507 markings/sec, 65 secs
lola: 62614215 markings, 113207901 edges, 824487 markings/sec, 70 secs
lola: 66683446 markings, 120573060 edges, 813846 markings/sec, 75 secs
lola: 70953976 markings, 127869232 edges, 854106 markings/sec, 80 secs
lola: 75222078 markings, 135110411 edges, 853620 markings/sec, 85 secs
lola: 79463506 markings, 142299319 edges, 848286 markings/sec, 90 secs
lola: 83749471 markings, 149644796 edges, 857193 markings/sec, 95 secs
lola: 87802094 markings, 156535978 edges, 810525 markings/sec, 100 secs
lola: 91828918 markings, 163383511 edges, 805365 markings/sec, 105 secs
lola: 95856460 markings, 170232412 edges, 805508 markings/sec, 110 secs
lola: 99884008 markings, 177082466 edges, 805510 markings/sec, 115 secs
lola: 103937147 markings, 183975500 edges, 810628 markings/sec, 120 secs
lola: 107925138 markings, 190758209 edges, 797598 markings/sec, 125 secs
lola: 111905397 markings, 197527678 edges, 796052 markings/sec, 130 secs
lola: 115903592 markings, 204327914 edges, 799639 markings/sec, 135 secs
lola: 119925736 markings, 211170488 edges, 804429 markings/sec, 140 secs
lola: 123944322 markings, 218006064 edges, 803717 markings/sec, 145 secs
lola: 127932232 markings, 224789314 edges, 797582 markings/sec, 150 secs
lola: 131969594 markings, 231609500 edges, 807472 markings/sec, 155 secs
lola: 136582133 markings, 238998969 edges, 922508 markings/sec, 160 secs
lola: 140926372 markings, 245953193 edges, 868848 markings/sec, 165 secs
lola: 145237412 markings, 252854256 edges, 862208 markings/sec, 170 secs
lola: 149483701 markings, 259943499 edges, 849258 markings/sec, 175 secs
lola: 153303414 markings, 266857257 edges, 763943 markings/sec, 180 secs
lola: 157133121 markings, 273789286 edges, 765941 markings/sec, 185 secs
lola: 160937240 markings, 280674778 edges, 760824 markings/sec, 190 secs
lola: 164805836 markings, 287677021 edges, 773719 markings/sec, 195 secs
lola: 168678997 markings, 294687781 edges, 774632 markings/sec, 200 secs
lola: 172637353 markings, 301852768 edges, 791671 markings/sec, 205 secs
lola: 176600377 markings, 309026364 edges, 792605 markings/sec, 210 secs
lola: 180564236 markings, 316201571 edges, 792772 markings/sec, 215 secs
lola: 184523969 markings, 323369118 edges, 791947 markings/sec, 220 secs
lola: 184879945 markings, 324013289 edges, 71195 markings/sec, 225 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 273 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(NADPplus)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 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: 4247894 markings, 6456119 edges, 849579 markings/sec, 0 secs
lola: 8191038 markings, 12391185 edges, 788629 markings/sec, 5 secs
lola: 11766165 markings, 17870273 edges, 715025 markings/sec, 10 secs
lola: 15432365 markings, 23465179 edges, 733240 markings/sec, 15 secs
lola: 18966100 markings, 28832886 edges, 706747 markings/sec, 20 secs
lola: 22309966 markings, 34116160 edges, 668773 markings/sec, 25 secs
lola: 26032659 markings, 39703681 edges, 744539 markings/sec, 30 secs
lola: 29381733 markings, 44847220 edges, 669815 markings/sec, 35 secs
lola: 32970958 markings, 50455943 edges, 717845 markings/sec, 40 secs
lola: 36619125 markings, 55933131 edges, 729633 markings/sec, 45 secs
lola: 39885968 markings, 61051052 edges, 653369 markings/sec, 50 secs
lola: 43700452 markings, 66801608 edges, 762897 markings/sec, 55 secs
lola: 47309105 markings, 72348280 edges, 721731 markings/sec, 60 secs
lola: 50914888 markings, 77866970 edges, 721157 markings/sec, 65 secs
lola: 54669954 markings, 83522959 edges, 751013 markings/sec, 70 secs
lola: 58457817 markings, 89499085 edges, 757573 markings/sec, 75 secs
lola: 62573323 markings, 95677137 edges, 823101 markings/sec, 80 secs
lola: 66148197 markings, 101117448 edges, 714975 markings/sec, 85 secs
lola: 69974034 markings, 107129173 edges, 765167 markings/sec, 90 secs
lola: 73838424 markings, 112878525 edges, 772878 markings/sec, 95 secs
lola: 77110392 markings, 118013783 edges, 654394 markings/sec, 100 secs
lola: 81018852 markings, 123961024 edges, 781692 markings/sec, 105 secs
lola: 84940392 markings, 129859306 edges, 784308 markings/sec, 110 secs
lola: 88499825 markings, 135413652 edges, 711887 markings/sec, 115 secs
lola: 92348220 markings, 141225746 edges, 769679 markings/sec, 120 secs
lola: 95997413 markings, 146837504 edges, 729839 markings/sec, 125 secs
lola: 99770295 markings, 152622517 edges, 754576 markings/sec, 130 secs
lola: 103293535 markings, 157918399 edges, 704648 markings/sec, 135 secs
lola: 106970498 markings, 163725269 edges, 735393 markings/sec, 140 secs
lola: 110753922 markings, 169374000 edges, 756685 markings/sec, 145 secs
lola: 114036074 markings, 174448356 edges, 656430 markings/sec, 150 secs
lola: 117871783 markings, 180363164 edges, 767142 markings/sec, 155 secs
lola: 121633280 markings, 185998243 edges, 752299 markings/sec, 160 secs
lola: 124865268 markings, 191055838 edges, 646398 markings/sec, 165 secs
lola: 128661969 markings, 196789916 edges, 759340 markings/sec, 170 secs
lola: 132304217 markings, 202355693 edges, 728450 markings/sec, 175 secs
lola: 135782689 markings, 207713548 edges, 695694 markings/sec, 180 secs
lola: 139284324 markings, 212967638 edges, 700327 markings/sec, 185 secs
lola: 142963836 markings, 218792352 edges, 735902 markings/sec, 190 secs
lola: 146654544 markings, 224299680 edges, 738142 markings/sec, 195 secs
lola: 149800488 markings, 229181228 edges, 629189 markings/sec, 200 secs
lola: 153615644 markings, 235035493 edges, 763031 markings/sec, 205 secs
lola: 157298529 markings, 240561466 edges, 736577 markings/sec, 210 secs
lola: 160464239 markings, 245509987 edges, 633142 markings/sec, 215 secs
lola: 164147376 markings, 251081003 edges, 736627 markings/sec, 220 secs
lola: 167719605 markings, 256582110 edges, 714446 markings/sec, 225 secs
lola: 171240738 markings, 261941324 edges, 704227 markings/sec, 230 secs
lola: 174522984 markings, 266897657 edges, 656449 markings/sec, 235 secs
lola: 178241235 markings, 272779283 edges, 743650 markings/sec, 240 secs
lola: 181832102 markings, 278103967 edges, 718173 markings/sec, 245 secs
lola: 184835400 markings, 282816900 edges, 600660 markings/sec, 250 secs
lola: 188617309 markings, 288538530 edges, 756382 markings/sec, 255 secs
lola: 192351136 markings, 294185605 edges, 746765 markings/sec, 260 secs
lola: 195505251 markings, 299092373 edges, 630823 markings/sec, 265 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 272 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(E4P)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 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: 4182040 markings, 9100999 edges, 836408 markings/sec, 0 secs
lola: 8052463 markings, 18287588 edges, 774085 markings/sec, 5 secs
lola: 11627751 markings, 27552737 edges, 715058 markings/sec, 10 secs
lola: 15181237 markings, 36770450 edges, 710697 markings/sec, 15 secs
lola: 18760166 markings, 46024048 edges, 715786 markings/sec, 20 secs
lola: 22254860 markings, 55083949 edges, 698939 markings/sec, 25 secs
lola: 25833382 markings, 64076748 edges, 715704 markings/sec, 30 secs
lola: 29664792 markings, 73190931 edges, 766282 markings/sec, 35 secs
lola: 32962263 markings, 81060716 edges, 659494 markings/sec, 40 secs
lola: 36255014 markings, 88936938 edges, 658550 markings/sec, 45 secs
lola: 39556638 markings, 96840198 edges, 660325 markings/sec, 50 secs
lola: 42809697 markings, 104620116 edges, 650612 markings/sec, 55 secs
lola: 45836638 markings, 111856827 edges, 605388 markings/sec, 60 secs
lola: 48787250 markings, 118920596 edges, 590122 markings/sec, 65 secs
lola: 51721344 markings, 125950798 edges, 586819 markings/sec, 70 secs
lola: 54675468 markings, 133029744 edges, 590825 markings/sec, 75 secs
lola: 57547734 markings, 139914737 edges, 574453 markings/sec, 80 secs
lola: 60518942 markings, 147026258 edges, 594242 markings/sec, 85 secs
lola: 63392949 markings, 153897316 edges, 574801 markings/sec, 90 secs
lola: 66273140 markings, 160794745 edges, 576038 markings/sec, 95 secs
lola: 69127965 markings, 167635622 edges, 570965 markings/sec, 100 secs
lola: 72036946 markings, 174606618 edges, 581796 markings/sec, 105 secs
lola: 75072121 markings, 181882153 edges, 607035 markings/sec, 110 secs
lola: 78045687 markings, 188988336 edges, 594713 markings/sec, 115 secs
lola: 80963613 markings, 195974214 edges, 583585 markings/sec, 120 secs
lola: 83876256 markings, 202951859 edges, 582529 markings/sec, 125 secs
lola: 86778775 markings, 209908152 edges, 580504 markings/sec, 130 secs
lola: 89629426 markings, 216740726 edges, 570130 markings/sec, 135 secs
lola: 92462605 markings, 223515601 edges, 566636 markings/sec, 140 secs
lola: 95309571 markings, 230327277 edges, 569393 markings/sec, 145 secs
lola: 98153154 markings, 237139404 edges, 568717 markings/sec, 150 secs
lola: 101028504 markings, 244028271 edges, 575070 markings/sec, 155 secs
lola: 103876047 markings, 250853272 edges, 569509 markings/sec, 160 secs
lola: 106698149 markings, 257614132 edges, 564420 markings/sec, 165 secs
lola: 109487646 markings, 264279342 edges, 557899 markings/sec, 170 secs
lola: 112306585 markings, 271030372 edges, 563788 markings/sec, 175 secs
lola: 115136928 markings, 277811343 edges, 566069 markings/sec, 180 secs
lola: 117967750 markings, 284595302 edges, 566164 markings/sec, 185 secs
lola: 120754025 markings, 291274180 edges, 557255 markings/sec, 190 secs
lola: 123544849 markings, 297942172 edges, 558165 markings/sec, 195 secs
lola: 126355330 markings, 304670027 edges, 562096 markings/sec, 200 secs
lola: 129167902 markings, 311408404 edges, 562514 markings/sec, 205 secs
lola: 131984124 markings, 318156386 edges, 563244 markings/sec, 210 secs
lola: 134734017 markings, 324748026 edges, 549979 markings/sec, 215 secs
lola: 137461569 markings, 331267749 edges, 545510 markings/sec, 220 secs
lola: 140201117 markings, 337824576 edges, 547910 markings/sec, 225 secs
lola: 142935664 markings, 344373732 edges, 546909 markings/sec, 230 secs
lola: 145681699 markings, 350954398 edges, 549207 markings/sec, 235 secs
lola: 148366048 markings, 357387580 edges, 536870 markings/sec, 240 secs
lola: 151052112 markings, 363813242 edges, 537213 markings/sec, 245 secs
lola: 153780497 markings, 370339660 edges, 545677 markings/sec, 250 secs
lola: 156521495 markings, 376904438 edges, 548200 markings/sec, 255 secs
lola: 159311561 markings, 383588626 edges, 558013 markings/sec, 260 secs
lola: 162098138 markings, 390267383 edges, 557315 markings/sec, 265 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 273 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(c2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 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: 4241459 markings, 9231840 edges, 848292 markings/sec, 0 secs
lola: 8159525 markings, 18564943 edges, 783613 markings/sec, 5 secs
lola: 11794713 markings, 27985832 edges, 727038 markings/sec, 10 secs
lola: 15405219 markings, 37351811 edges, 722101 markings/sec, 15 secs
lola: 19041944 markings, 46754074 edges, 727345 markings/sec, 20 secs
lola: 22624559 markings, 56042481 edges, 716523 markings/sec, 25 secs
lola: 26301811 markings, 65189329 edges, 735450 markings/sec, 30 secs
lola: 30120696 markings, 74276286 edges, 763777 markings/sec, 35 secs
lola: 33474802 markings, 82286415 edges, 670821 markings/sec, 40 secs
lola: 36847199 markings, 90353674 edges, 674479 markings/sec, 45 secs
lola: 40223426 markings, 98436096 edges, 675245 markings/sec, 50 secs
lola: 43571950 markings, 106447526 edges, 669705 markings/sec, 55 secs
lola: 46578394 markings, 113632091 edges, 601289 markings/sec, 60 secs
lola: 49588769 markings, 120841032 edges, 602075 markings/sec, 65 secs
lola: 52601014 markings, 128058686 edges, 602449 markings/sec, 70 secs
lola: 55603410 markings, 135254266 edges, 600479 markings/sec, 75 secs
lola: 58557594 markings, 142335880 edges, 590837 markings/sec, 80 secs
lola: 61574260 markings, 149545763 edges, 603333 markings/sec, 85 secs
lola: 64512646 markings, 156578442 edges, 587677 markings/sec, 90 secs
lola: 67443537 markings, 163599330 edges, 586178 markings/sec, 95 secs
lola: 70378231 markings, 170632011 edges, 586939 markings/sec, 100 secs
lola: 73275224 markings, 177575064 edges, 579399 markings/sec, 105 secs
lola: 76152615 markings, 184465722 edges, 575478 markings/sec, 110 secs
lola: 79013552 markings, 191304954 edges, 572187 markings/sec, 115 secs
lola: 81888014 markings, 198188233 edges, 574892 markings/sec, 120 secs
lola: 84774714 markings, 205104530 edges, 577340 markings/sec, 125 secs
lola: 87631627 markings, 211952247 edges, 571383 markings/sec, 130 secs
lola: 90436167 markings, 218674053 edges, 560908 markings/sec, 135 secs
lola: 93185818 markings, 225244963 edges, 549930 markings/sec, 140 secs
lola: 95969556 markings, 231908734 edges, 556748 markings/sec, 145 secs
lola: 98763343 markings, 238601020 edges, 558757 markings/sec, 150 secs
lola: 101552717 markings, 245284548 edges, 557875 markings/sec, 155 secs
lola: 104499579 markings, 252347955 edges, 589372 markings/sec, 160 secs
lola: 107466841 markings, 259446766 edges, 593452 markings/sec, 165 secs
lola: 110274255 markings, 266162620 edges, 561483 markings/sec, 170 secs
lola: 113119902 markings, 272978653 edges, 569129 markings/sec, 175 secs
lola: 115975832 markings, 279822051 edges, 571186 markings/sec, 180 secs
lola: 118825845 markings, 286651890 edges, 570003 markings/sec, 185 secs
lola: 121822220 markings, 293825940 edges, 599275 markings/sec, 190 secs
lola: 124741104 markings, 300805017 edges, 583777 markings/sec, 195 secs
lola: 127661291 markings, 307798940 edges, 584037 markings/sec, 200 secs
lola: 130580176 markings, 314792511 edges, 583777 markings/sec, 205 secs
lola: 133510577 markings, 321815372 edges, 586080 markings/sec, 210 secs
lola: 136482386 markings, 328929539 edges, 594362 markings/sec, 215 secs
lola: 139340852 markings, 335764410 edges, 571693 markings/sec, 220 secs
lola: 142192961 markings, 342594983 edges, 570422 markings/sec, 225 secs
lola: 145094689 markings, 349547266 edges, 580346 markings/sec, 230 secs
lola: 148027611 markings, 356576241 edges, 586584 markings/sec, 235 secs
lola: 150928502 markings, 363518399 edges, 580178 markings/sec, 240 secs
lola: 153782385 markings, 370344188 edges, 570777 markings/sec, 245 secs
lola: 156655356 markings, 377224678 edges, 574594 markings/sec, 250 secs
lola: 159571389 markings, 384211357 edges, 583207 markings/sec, 255 secs
lola: 162477956 markings, 391178204 edges, 581313 markings/sec, 260 secs
lola: 165348083 markings, 398041837 edges, 574025 markings/sec, 265 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 273 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(NADH)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 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: 4219495 markings, 9183471 edges, 843899 markings/sec, 0 secs
lola: 8155465 markings, 18554384 edges, 787194 markings/sec, 5 secs
lola: 11808991 markings, 28022971 edges, 730705 markings/sec, 10 secs
lola: 15430129 markings, 37416594 edges, 724228 markings/sec, 15 secs
lola: 19070638 markings, 46828691 edges, 728102 markings/sec, 20 secs
lola: 22677044 markings, 56178954 edges, 721281 markings/sec, 25 secs
lola: 26398924 markings, 65424314 edges, 744376 markings/sec, 30 secs
lola: 30286960 markings, 74672392 edges, 777607 markings/sec, 35 secs
lola: 33770496 markings, 82993189 edges, 696707 markings/sec, 40 secs
lola: 37277564 markings, 91383729 edges, 701414 markings/sec, 45 secs
lola: 40775299 markings, 99757669 edges, 699547 markings/sec, 50 secs
lola: 44266392 markings, 108106008 edges, 698219 markings/sec, 55 secs
lola: 47421471 markings, 115650406 edges, 631016 markings/sec, 60 secs
lola: 50556503 markings, 123159280 edges, 627006 markings/sec, 65 secs
lola: 53252352 markings, 129619346 edges, 539170 markings/sec, 70 secs
lola: 56411807 markings, 137191917 edges, 631891 markings/sec, 75 secs
lola: 59625209 markings, 144885507 edges, 642680 markings/sec, 80 secs
lola: 62668015 markings, 152161905 edges, 608561 markings/sec, 85 secs
lola: 65213951 markings, 158258080 edges, 509187 markings/sec, 90 secs
lola: 68270761 markings, 165581026 edges, 611362 markings/sec, 95 secs
lola: 71373261 markings, 173016498 edges, 620500 markings/sec, 100 secs
lola: 74456720 markings, 180406992 edges, 616692 markings/sec, 105 secs
lola: 77145324 markings, 186834606 edges, 537721 markings/sec, 110 secs
lola: 80117721 markings, 193948689 edges, 594479 markings/sec, 115 secs
lola: 83067556 markings, 201014790 edges, 589967 markings/sec, 120 secs
lola: 86090198 markings, 208257214 edges, 604528 markings/sec, 125 secs
lola: 88657416 markings, 214410547 edges, 513444 markings/sec, 130 secs
lola: 91664625 markings, 221610306 edges, 601442 markings/sec, 135 secs
lola: 94590306 markings, 228605716 edges, 585136 markings/sec, 140 secs
lola: 97538487 markings, 235665799 edges, 589636 markings/sec, 145 secs
lola: 100072740 markings, 241738012 edges, 506851 markings/sec, 150 secs
lola: 103085710 markings, 248959246 edges, 602594 markings/sec, 155 secs
lola: 106061648 markings, 256092382 edges, 595188 markings/sec, 160 secs
lola: 108948187 markings, 262988226 edges, 577308 markings/sec, 165 secs
lola: 111830783 markings, 269890110 edges, 576519 markings/sec, 170 secs
lola: 114763562 markings, 276917069 edges, 586556 markings/sec, 175 secs
lola: 117730869 markings, 284027639 edges, 593461 markings/sec, 180 secs
lola: 120687233 markings, 291113837 edges, 591273 markings/sec, 185 secs
lola: 123630959 markings, 298147838 edges, 588745 markings/sec, 190 secs
lola: 126557564 markings, 305154472 edges, 585321 markings/sec, 195 secs
lola: 129482724 markings, 312162146 edges, 585032 markings/sec, 200 secs
lola: 132460359 markings, 319298619 edges, 595527 markings/sec, 205 secs
lola: 134967437 markings, 325307376 edges, 501416 markings/sec, 210 secs
lola: 137884099 markings, 332278167 edges, 583332 markings/sec, 215 secs
lola: 140737474 markings, 339108051 edges, 570675 markings/sec, 220 secs
lola: 143632982 markings, 346044547 edges, 579102 markings/sec, 225 secs
lola: 146565272 markings, 353071140 edges, 586458 markings/sec, 230 secs
lola: 149473923 markings, 360042792 edges, 581730 markings/sec, 235 secs
lola: 152356941 markings, 366932076 edges, 576604 markings/sec, 240 secs
lola: 155238108 markings, 373829618 edges, 576233 markings/sec, 245 secs
lola: 158152959 markings, 380812589 edges, 582970 markings/sec, 250 secs
lola: 161090635 markings, 387853071 edges, 587535 markings/sec, 255 secs
lola: 164025676 markings, 394887052 edges, 587008 markings/sec, 260 secs
lola: 166918502 markings, 401798210 edges, 578565 markings/sec, 265 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 272 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(Xu5P)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 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: 4900748 markings, 6931631 edges, 980150 markings/sec, 0 secs
lola: 9696319 markings, 13627447 edges, 959114 markings/sec, 5 secs
lola: SUBRESULT
lola: result: 396
lola: produced by: state space
lola: The maximum value of the given expression is 396
lola: RESULT
lola:
SUMMARY: 396 unknown unknown unknown unknown unknown unknown 200 unknown unknown unknown unknown unknown unknown unknown 396
lola: ========================================
FORMULA GPPP-PT-C0100N0000000100-UpperBounds-0 396 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C0100N0000000100-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C0100N0000000100-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C0100N0000000100-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C0100N0000000100-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C0100N0000000100-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C0100N0000000100-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C0100N0000000100-UpperBounds-7 200 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C0100N0000000100-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C0100N0000000100-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C0100N0000000100-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C0100N0000000100-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C0100N0000000100-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C0100N0000000100-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C0100N0000000100-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C0100N0000000100-UpperBounds-15 396 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496397275624

--------------------
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_GPPP-PT-C0100N0000000100"
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_GPPP-PT-C0100N0000000100.tgz
mv S_GPPP-PT-C0100N0000000100 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool lola"
echo " Input is S_GPPP-PT-C0100N0000000100, 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 r108-blw3-149441612500533"
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 ;