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 GPPP-PT-C0100N0000000100, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r028-blw3-149440264400533
=====================================================================

--------------------
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 1494720487207


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ 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: 4576493 markings, 6472910 edges, 915299 markings/sec, 0 secs
lola: 8684039 markings, 12211746 edges, 821509 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: 4171845 markings, 7498745 edges, 834369 markings/sec, 0 secs
lola: 8154578 markings, 14663281 edges, 796547 markings/sec, 5 secs
lola: 12061204 markings, 21726685 edges, 781325 markings/sec, 10 secs
lola: 15955755 markings, 28745352 edges, 778910 markings/sec, 15 secs
lola: 19978244 markings, 36041530 edges, 804498 markings/sec, 20 secs
lola: 24039608 markings, 43392172 edges, 812273 markings/sec, 25 secs
lola: 27947724 markings, 50464773 edges, 781623 markings/sec, 30 secs
lola: 31855052 markings, 57536626 edges, 781466 markings/sec, 35 secs
lola: 35746049 markings, 64578648 edges, 778199 markings/sec, 40 secs
lola: 39702649 markings, 71739476 edges, 791320 markings/sec, 45 secs
lola: 43633406 markings, 78853794 edges, 786151 markings/sec, 50 secs
lola: 47531478 markings, 85908836 edges, 779614 markings/sec, 55 secs
lola: 51419207 markings, 92945314 edges, 777546 markings/sec, 60 secs
lola: 55349836 markings, 100059692 edges, 786126 markings/sec, 65 secs
lola: 59249998 markings, 107118769 edges, 780032 markings/sec, 70 secs
lola: 63112715 markings, 114110182 edges, 772543 markings/sec, 75 secs
lola: 66952361 markings, 121059814 edges, 767929 markings/sec, 80 secs
lola: 71014262 markings, 127982424 edges, 812380 markings/sec, 85 secs
lola: 75151018 markings, 134979679 edges, 827351 markings/sec, 90 secs
lola: 79177394 markings, 141804361 edges, 805275 markings/sec, 95 secs
lola: 83156698 markings, 148584193 edges, 795861 markings/sec, 100 secs
lola: 87016428 markings, 155199517 edges, 771946 markings/sec, 105 secs
lola: 90827596 markings, 161680802 edges, 762234 markings/sec, 110 secs
lola: 94637020 markings, 168158978 edges, 761885 markings/sec, 115 secs
lola: 98448750 markings, 174641745 edges, 762346 markings/sec, 120 secs
lola: 102248247 markings, 181103098 edges, 759899 markings/sec, 125 secs
lola: 106108198 markings, 187667867 edges, 771990 markings/sec, 130 secs
lola: 109879502 markings, 194082029 edges, 754261 markings/sec, 135 secs
lola: 113891607 markings, 200906109 edges, 802421 markings/sec, 140 secs
lola: 117634013 markings, 207271846 edges, 748481 markings/sec, 145 secs
lola: 121477402 markings, 213809741 edges, 768678 markings/sec, 150 secs
lola: 125276599 markings, 220272261 edges, 759839 markings/sec, 155 secs
lola: 129054081 markings, 226697472 edges, 755496 markings/sec, 160 secs
lola: 133300458 markings, 233729789 edges, 849275 markings/sec, 165 secs
lola: 137839283 markings, 241011401 edges, 907765 markings/sec, 170 secs
lola: 142110889 markings, 247849358 edges, 854321 markings/sec, 175 secs
lola: 146200730 markings, 254396302 edges, 817968 markings/sec, 180 secs
lola: 150220516 markings, 261277249 edges, 803957 markings/sec, 185 secs
lola: 153815169 markings, 267783638 edges, 718931 markings/sec, 190 secs
lola: 157627236 markings, 274683614 edges, 762413 markings/sec, 195 secs
lola: 161544296 markings, 281773743 edges, 783412 markings/sec, 200 secs
lola: 165806217 markings, 289487944 edges, 852384 markings/sec, 205 secs
lola: 169872464 markings, 296848441 edges, 813249 markings/sec, 210 secs
lola: 174164620 markings, 304617179 edges, 858431 markings/sec, 215 secs
lola: 178031496 markings, 311617038 edges, 773375 markings/sec, 220 secs
lola: 182458628 markings, 319630589 edges, 885426 markings/sec, 225 secs
lola: local time limit reached - aborting
lola: 184947616 markings, 324135671 edges, 497798 markings/sec, 230 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 235 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: 4391438 markings, 7892179 edges, 878288 markings/sec, 0 secs
lola: 8499750 markings, 15293201 edges, 821662 markings/sec, 5 secs
lola: 12736647 markings, 22919596 edges, 847379 markings/sec, 10 secs
lola: 17086861 markings, 30781408 edges, 870043 markings/sec, 15 secs
lola: 21511269 markings, 38816089 edges, 884882 markings/sec, 20 secs
lola: 25663597 markings, 46331185 edges, 830466 markings/sec, 25 secs
lola: 29810756 markings, 53836677 edges, 829432 markings/sec, 30 secs
lola: 33880270 markings, 61201852 edges, 813903 markings/sec, 35 secs
lola: 38077093 markings, 68797309 edges, 839365 markings/sec, 40 secs
lola: 42210847 markings, 76279073 edges, 826751 markings/sec, 45 secs
lola: 46268432 markings, 83622601 edges, 811517 markings/sec, 50 secs
lola: 50278099 markings, 90880075 edges, 801933 markings/sec, 55 secs
lola: 54366747 markings, 98280266 edges, 817730 markings/sec, 60 secs
lola: 58394446 markings, 105570208 edges, 805540 markings/sec, 65 secs
lola: 62430027 markings, 112874460 edges, 807116 markings/sec, 70 secs
lola: 66400490 markings, 120060903 edges, 794093 markings/sec, 75 secs
lola: 70595800 markings, 127267216 edges, 839062 markings/sec, 80 secs
lola: 74865053 markings, 134495293 edges, 853851 markings/sec, 85 secs
lola: 79060270 markings, 141616924 edges, 839043 markings/sec, 90 secs
lola: 83188976 markings, 148644416 edges, 825741 markings/sec, 95 secs
lola: 87172362 markings, 155465276 edges, 796677 markings/sec, 100 secs
lola: 91091148 markings, 162129161 edges, 783757 markings/sec, 105 secs
lola: 94960576 markings, 168709546 edges, 773886 markings/sec, 110 secs
lola: 98851326 markings, 175326420 edges, 778150 markings/sec, 115 secs
lola: 102829254 markings, 182091543 edges, 795586 markings/sec, 120 secs
lola: 106784844 markings, 188818820 edges, 791118 markings/sec, 125 secs
lola: 110702766 markings, 195482745 edges, 783584 markings/sec, 130 secs
lola: 114617127 markings, 202140480 edges, 782872 markings/sec, 135 secs
lola: 118570612 markings, 208864955 edges, 790697 markings/sec, 140 secs
lola: 122509018 markings, 215564114 edges, 787681 markings/sec, 145 secs
lola: 126460362 markings, 222285409 edges, 790269 markings/sec, 150 secs
lola: 130583056 markings, 229299381 edges, 824539 markings/sec, 155 secs
lola: 135171764 markings, 236715285 edges, 917742 markings/sec, 160 secs
lola: 139588782 markings, 243811983 edges, 883404 markings/sec, 165 secs
lola: 143843915 markings, 250623561 edges, 851027 markings/sec, 170 secs
lola: 148115281 markings, 257466658 edges, 854273 markings/sec, 175 secs
lola: 151946352 markings, 264401155 edges, 766214 markings/sec, 180 secs
lola: 155680250 markings, 271159266 edges, 746780 markings/sec, 185 secs
lola: 159446529 markings, 277976564 edges, 753256 markings/sec, 190 secs
lola: 163172440 markings, 284720552 edges, 745182 markings/sec, 195 secs
lola: 166895644 markings, 291459957 edges, 744641 markings/sec, 200 secs
lola: 170659713 markings, 298273142 edges, 752814 markings/sec, 205 secs
lola: 174532990 markings, 305284218 edges, 774655 markings/sec, 210 secs
lola: 178368476 markings, 312226798 edges, 767097 markings/sec, 215 secs
lola: 182262007 markings, 319274610 edges, 778706 markings/sec, 220 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 235 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: 4237870 markings, 6440984 edges, 847574 markings/sec, 0 secs
lola: 8131090 markings, 12299514 edges, 778644 markings/sec, 5 secs
lola: 11665292 markings, 17726548 edges, 706840 markings/sec, 10 secs
lola: 15399489 markings, 23413361 edges, 746839 markings/sec, 15 secs
lola: 18902097 markings, 28728416 edges, 700522 markings/sec, 20 secs
lola: 22173160 markings, 33920990 edges, 654213 markings/sec, 25 secs
lola: 25857018 markings, 39430820 edges, 736772 markings/sec, 30 secs
lola: 29130118 markings, 44488982 edges, 654620 markings/sec, 35 secs
lola: 32752535 markings, 50099815 edges, 724483 markings/sec, 40 secs
lola: 36322660 markings, 55477334 edges, 714025 markings/sec, 45 secs
lola: 39582808 markings, 60573051 edges, 652030 markings/sec, 50 secs
lola: 43314733 markings, 66199530 edges, 746385 markings/sec, 55 secs
lola: 46895770 markings, 71759983 edges, 716207 markings/sec, 60 secs
lola: 50566135 markings, 77325329 edges, 734073 markings/sec, 65 secs
lola: 53947038 markings, 82448791 edges, 676181 markings/sec, 70 secs
lola: 57728201 markings, 88395545 edges, 756233 markings/sec, 75 secs
lola: 61440132 markings, 93907757 edges, 742386 markings/sec, 80 secs
lola: 64646438 markings, 98935557 edges, 641261 markings/sec, 85 secs
lola: 68500997 markings, 104778267 edges, 770912 markings/sec, 90 secs
lola: 72166857 markings, 110349737 edges, 733172 markings/sec, 95 secs
lola: 75632042 markings, 115696505 edges, 693037 markings/sec, 100 secs
lola: 79185336 markings, 121054285 edges, 710659 markings/sec, 105 secs
lola: 82648191 markings, 126523966 edges, 692571 markings/sec, 110 secs
lola: 86124278 markings, 131686259 edges, 695217 markings/sec, 115 secs
lola: 89124493 markings, 136391866 edges, 600043 markings/sec, 120 secs
lola: 92702334 markings, 141797969 edges, 715568 markings/sec, 125 secs
lola: 96335034 markings, 147325768 edges, 726540 markings/sec, 130 secs
lola: 99684894 markings, 152486814 edges, 669972 markings/sec, 135 secs
lola: 103133427 markings, 157653534 edges, 689707 markings/sec, 140 secs
lola: 106817900 markings, 163504626 edges, 736895 markings/sec, 145 secs
lola: 110524831 markings, 169025219 edges, 741386 markings/sec, 150 secs
lola: 113674459 markings, 173931959 edges, 629926 markings/sec, 155 secs
lola: 117524960 markings, 179808917 edges, 770100 markings/sec, 160 secs
lola: 121282406 markings, 185460664 edges, 751489 markings/sec, 165 secs
lola: 124514279 markings, 190503147 edges, 646375 markings/sec, 170 secs
lola: 128157251 markings, 195968317 edges, 728594 markings/sec, 175 secs
lola: 131663567 markings, 201446253 edges, 701263 markings/sec, 180 secs
lola: 135223626 markings, 206836780 edges, 712012 markings/sec, 185 secs
lola: 138506788 markings, 211833364 edges, 656632 markings/sec, 190 secs
lola: 142277671 markings, 217747756 edges, 754177 markings/sec, 195 secs
lola: 145933866 markings, 223176371 edges, 731239 markings/sec, 200 secs
lola: 149076720 markings, 228105600 edges, 628571 markings/sec, 205 secs
lola: 152893819 markings, 233888467 edges, 763420 markings/sec, 210 secs
lola: 156650194 markings, 239586857 edges, 751275 markings/sec, 215 secs
lola: 159952212 markings, 244704361 edges, 660404 markings/sec, 220 secs
lola: 163549634 markings, 250106029 edges, 719484 markings/sec, 225 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 235 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: 4369054 markings, 7856595 edges, 873811 markings/sec, 0 secs
lola: 8602436 markings, 15479757 edges, 846676 markings/sec, 5 secs
lola: 12817190 markings, 23080263 edges, 842951 markings/sec, 10 secs
lola: 16983843 markings, 30609517 edges, 833331 markings/sec, 15 secs
lola: 21215463 markings, 38280825 edges, 846324 markings/sec, 20 secs
lola: 25352442 markings, 45767837 edges, 827396 markings/sec, 25 secs
lola: 29501167 markings, 53276360 edges, 829745 markings/sec, 30 secs
lola: 33567810 markings, 60636390 edges, 813329 markings/sec, 35 secs
lola: 37740296 markings, 68187837 edges, 834497 markings/sec, 40 secs
lola: 41873657 markings, 75668911 edges, 826672 markings/sec, 45 secs
lola: 46012738 markings, 83160086 edges, 827816 markings/sec, 50 secs
lola: 50186466 markings, 90714292 edges, 834746 markings/sec, 55 secs
lola: 54546345 markings, 98605259 edges, 871976 markings/sec, 60 secs
lola: 58980564 markings, 106631179 edges, 886844 markings/sec, 65 secs
lola: 63318514 markings, 114482618 edges, 867590 markings/sec, 70 secs
lola: 67381392 markings, 121816578 edges, 812576 markings/sec, 75 secs
lola: 71340584 markings, 128532420 edges, 791838 markings/sec, 80 secs
lola: 75763858 markings, 136016130 edges, 884655 markings/sec, 85 secs
lola: 80229569 markings, 143602036 edges, 893142 markings/sec, 90 secs
lola: 84765140 markings, 151371738 edges, 907114 markings/sec, 95 secs
lola: 89233996 markings, 158970941 edges, 893771 markings/sec, 100 secs
lola: 93681598 markings, 166534352 edges, 889520 markings/sec, 105 secs
lola: 98147735 markings, 174129615 edges, 893227 markings/sec, 110 secs
lola: 102566216 markings, 181643786 edges, 883696 markings/sec, 115 secs
lola: 107006986 markings, 189196375 edges, 888154 markings/sec, 120 secs
lola: 111348821 markings, 196581394 edges, 868367 markings/sec, 125 secs
lola: 115780663 markings, 204119632 edges, 886368 markings/sec, 130 secs
lola: 120279312 markings, 211770865 edges, 899730 markings/sec, 135 secs
lola: 124731944 markings, 219345977 edges, 890526 markings/sec, 140 secs
lola: 129219622 markings, 226979768 edges, 897536 markings/sec, 145 secs
lola: 133848645 markings, 234604283 edges, 925805 markings/sec, 150 secs
lola: 138517740 markings, 242097478 edges, 933819 markings/sec, 155 secs
lola: 143050409 markings, 249353323 edges, 906534 markings/sec, 160 secs
lola: 147588289 markings, 256617477 edges, 907576 markings/sec, 165 secs
lola: 151917730 markings, 264349346 edges, 865888 markings/sec, 170 secs
lola: 156015551 markings, 271766404 edges, 819564 markings/sec, 175 secs
lola: 160143952 markings, 279239160 edges, 825680 markings/sec, 180 secs
lola: 164368745 markings, 286886095 edges, 844959 markings/sec, 185 secs
lola: 168623970 markings, 294588384 edges, 851045 markings/sec, 190 secs
lola: 172685525 markings, 301940232 edges, 812311 markings/sec, 195 secs
lola: 176548324 markings, 308932184 edges, 772560 markings/sec, 200 secs
lola: 180862550 markings, 316741279 edges, 862845 markings/sec, 205 secs
lola: 184759259 markings, 323795161 edges, 779342 markings/sec, 210 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: 5143532 markings, 7823441 edges, 1028706 markings/sec, 0 secs
lola: 9487767 markings, 14412964 edges, 868847 markings/sec, 5 secs
lola: 13979319 markings, 21186777 edges, 898310 markings/sec, 10 secs
lola: 18162958 markings, 27606398 edges, 836728 markings/sec, 15 secs
lola: 22013376 markings, 33691509 edges, 770084 markings/sec, 20 secs
lola: 26377497 markings, 40253672 edges, 872824 markings/sec, 25 secs
lola: 30464794 markings, 46455895 edges, 817459 markings/sec, 30 secs
lola: 34117480 markings, 52250302 edges, 730537 markings/sec, 35 secs
lola: 38370904 markings, 58670097 edges, 850685 markings/sec, 40 secs
lola: 42398062 markings, 64756207 edges, 805432 markings/sec, 45 secs
lola: 46234740 markings, 70801509 edges, 767336 markings/sec, 50 secs
lola: 50474613 markings, 77181910 edges, 847975 markings/sec, 55 secs
lola: 54464871 markings, 83196631 edges, 798052 markings/sec, 60 secs
lola: 58283452 markings, 89248234 edges, 763716 markings/sec, 65 secs
lola: 62504898 markings, 95566695 edges, 844289 markings/sec, 70 secs
lola: 66211878 markings, 101211259 edges, 741396 markings/sec, 75 secs
lola: 70101398 markings, 107336466 edges, 777904 markings/sec, 80 secs
lola: 74213514 markings, 113470379 edges, 822423 markings/sec, 85 secs
lola: 77867556 markings, 119097211 edges, 730808 markings/sec, 90 secs
lola: 81775350 markings, 125158181 edges, 781559 markings/sec, 95 secs
lola: 85806450 markings, 131187471 edges, 806220 markings/sec, 100 secs
lola: 89483581 markings, 136925818 edges, 735426 markings/sec, 105 secs
lola: 93432091 markings, 142958726 edges, 789702 markings/sec, 110 secs
lola: 97497776 markings, 149072204 edges, 813137 markings/sec, 115 secs
lola: 101331375 markings, 155069274 edges, 766720 markings/sec, 120 secs
lola: 105325049 markings, 161139543 edges, 798735 markings/sec, 125 secs
lola: 109340171 markings, 167191530 edges, 803024 markings/sec, 130 secs
lola: 113051292 markings, 172991748 edges, 742224 markings/sec, 135 secs
lola: 116961072 markings, 178914818 edges, 781956 markings/sec, 140 secs
lola: 120892869 markings, 184864867 edges, 786359 markings/sec, 145 secs
lola: 124707103 markings, 190807793 edges, 762847 markings/sec, 150 secs
lola: 128684228 markings, 196829316 edges, 795425 markings/sec, 155 secs
lola: 131555156 markings, 201286603 edges, 574186 markings/sec, 160 secs
lola: 135729474 markings, 207629532 edges, 834864 markings/sec, 165 secs
lola: 139629230 markings, 213518564 edges, 779951 markings/sec, 170 secs
lola: 143362944 markings, 219362236 edges, 746743 markings/sec, 175 secs
lola: 147452122 markings, 225548571 edges, 817836 markings/sec, 180 secs
lola: 151223328 markings, 231233937 edges, 754241 markings/sec, 185 secs
lola: 154988040 markings, 237175725 edges, 752942 markings/sec, 190 secs
lola: 159061990 markings, 243305261 edges, 814790 markings/sec, 195 secs
lola: 161965880 markings, 247764576 edges, 580778 markings/sec, 200 secs
lola: 165872546 markings, 253819876 edges, 781333 markings/sec, 205 secs
lola: 169889629 markings, 259827443 edges, 803417 markings/sec, 210 secs
lola: 173591321 markings, 265574623 edges, 740338 markings/sec, 215 secs
lola: 177488133 markings, 271566651 edges, 779362 markings/sec, 220 secs
lola: 181462057 markings, 277530794 edges, 794785 markings/sec, 225 secs
lola: 185130325 markings, 283257319 edges, 733654 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: 4981099 markings, 7570717 edges, 996220 markings/sec, 0 secs
lola: 9172808 markings, 13934967 edges, 838342 markings/sec, 5 secs
lola: 13003587 markings, 19686052 edges, 766156 markings/sec, 10 secs
lola: 16324332 markings, 24859060 edges, 664149 markings/sec, 15 secs
lola: 19677967 markings, 29956786 edges, 670727 markings/sec, 20 secs
lola: 22552799 markings, 34465334 edges, 574966 markings/sec, 25 secs
lola: 25640380 markings, 39095588 edges, 617516 markings/sec, 30 secs
lola: 29168129 markings, 44542305 edges, 705550 markings/sec, 35 secs
lola: 32677067 markings, 49972545 edges, 701788 markings/sec, 40 secs
lola: 36679582 markings, 56025566 edges, 800503 markings/sec, 45 secs
lola: 40738998 markings, 62360886 edges, 811883 markings/sec, 50 secs
lola: 44729065 markings, 68463737 edges, 798013 markings/sec, 55 secs
lola: 48758261 markings, 74508477 edges, 805839 markings/sec, 60 secs
lola: 52577247 markings, 80478277 edges, 763797 markings/sec, 65 secs
lola: 56567034 markings, 86532816 edges, 797957 markings/sec, 70 secs
lola: 60619118 markings, 92648038 edges, 810417 markings/sec, 75 secs
lola: 64708545 markings, 99032821 edges, 817885 markings/sec, 80 secs
lola: 68756018 markings, 105175730 edges, 809495 markings/sec, 85 secs
lola: 72813522 markings, 111305086 edges, 811501 markings/sec, 90 secs
lola: 76887678 markings, 117665952 edges, 814831 markings/sec, 95 secs
lola: 80907830 markings, 123762457 edges, 804030 markings/sec, 100 secs
lola: 84973334 markings, 129908912 edges, 813101 markings/sec, 105 secs
lola: 88996236 markings, 136189178 edges, 804580 markings/sec, 110 secs
lola: 92967668 markings, 142210005 edges, 794286 markings/sec, 115 secs
lola: 96927581 markings, 148199047 edges, 791983 markings/sec, 120 secs
lola: 100801157 markings, 154240986 edges, 774715 markings/sec, 125 secs
lola: 104744664 markings, 160209652 edges, 788701 markings/sec, 130 secs
lola: 108542892 markings, 166004120 edges, 759646 markings/sec, 135 secs
lola: 112552628 markings, 172207799 edges, 801947 markings/sec, 140 secs
lola: 116506836 markings, 178185253 edges, 790842 markings/sec, 145 secs
lola: 120230289 markings, 183893114 edges, 744691 markings/sec, 150 secs
lola: 124319225 markings, 190189459 edges, 817787 markings/sec, 155 secs
lola: 128248575 markings, 196136008 edges, 785870 markings/sec, 160 secs
lola: 131941107 markings, 201846986 edges, 738506 markings/sec, 165 secs
lola: 136160622 markings, 208304624 edges, 843903 markings/sec, 170 secs
lola: 140132927 markings, 214290667 edges, 794461 markings/sec, 175 secs
lola: 143809656 markings, 220012531 edges, 735346 markings/sec, 180 secs
lola: 147950518 markings, 226340356 edges, 828172 markings/sec, 185 secs
lola: 151874175 markings, 232245927 edges, 784731 markings/sec, 190 secs
lola: 155527306 markings, 237955806 edges, 730626 markings/sec, 195 secs
lola: 159687234 markings, 244288870 edges, 831986 markings/sec, 200 secs
lola: 163566788 markings, 250130732 edges, 775911 markings/sec, 205 secs
lola: 167261212 markings, 255915381 edges, 738885 markings/sec, 210 secs
lola: 171411416 markings, 262213218 edges, 830041 markings/sec, 215 secs
lola: 175279438 markings, 268062468 edges, 773604 markings/sec, 220 secs
lola: 178986799 markings, 273863696 edges, 741472 markings/sec, 225 secs
lola: 183081148 markings, 280055999 edges, 818870 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: 4766414 markings, 6741576 edges, 953283 markings/sec, 0 secs
lola: 9387868 markings, 13196019 edges, 924291 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 265 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: 4832849 markings, 7343957 edges, 966570 markings/sec, 0 secs
lola: 8917849 markings, 13541118 edges, 817000 markings/sec, 5 secs
lola: 13033326 markings, 19730797 edges, 823095 markings/sec, 10 secs
lola: 15870601 markings, 24148724 edges, 567455 markings/sec, 15 secs
lola: 18903880 markings, 28731058 edges, 606656 markings/sec, 20 secs
lola: 21635818 markings, 33096759 edges, 546388 markings/sec, 25 secs
lola: 25038427 markings, 38156795 edges, 680522 markings/sec, 30 secs
lola: 28930442 markings, 44203391 edges, 778403 markings/sec, 35 secs
lola: 32720306 markings, 50040903 edges, 757973 markings/sec, 40 secs
lola: 36708170 markings, 56068199 edges, 797573 markings/sec, 45 secs
lola: 40356964 markings, 61791467 edges, 729759 markings/sec, 50 secs
lola: 43988188 markings, 67287756 edges, 726245 markings/sec, 55 secs
lola: 47806430 markings, 73085084 edges, 763648 markings/sec, 60 secs
lola: 51891059 markings, 79408235 edges, 816926 markings/sec, 65 secs
lola: 55902310 markings, 85459601 edges, 802250 markings/sec, 70 secs
lola: 59659898 markings, 91221693 edges, 751518 markings/sec, 75 secs
lola: 63884791 markings, 97735989 edges, 844979 markings/sec, 80 secs
lola: 67863646 markings, 103768362 edges, 795771 markings/sec, 85 secs
lola: 71569445 markings, 109482072 edges, 741160 markings/sec, 90 secs
lola: 75802339 markings, 115961999 edges, 846579 markings/sec, 95 secs
lola: 79847800 markings, 122059504 edges, 809092 markings/sec, 100 secs
lola: 83563286 markings, 127847126 edges, 743097 markings/sec, 105 secs
lola: 87644795 markings, 134071327 edges, 816302 markings/sec, 110 secs
lola: 90780443 markings, 138771114 edges, 627130 markings/sec, 115 secs
lola: 94591912 markings, 144813993 edges, 762294 markings/sec, 120 secs
lola: 98623049 markings, 150815481 edges, 806227 markings/sec, 125 secs
lola: 102421603 markings, 156629496 edges, 759711 markings/sec, 130 secs
lola: 106266240 markings, 162654219 edges, 768927 markings/sec, 135 secs
lola: 110407624 markings, 168846489 edges, 828277 markings/sec, 140 secs
lola: 114365404 markings, 174916585 edges, 791556 markings/sec, 145 secs
lola: 118258732 markings, 180988776 edges, 778666 markings/sec, 150 secs
lola: 122267850 markings, 186978019 edges, 801824 markings/sec, 155 secs
lola: 125877765 markings, 192582293 edges, 721983 markings/sec, 160 secs
lola: 129766150 markings, 198544958 edges, 777677 markings/sec, 165 secs
lola: 133697310 markings, 204455240 edges, 786232 markings/sec, 170 secs
lola: 137444783 markings, 210319858 edges, 749495 markings/sec, 175 secs
lola: 141391334 markings, 216313002 edges, 789310 markings/sec, 180 secs
lola: 145395304 markings, 222350514 edges, 800794 markings/sec, 185 secs
lola: 149004904 markings, 227996054 edges, 721920 markings/sec, 190 secs
lola: 152928978 markings, 233947735 edges, 784815 markings/sec, 195 secs
lola: 156800626 markings, 239799318 edges, 774330 markings/sec, 200 secs
lola: 160578241 markings, 245684467 edges, 755523 markings/sec, 205 secs
lola: 164516183 markings, 251644957 edges, 787588 markings/sec, 210 secs
lola: 168255136 markings, 257355945 edges, 747791 markings/sec, 215 secs
lola: 171921733 markings, 263013971 edges, 733319 markings/sec, 220 secs
lola: 175672290 markings, 268665080 edges, 750111 markings/sec, 225 secs
lola: 179291548 markings, 274309208 edges, 723852 markings/sec, 230 secs
lola: 183221386 markings, 280279131 edges, 785968 markings/sec, 235 secs
lola: 186893095 markings, 285827871 edges, 734342 markings/sec, 240 secs
lola: 190599367 markings, 291649882 edges, 741254 markings/sec, 245 secs
lola: 194623241 markings, 297715226 edges, 804775 markings/sec, 250 secs
lola: 197973214 markings, 302793570 edges, 669995 markings/sec, 255 secs
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: 4507797 markings, 9466274 edges, 901559 markings/sec, 0 secs
lola: 8379571 markings, 17393283 edges, 774355 markings/sec, 5 secs
lola: 12175212 markings, 25181718 edges, 759128 markings/sec, 10 secs
lola: 16005183 markings, 33058170 edges, 765994 markings/sec, 15 secs
lola: 19821210 markings, 40893624 edges, 763205 markings/sec, 20 secs
lola: 23228404 markings, 47892583 edges, 681439 markings/sec, 25 secs
lola: 26574686 markings, 54757894 edges, 669256 markings/sec, 30 secs
lola: 29848790 markings, 61557953 edges, 654821 markings/sec, 35 secs
lola: 33157156 markings, 68337557 edges, 661673 markings/sec, 40 secs
lola: 36427412 markings, 75081469 edges, 654051 markings/sec, 45 secs
lola: 39687932 markings, 81806983 edges, 652104 markings/sec, 50 secs
lola: 43002540 markings, 88586473 edges, 662922 markings/sec, 55 secs
lola: 46270007 markings, 95304204 edges, 653493 markings/sec, 60 secs
lola: 49548311 markings, 102032387 edges, 655661 markings/sec, 65 secs
lola: 52822806 markings, 108796225 edges, 654899 markings/sec, 70 secs
lola: 56079400 markings, 115485964 edges, 651319 markings/sec, 75 secs
lola: 59344163 markings, 122207739 edges, 652953 markings/sec, 80 secs
lola: 62588936 markings, 128867468 edges, 648955 markings/sec, 85 secs
lola: 65853229 markings, 135597811 edges, 652859 markings/sec, 90 secs
lola: 69098652 markings, 142278710 edges, 649085 markings/sec, 95 secs
lola: 72339311 markings, 148931220 edges, 648132 markings/sec, 100 secs
lola: 75576720 markings, 155602283 edges, 647482 markings/sec, 105 secs
lola: 78840498 markings, 162325600 edges, 652756 markings/sec, 110 secs
lola: 82134771 markings, 169082958 edges, 658855 markings/sec, 115 secs
lola: 85398068 markings, 175799236 edges, 652659 markings/sec, 120 secs
lola: 88705449 markings, 182583211 edges, 661476 markings/sec, 125 secs
lola: 91996404 markings, 189368819 edges, 658191 markings/sec, 130 secs
lola: 95300445 markings, 196149862 edges, 660808 markings/sec, 135 secs
lola: 98606916 markings, 202931903 edges, 661294 markings/sec, 140 secs
lola: 101939213 markings, 209784260 edges, 666459 markings/sec, 145 secs
lola: 105191273 markings, 216465754 edges, 650412 markings/sec, 150 secs
lola: 108527395 markings, 223322043 edges, 667224 markings/sec, 155 secs
lola: 111830071 markings, 230093358 edges, 660535 markings/sec, 160 secs
lola: 115223004 markings, 237050263 edges, 678587 markings/sec, 165 secs
lola: 118836521 markings, 244454455 edges, 722703 markings/sec, 170 secs
lola: 122271602 markings, 251545365 edges, 687016 markings/sec, 175 secs
lola: 125828920 markings, 258887703 edges, 711464 markings/sec, 180 secs
lola: 129576518 markings, 266623171 edges, 749520 markings/sec, 185 secs
lola: 133327330 markings, 274364942 edges, 750162 markings/sec, 190 secs
lola: 137004079 markings, 281954032 edges, 735350 markings/sec, 195 secs
lola: 140515666 markings, 289203291 edges, 702317 markings/sec, 200 secs
lola: 144003441 markings, 296402131 edges, 697555 markings/sec, 205 secs
lola: 147468906 markings, 303555300 edges, 693093 markings/sec, 210 secs
lola: 150943490 markings, 310727296 edges, 694917 markings/sec, 215 secs
lola: 154367291 markings, 317794284 edges, 684760 markings/sec, 220 secs
lola: 157877385 markings, 325040054 edges, 702019 markings/sec, 225 secs
lola: 161439926 markings, 332393565 edges, 712508 markings/sec, 230 secs
lola: 165022894 markings, 339789424 edges, 716594 markings/sec, 235 secs
lola: 168629606 markings, 347233941 edges, 721342 markings/sec, 240 secs
lola: 172212480 markings, 354629995 edges, 716575 markings/sec, 245 secs
lola: 175792600 markings, 362018886 edges, 716024 markings/sec, 250 secs
lola: 179379146 markings, 369422055 edges, 717309 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 265 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: 4261933 markings, 7657512 edges, 852387 markings/sec, 0 secs
lola: 8368402 markings, 15059564 edges, 821294 markings/sec, 5 secs
lola: 12226778 markings, 22019003 edges, 771675 markings/sec, 10 secs
lola: 16092002 markings, 28987961 edges, 773045 markings/sec, 15 secs
lola: 19991878 markings, 36066460 edges, 779975 markings/sec, 20 secs
lola: 23870111 markings, 43085187 edges, 775647 markings/sec, 25 secs
lola: 27680318 markings, 49981149 edges, 762041 markings/sec, 30 secs
lola: 31451023 markings, 56805406 edges, 754141 markings/sec, 35 secs
lola: 35200987 markings, 63592081 edges, 749993 markings/sec, 40 secs
lola: 39091005 markings, 70632421 edges, 778004 markings/sec, 45 secs
lola: 42805843 markings, 77356015 edges, 742968 markings/sec, 50 secs
lola: 46972009 markings, 84896411 edges, 833233 markings/sec, 55 secs
lola: 51342743 markings, 92806937 edges, 874147 markings/sec, 60 secs
lola: 55814274 markings, 100900220 edges, 894306 markings/sec, 65 secs
lola: 60190405 markings, 108820783 edges, 875226 markings/sec, 70 secs
lola: 64592195 markings, 116787919 edges, 880358 markings/sec, 75 secs
lola: 68990073 markings, 124552171 edges, 879576 markings/sec, 80 secs
lola: 73399228 markings, 132024582 edges, 881831 markings/sec, 85 secs
lola: 77789821 markings, 139467756 edges, 878119 markings/sec, 90 secs
lola: 82223756 markings, 146997649 edges, 886787 markings/sec, 95 secs
lola: 86490118 markings, 154305110 edges, 853272 markings/sec, 100 secs
lola: 89957958 markings, 160201732 edges, 693568 markings/sec, 105 secs
lola: 93533430 markings, 166282625 edges, 715094 markings/sec, 110 secs
lola: 97847240 markings, 173618248 edges, 862762 markings/sec, 115 secs
lola: 102192460 markings, 181008531 edges, 869044 markings/sec, 120 secs
lola: 106564692 markings, 188444170 edges, 874446 markings/sec, 125 secs
lola: 110570619 markings, 195258193 edges, 801185 markings/sec, 130 secs
lola: 114898103 markings, 202617762 edges, 865497 markings/sec, 135 secs
lola: 119365822 markings, 210218055 edges, 893544 markings/sec, 140 secs
lola: 123094468 markings, 216559809 edges, 745729 markings/sec, 145 secs
lola: 127559342 markings, 224154712 edges, 892975 markings/sec, 150 secs
lola: 132094429 markings, 231807973 edges, 907017 markings/sec, 155 secs
lola: 136826699 markings, 239390467 edges, 946454 markings/sec, 160 secs
lola: 141221732 markings, 246425989 edges, 879007 markings/sec, 165 secs
lola: 145698925 markings, 253593021 edges, 895439 markings/sec, 170 secs
lola: 150104018 markings, 261066440 edges, 881019 markings/sec, 175 secs
lola: 154268743 markings, 268604578 edges, 832945 markings/sec, 180 secs
lola: 158481564 markings, 276229852 edges, 842564 markings/sec, 185 secs
lola: 162605217 markings, 283693834 edges, 824731 markings/sec, 190 secs
lola: 166746855 markings, 291190346 edges, 828328 markings/sec, 195 secs
lola: 170964408 markings, 298824480 edges, 843511 markings/sec, 200 secs
lola: 174497176 markings, 305219178 edges, 706554 markings/sec, 205 secs
lola: 178847129 markings, 313093274 edges, 869991 markings/sec, 210 secs
lola: 183192353 markings, 320958749 edges, 869045 markings/sec, 215 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 274 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: 4651314 markings, 7069902 edges, 930263 markings/sec, 0 secs
lola: 8515186 markings, 12902087 edges, 772774 markings/sec, 5 secs
lola: 12619311 markings, 19110226 edges, 820825 markings/sec, 10 secs
lola: 16606635 markings, 25304249 edges, 797465 markings/sec, 15 secs
lola: 20446214 markings, 31186880 edges, 767916 markings/sec, 20 secs
lola: 24311759 markings, 37041708 edges, 773109 markings/sec, 25 secs
lola: 28145244 markings, 43028338 edges, 766697 markings/sec, 30 secs
lola: 32165927 markings, 49148442 edges, 804137 markings/sec, 35 secs
lola: 36101329 markings, 55138105 edges, 787080 markings/sec, 40 secs
lola: 40022879 markings, 61270194 edges, 784310 markings/sec, 45 secs
lola: 44098280 markings, 67451391 edges, 815080 markings/sec, 50 secs
lola: 48145683 markings, 73569590 edges, 809481 markings/sec, 55 secs
lola: 52109620 markings, 79744911 edges, 792787 markings/sec, 60 secs
lola: 56183738 markings, 85922491 edges, 814824 markings/sec, 65 secs
lola: 60102092 markings, 91892538 edges, 783671 markings/sec, 70 secs
lola: 64166309 markings, 98185176 edges, 812843 markings/sec, 75 secs
lola: 68108652 markings, 104135095 edges, 788469 markings/sec, 80 secs
lola: 71551929 markings, 109456242 edges, 688655 markings/sec, 85 secs
lola: 75785142 markings, 115936285 edges, 846643 markings/sec, 90 secs
lola: 79752714 markings, 121920549 edges, 793514 markings/sec, 95 secs
lola: 83176750 markings, 127281728 edges, 684807 markings/sec, 100 secs
lola: 87064278 markings, 133161500 edges, 777506 markings/sec, 105 secs
lola: 90919722 markings, 138977748 edges, 771089 markings/sec, 110 secs
lola: 94268772 markings, 144298922 edges, 669810 markings/sec, 115 secs
lola: 98359819 markings, 150414373 edges, 818209 markings/sec, 120 secs
lola: 102060078 markings, 156115447 edges, 740052 markings/sec, 125 secs
lola: 105949476 markings, 162144027 edges, 777880 markings/sec, 130 secs
lola: 110002818 markings, 168206317 edges, 810668 markings/sec, 135 secs
lola: 113334165 markings, 173433025 edges, 666269 markings/sec, 140 secs
lola: 117078982 markings, 179100320 edges, 748963 markings/sec, 145 secs
lola: 121057673 markings, 185116461 edges, 795738 markings/sec, 150 secs
lola: 124846589 markings, 191024803 edges, 757783 markings/sec, 155 secs
lola: 128820810 markings, 197047943 edges, 794844 markings/sec, 160 secs
lola: 132733540 markings, 203003814 edges, 782546 markings/sec, 165 secs
lola: 136860167 markings, 209407125 edges, 825325 markings/sec, 170 secs
lola: 140934552 markings, 215592567 edges, 814877 markings/sec, 175 secs
lola: 144899101 markings, 221590987 edges, 792910 markings/sec, 180 secs
lola: 148715287 markings, 227536768 edges, 763237 markings/sec, 185 secs
lola: 152645724 markings, 233483372 edges, 786087 markings/sec, 190 secs
lola: 156495456 markings, 239365990 edges, 769946 markings/sec, 195 secs
lola: 160399932 markings, 245406647 edges, 780895 markings/sec, 200 secs
lola: 164359813 markings, 251390837 edges, 791976 markings/sec, 205 secs
lola: 168160145 markings, 257211266 edges, 760066 markings/sec, 210 secs
lola: 172072878 markings, 263249228 edges, 782547 markings/sec, 215 secs
lola: 175887468 markings, 269012773 edges, 762918 markings/sec, 220 secs
lola: 179562936 markings, 274700358 edges, 735094 markings/sec, 225 secs
lola: 183552588 markings, 280805481 edges, 797930 markings/sec, 230 secs
lola: 187446780 markings, 286667723 edges, 778838 markings/sec, 235 secs
lola: 191109986 markings, 292388535 edges, 732641 markings/sec, 240 secs
lola: 195090409 markings, 298443089 edges, 796085 markings/sec, 245 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 279 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: 4320360 markings, 9404214 edges, 864072 markings/sec, 0 secs
lola: 8291351 markings, 18905651 edges, 794198 markings/sec, 5 secs
lola: 11999290 markings, 28516750 edges, 741588 markings/sec, 10 secs
lola: 15685667 markings, 38080022 edges, 737275 markings/sec, 15 secs
lola: 19401030 markings, 47685111 edges, 743073 markings/sec, 20 secs
lola: 22603310 markings, 55988153 edges, 640456 markings/sec, 25 secs
lola: 25890846 markings, 64214617 edges, 657507 markings/sec, 30 secs
lola: 29882704 markings, 73709493 edges, 798372 markings/sec, 35 secs
lola: 33333534 markings, 81948885 edges, 690166 markings/sec, 40 secs
lola: 36506880 markings, 89539962 edges, 634669 markings/sec, 45 secs
lola: 39854368 markings, 97551761 edges, 669498 markings/sec, 50 secs
lola: 43390810 markings, 106013932 edges, 707288 markings/sec, 55 secs
lola: 46552238 markings, 113569265 edges, 632286 markings/sec, 60 secs
lola: 49676566 markings, 121051364 edges, 624866 markings/sec, 65 secs
lola: 52828223 markings, 128603089 edges, 630331 markings/sec, 70 secs
lola: 56019466 markings, 136250974 edges, 638249 markings/sec, 75 secs
lola: 59219477 markings, 143914755 edges, 640002 markings/sec, 80 secs
lola: 62355459 markings, 151414469 edges, 627196 markings/sec, 85 secs
lola: 65405309 markings, 158716441 edges, 609970 markings/sec, 90 secs
lola: 68467658 markings, 166052745 edges, 612470 markings/sec, 95 secs
lola: 71581911 markings, 173516359 edges, 622851 markings/sec, 100 secs
lola: 74688066 markings, 180962125 edges, 621231 markings/sec, 105 secs
lola: 77717208 markings, 188202698 edges, 605828 markings/sec, 110 secs
lola: 80701951 markings, 195347063 edges, 596949 markings/sec, 115 secs
lola: 83705653 markings, 202543440 edges, 600740 markings/sec, 120 secs
lola: 86755740 markings, 209852888 edges, 610017 markings/sec, 125 secs
lola: 89788272 markings, 217120942 edges, 606506 markings/sec, 130 secs
lola: 92795809 markings, 224311541 edges, 601507 markings/sec, 135 secs
lola: 95734902 markings, 231346376 edges, 587819 markings/sec, 140 secs
lola: 98715465 markings, 238486086 edges, 596113 markings/sec, 145 secs
lola: 101756771 markings, 245774361 edges, 608261 markings/sec, 150 secs
lola: 104786162 markings, 253034914 edges, 605878 markings/sec, 155 secs
lola: 107764369 markings, 260157083 edges, 595641 markings/sec, 160 secs
lola: 110670789 markings, 267112572 edges, 581284 markings/sec, 165 secs
lola: 113598180 markings, 274124675 edges, 585478 markings/sec, 170 secs
lola: 116574061 markings, 281254936 edges, 595176 markings/sec, 175 secs
lola: 119522120 markings, 288321328 edges, 589612 markings/sec, 180 secs
lola: 122401478 markings, 295207996 edges, 575872 markings/sec, 185 secs
lola: 125079410 markings, 301615145 edges, 535586 markings/sec, 190 secs
lola: 127970795 markings, 308539864 edges, 578277 markings/sec, 195 secs
lola: 130957244 markings, 315695449 edges, 597290 markings/sec, 200 secs
lola: 133964733 markings, 322903478 edges, 601498 markings/sec, 205 secs
lola: 136935561 markings, 330010782 edges, 594166 markings/sec, 210 secs
lola: 139817580 markings, 336905872 edges, 576404 markings/sec, 215 secs
lola: 142735375 markings, 343893995 edges, 583559 markings/sec, 220 secs
lola: 145591089 markings, 350736755 edges, 571143 markings/sec, 225 secs
lola: 148310616 markings, 357254568 edges, 543905 markings/sec, 230 secs
lola: 151268859 markings, 364330702 edges, 591649 markings/sec, 235 secs
lola: 154169041 markings, 371269336 edges, 580036 markings/sec, 240 secs
lola: 157088864 markings, 378263310 edges, 583965 markings/sec, 245 secs
lola: 160022817 markings, 385294042 edges, 586791 markings/sec, 250 secs
lola: 162967695 markings, 392351574 edges, 588976 markings/sec, 255 secs
lola: 165883712 markings, 399321845 edges, 583203 markings/sec, 260 secs
lola: 168726297 markings, 406125917 edges, 568517 markings/sec, 265 secs
lola: 171304663 markings, 412302216 edges, 515673 markings/sec, 270 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 278 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: 4263502 markings, 9279015 edges, 852700 markings/sec, 0 secs
lola: 8237149 markings, 18765734 edges, 794729 markings/sec, 5 secs
lola: 11946803 markings, 28380257 edges, 741931 markings/sec, 10 secs
lola: 15582691 markings, 37812207 edges, 727178 markings/sec, 15 secs
lola: 19307779 markings, 47443532 edges, 745018 markings/sec, 20 secs
lola: 22961711 markings, 56917298 edges, 730786 markings/sec, 25 secs
lola: 26780701 markings, 66330105 edges, 763798 markings/sec, 30 secs
lola: 30578302 markings, 75367177 edges, 759520 markings/sec, 35 secs
lola: 34056033 markings, 83677023 edges, 695546 markings/sec, 40 secs
lola: 37573931 markings, 92093517 edges, 703580 markings/sec, 45 secs
lola: 41105106 markings, 100547747 edges, 706235 markings/sec, 50 secs
lola: 44293927 markings, 108171160 edges, 637764 markings/sec, 55 secs
lola: 47323142 markings, 115414566 edges, 605843 markings/sec, 60 secs
lola: 50459526 markings, 122927522 edges, 627277 markings/sec, 65 secs
lola: 53396262 markings, 129963785 edges, 587347 markings/sec, 70 secs
lola: 56591547 markings, 137622437 edges, 639057 markings/sec, 75 secs
lola: 59704640 markings, 145075484 edges, 622619 markings/sec, 80 secs
lola: 62395512 markings, 151509574 edges, 538174 markings/sec, 85 secs
lola: 65152322 markings, 158110042 edges, 551362 markings/sec, 90 secs
lola: 68225570 markings, 165472610 edges, 614650 markings/sec, 95 secs
lola: 71350845 markings, 172962704 edges, 625055 markings/sec, 100 secs
lola: 74452588 markings, 180397078 edges, 620349 markings/sec, 105 secs
lola: 77492005 markings, 187664011 edges, 607883 markings/sec, 110 secs
lola: 80438593 markings, 194716870 edges, 589318 markings/sec, 115 secs
lola: 83151891 markings, 201216164 edges, 542660 markings/sec, 120 secs
lola: 85818941 markings, 207607190 edges, 533410 markings/sec, 125 secs
lola: 88443533 markings, 213898224 edges, 524918 markings/sec, 130 secs
lola: 91357703 markings, 220882868 edges, 582834 markings/sec, 135 secs
lola: 94458313 markings, 228289865 edges, 620122 markings/sec, 140 secs
lola: 97502123 markings, 235579574 edges, 608762 markings/sec, 145 secs
lola: 100554056 markings, 242891438 edges, 610387 markings/sec, 150 secs
lola: 103600529 markings, 250192995 edges, 609295 markings/sec, 155 secs
lola: 106601873 markings, 257386691 edges, 600269 markings/sec, 160 secs
lola: 109226728 markings, 263654900 edges, 524971 markings/sec, 165 secs
lola: 111781224 markings, 269771174 edges, 510899 markings/sec, 170 secs
lola: 114497068 markings, 276278481 edges, 543169 markings/sec, 175 secs
lola: 117415410 markings, 283271494 edges, 583668 markings/sec, 180 secs
lola: 120315394 markings, 290222324 edges, 579997 markings/sec, 185 secs
lola: 123132732 markings, 296955716 edges, 563468 markings/sec, 190 secs
lola: 125931898 markings, 303656633 edges, 559833 markings/sec, 195 secs
lola: 128768968 markings, 310451844 edges, 567414 markings/sec, 200 secs
lola: 131666338 markings, 317395666 edges, 579474 markings/sec, 205 secs
lola: 134627494 markings, 324492376 edges, 592231 markings/sec, 210 secs
lola: 137572262 markings, 331532518 edges, 588954 markings/sec, 215 secs
lola: 140468303 markings, 338463948 edges, 579208 markings/sec, 220 secs
lola: 143363123 markings, 345397772 edges, 578964 markings/sec, 225 secs
lola: 146311064 markings, 352461942 edges, 589588 markings/sec, 230 secs
lola: 149269925 markings, 359554259 edges, 591772 markings/sec, 235 secs
lola: 152224531 markings, 366615657 edges, 590921 markings/sec, 240 secs
lola: 155049620 markings, 373378135 edges, 565018 markings/sec, 245 secs
lola: 157967353 markings, 380368044 edges, 583547 markings/sec, 250 secs
lola: 160898582 markings, 387392063 edges, 586246 markings/sec, 255 secs
lola: 163844363 markings, 394452863 edges, 589156 markings/sec, 260 secs
lola: 166742066 markings, 401375609 edges, 579541 markings/sec, 265 secs
lola: 169617555 markings, 408260381 edges, 575098 markings/sec, 270 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 279 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: 4270177 markings, 9293716 edges, 854035 markings/sec, 0 secs
lola: 8220085 markings, 18721354 edges, 789982 markings/sec, 5 secs
lola: 11895127 markings, 28245862 edges, 735008 markings/sec, 10 secs
lola: 15545802 markings, 37717421 edges, 730135 markings/sec, 15 secs
lola: 19236016 markings, 47256929 edges, 738043 markings/sec, 20 secs
lola: 22865165 markings, 56667185 edges, 725830 markings/sec, 25 secs
lola: 25929382 markings, 64304926 edges, 612843 markings/sec, 30 secs
lola: 29834072 markings, 73592774 edges, 780938 markings/sec, 35 secs
lola: 33175132 markings, 81570134 edges, 668212 markings/sec, 40 secs
lola: 36488585 markings, 89496038 edges, 662691 markings/sec, 45 secs
lola: 39785761 markings, 97388582 edges, 659435 markings/sec, 50 secs
lola: 43256391 markings, 105692487 edges, 694126 markings/sec, 55 secs
lola: 46462294 markings, 113354278 edges, 641181 markings/sec, 60 secs
lola: 49558191 markings, 120767605 edges, 619179 markings/sec, 65 secs
lola: 52684060 markings, 128256930 edges, 625174 markings/sec, 70 secs
lola: 55779742 markings, 135676629 edges, 619136 markings/sec, 75 secs
lola: 58870460 markings, 143086015 edges, 618144 markings/sec, 80 secs
lola: 61984261 markings, 150526207 edges, 622760 markings/sec, 85 secs
lola: 64632826 markings, 156865930 edges, 529713 markings/sec, 90 secs
lola: 67667303 markings, 164135510 edges, 606895 markings/sec, 95 secs
lola: 70730684 markings, 171476124 edges, 612676 markings/sec, 100 secs
lola: 73807727 markings, 178851129 edges, 615409 markings/sec, 105 secs
lola: 76497795 markings, 185287695 edges, 538014 markings/sec, 110 secs
lola: 79447932 markings, 192344709 edges, 590027 markings/sec, 115 secs
lola: 82422667 markings, 199469740 edges, 594947 markings/sec, 120 secs
lola: 85460322 markings, 206748371 edges, 607531 markings/sec, 125 secs
lola: 88137494 markings, 213164522 edges, 535434 markings/sec, 130 secs
lola: 91161506 markings, 220413092 edges, 604802 markings/sec, 135 secs
lola: 93930386 markings, 227026474 edges, 553776 markings/sec, 140 secs
lola: 96610595 markings, 233443463 edges, 536042 markings/sec, 145 secs
lola: 99302357 markings, 239891765 edges, 538352 markings/sec, 150 secs
lola: 102039767 markings, 246452718 edges, 547482 markings/sec, 155 secs
lola: 104827067 markings, 253133068 edges, 557460 markings/sec, 160 secs
lola: 107626305 markings, 259827685 edges, 559848 markings/sec, 165 secs
lola: 110475400 markings, 266644526 edges, 569819 markings/sec, 170 secs
lola: 113344188 markings, 273516044 edges, 573758 markings/sec, 175 secs
lola: 116254951 markings, 280491050 edges, 582153 markings/sec, 180 secs
lola: 119163578 markings, 287461669 edges, 581725 markings/sec, 185 secs
lola: 121932744 markings, 294089409 edges, 553833 markings/sec, 190 secs
lola: 124769914 markings, 300874136 edges, 567434 markings/sec, 195 secs
lola: 127635565 markings, 307737212 edges, 573130 markings/sec, 200 secs
lola: 130555588 markings, 314733395 edges, 584005 markings/sec, 205 secs
lola: 133477612 markings, 321736218 edges, 584405 markings/sec, 210 secs
lola: 136385153 markings, 328698006 edges, 581508 markings/sec, 215 secs
lola: 139194828 markings, 335414914 edges, 561935 markings/sec, 220 secs
lola: 142017128 markings, 342173866 edges, 564460 markings/sec, 225 secs
lola: 144779569 markings, 348791764 edges, 552488 markings/sec, 230 secs
lola: 147707005 markings, 355807611 edges, 585487 markings/sec, 235 secs
lola: 150623209 markings, 362791227 edges, 583241 markings/sec, 240 secs
lola: 153465145 markings, 369584624 edges, 568387 markings/sec, 245 secs
lola: 156199306 markings, 376131931 edges, 546832 markings/sec, 250 secs
lola: 159122750 markings, 383136464 edges, 584689 markings/sec, 255 secs
lola: 162059391 markings, 390174337 edges, 587328 markings/sec, 260 secs
lola: 164977019 markings, 397155841 edges, 583526 markings/sec, 265 secs
lola: 167410430 markings, 402975093 edges, 486682 markings/sec, 270 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 279 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: 4875546 markings, 6896242 edges, 975109 markings/sec, 0 secs
lola: 9497051 markings, 13348844 edges, 924301 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 1494723762273

--------------------
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="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/GPPP-PT-C0100N0000000100.tgz
mv 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 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 r028-blw3-149440264400533"
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 ;