docs/perf.svg

<?xml version="1.0" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<svg version="1.1" width="1200" height="534" onload="init(evt)" viewBox="0 0 1200 534" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<!-- Flame graph stack visualization. See https://github.com/brendangregg/FlameGraph for latest version, and http://www.brendangregg.com/flamegraphs.html for examples. -->
<!-- NOTES:  -->
<defs >
	<linearGradient id="background" y1="0" y2="1" x1="0" x2="0" >
		<stop stop-color="#eeeeee" offset="5%" />
		<stop stop-color="#eeeeb0" offset="95%" />
	</linearGradient>
</defs>
<style type="text/css">
	.func_g:hover { stroke:black; stroke-width:0.5; cursor:pointer; }
</style>
<script type="text/ecmascript">
<![CDATA[
	var details, searchbtn, matchedtxt, svg;
	function init(evt) {
		details = document.getElementById("details").firstChild;
		searchbtn = document.getElementById("search");
		matchedtxt = document.getElementById("matched");
		svg = document.getElementsByTagName("svg")[0];
		searching = 0;
	}

	// mouse-over for info
	function s(node) {		// show
		info = g_to_text(node);
		details.nodeValue = "Function: " + info;
	}
	function c() {			// clear
		details.nodeValue = ' ';
	}

	// ctrl-F for search
	window.addEventListener("keydown",function (e) {
		if (e.keyCode === 114 || (e.ctrlKey && e.keyCode === 70)) {
			e.preventDefault();
			search_prompt();
		}
	})

	// functions
	function find_child(parent, name, attr) {
		var children = parent.childNodes;
		for (var i=0; i<children.length;i++) {
			if (children[i].tagName == name)
				return (attr != undefined) ? children[i].attributes[attr].value : children[i];
		}
		return;
	}
	function orig_save(e, attr, val) {
		if (e.attributes["_orig_"+attr] != undefined) return;
		if (e.attributes[attr] == undefined) return;
		if (val == undefined) val = e.attributes[attr].value;
		e.setAttribute("_orig_"+attr, val);
	}
	function orig_load(e, attr) {
		if (e.attributes["_orig_"+attr] == undefined) return;
		e.attributes[attr].value = e.attributes["_orig_"+attr].value;
		e.removeAttribute("_orig_"+attr);
	}
	function g_to_text(e) {
		var text = find_child(e, "title").firstChild.nodeValue;
		return (text)
	}
	function g_to_func(e) {
		var func = g_to_text(e);
		// if there's any manipulation we want to do to the function
		// name before it's searched, do it here before returning.
		return (func);
	}
	function update_text(e) {
		var r = find_child(e, "rect");
		var t = find_child(e, "text");
		var w = parseFloat(r.attributes["width"].value) -3;
		var txt = find_child(e, "title").textContent.replace(/\([^(]*\)$/,"");
		t.attributes["x"].value = parseFloat(r.attributes["x"].value) +3;

		// Smaller than this size won't fit anything
		if (w < 2*12*0.59) {
			t.textContent = "";
			return;
		}

		t.textContent = txt;
		// Fit in full text width
		if (/^ *$/.test(txt) || t.getSubStringLength(0, txt.length) < w)
			return;

		for (var x=txt.length-2; x>0; x--) {
			if (t.getSubStringLength(0, x+2) <= w) {
				t.textContent = txt.substring(0,x) + "..";
				return;
			}
		}
		t.textContent = "";
	}

	// zoom
	function zoom_reset(e) {
		if (e.attributes != undefined) {
			orig_load(e, "x");
			orig_load(e, "width");
		}
		if (e.childNodes == undefined) return;
		for(var i=0, c=e.childNodes; i<c.length; i++) {
			zoom_reset(c[i]);
		}
	}
	function zoom_child(e, x, ratio) {
		if (e.attributes != undefined) {
			if (e.attributes["x"] != undefined) {
				orig_save(e, "x");
				e.attributes["x"].value = (parseFloat(e.attributes["x"].value) - x - 10) * ratio + 10;
				if(e.tagName == "text") e.attributes["x"].value = find_child(e.parentNode, "rect", "x") + 3;
			}
			if (e.attributes["width"] != undefined) {
				orig_save(e, "width");
				e.attributes["width"].value = parseFloat(e.attributes["width"].value) * ratio;
			}
		}

		if (e.childNodes == undefined) return;
		for(var i=0, c=e.childNodes; i<c.length; i++) {
			zoom_child(c[i], x-10, ratio);
		}
	}
	function zoom_parent(e) {
		if (e.attributes) {
			if (e.attributes["x"] != undefined) {
				orig_save(e, "x");
				e.attributes["x"].value = 10;
			}
			if (e.attributes["width"] != undefined) {
				orig_save(e, "width");
				e.attributes["width"].value = parseInt(svg.width.baseVal.value) - (10*2);
			}
		}
		if (e.childNodes == undefined) return;
		for(var i=0, c=e.childNodes; i<c.length; i++) {
			zoom_parent(c[i]);
		}
	}
	function zoom(node) {
		var attr = find_child(node, "rect").attributes;
		var width = parseFloat(attr["width"].value);
		var xmin = parseFloat(attr["x"].value);
		var xmax = parseFloat(xmin + width);
		var ymin = parseFloat(attr["y"].value);
		var ratio = (svg.width.baseVal.value - 2*10) / width;

		// XXX: Workaround for JavaScript float issues (fix me)
		var fudge = 0.0001;

		var unzoombtn = document.getElementById("unzoom");
		unzoombtn.style["opacity"] = "1.0";

		var el = document.getElementsByTagName("g");
		for(var i=0;i<el.length;i++){
			var e = el[i];
			var a = find_child(e, "rect").attributes;
			var ex = parseFloat(a["x"].value);
			var ew = parseFloat(a["width"].value);
			// Is it an ancestor
			if (0 == 0) {
				var upstack = parseFloat(a["y"].value) > ymin;
			} else {
				var upstack = parseFloat(a["y"].value) < ymin;
			}
			if (upstack) {
				// Direct ancestor
				if (ex <= xmin && (ex+ew+fudge) >= xmax) {
					e.style["opacity"] = "0.5";
					zoom_parent(e);
					e.onclick = function(e){unzoom(); zoom(this);};
					update_text(e);
				}
				// not in current path
				else
					e.style["display"] = "none";
			}
			// Children maybe
			else {
				// no common path
				if (ex < xmin || ex + fudge >= xmax) {
					e.style["display"] = "none";
				}
				else {
					zoom_child(e, xmin, ratio);
					e.onclick = function(e){zoom(this);};
					update_text(e);
				}
			}
		}
	}
	function unzoom() {
		var unzoombtn = document.getElementById("unzoom");
		unzoombtn.style["opacity"] = "0.0";

		var el = document.getElementsByTagName("g");
		for(i=0;i<el.length;i++) {
			el[i].style["display"] = "block";
			el[i].style["opacity"] = "1";
			zoom_reset(el[i]);
			update_text(el[i]);
		}
	}

	// search
	function reset_search() {
		var el = document.getElementsByTagName("rect");
		for (var i=0; i < el.length; i++) {
			orig_load(el[i], "fill")
		}
	}
	function search_prompt() {
		if (!searching) {
			var term = prompt("Enter a search term (regexp " +
			    "allowed, eg: ^ext4_)", "");
			if (term != null) {
				search(term)
			}
		} else {
			reset_search();
			searching = 0;
			searchbtn.style["opacity"] = "0.1";
			searchbtn.firstChild.nodeValue = "Search"
			matchedtxt.style["opacity"] = "0.0";
			matchedtxt.firstChild.nodeValue = ""
		}
	}
	function search(term) {
		var re = new RegExp(term);
		var el = document.getElementsByTagName("g");
		var matches = new Object();
		var maxwidth = 0;
		for (var i = 0; i < el.length; i++) {
			var e = el[i];
			if (e.attributes["class"].value != "func_g")
				continue;
			var func = g_to_func(e);
			var rect = find_child(e, "rect");
			if (rect == null) {
				// the rect might be wrapped in an anchor
				// if nameattr href is being used
				if (rect = find_child(e, "a")) {
				    rect = find_child(r, "rect");
				}
			}
			if (func == null || rect == null)
				continue;

			// Save max width. Only works as we have a root frame
			var w = parseFloat(rect.attributes["width"].value);
			if (w > maxwidth)
				maxwidth = w;

			if (func.match(re)) {
				// highlight
				var x = parseFloat(rect.attributes["x"].value);
				orig_save(rect, "fill");
				rect.attributes["fill"].value =
				    "rgb(230,0,230)";

				// remember matches
				if (matches[x] == undefined) {
					matches[x] = w;
				} else {
					if (w > matches[x]) {
						// overwrite with parent
						matches[x] = w;
					}
				}
				searching = 1;
			}
		}
		if (!searching)
			return;

		searchbtn.style["opacity"] = "1.0";
		searchbtn.firstChild.nodeValue = "Reset Search"

		// calculate percent matched, excluding vertical overlap
		var count = 0;
		var lastx = -1;
		var lastw = 0;
		var keys = Array();
		for (k in matches) {
			if (matches.hasOwnProperty(k))
				keys.push(k);
		}
		// sort the matched frames by their x location
		// ascending, then width descending
		keys.sort(function(a, b){
			return a - b;
		});
		// Step through frames saving only the biggest bottom-up frames
		// thanks to the sort order. This relies on the tree property
		// where children are always smaller than their parents.
		var fudge = 0.0001;	// JavaScript floating point
		for (var k in keys) {
			var x = parseFloat(keys[k]);
			var w = matches[keys[k]];
			if (x >= lastx + lastw - fudge) {
				count += w;
				lastx = x;
				lastw = w;
			}
		}
		// display matched percent
		matchedtxt.style["opacity"] = "1.0";
		pct = 100 * count / maxwidth;
		if (pct == 100)
			pct = "100"
		else
			pct = pct.toFixed(1)
		matchedtxt.firstChild.nodeValue = "Matched: " + pct + "%";
	}
	function searchover(e) {
		searchbtn.style["opacity"] = "1.0";
	}
	function searchout(e) {
		if (searching) {
			searchbtn.style["opacity"] = "1.0";
		} else {
			searchbtn.style["opacity"] = "0.1";
		}
	}
]]>
</script>
<rect x="0.0" y="0" width="1200.0" height="534.0" fill="url(#background)"  />
<text text-anchor="middle" x="600.00" y="24" font-size="17" font-family="Verdana" fill="rgb(0,0,0)"  >Flame Graph</text>
<text text-anchor="" x="10.00" y="517" font-size="12" font-family="Verdana" fill="rgb(0,0,0)" id="details" > </text>
<text text-anchor="" x="10.00" y="24" font-size="12" font-family="Verdana" fill="rgb(0,0,0)" id="unzoom" onclick="unzoom()" style="opacity:0.0;cursor:pointer" >Reset Zoom</text>
<text text-anchor="" x="1090.00" y="24" font-size="12" font-family="Verdana" fill="rgb(0,0,0)" id="search" onmouseover="searchover()" onmouseout="searchout()" onclick="search_prompt()" style="opacity:0.1;cursor:pointer" >Search</text>
<text text-anchor="" x="1090.00" y="517" font-size="12" font-family="Verdana" fill="rgb(0,0,0)" id="matched" > </text>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_initialize (4 samples, 0.02%)</title><rect x="99.3" y="165" width="0.2" height="15.0" fill="rgb(236,56,5)" rx="2" ry="2" />
<text text-anchor="" x="102.32" y="175.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_vec__ensure_167 (6 samples, 0.03%)</title><rect x="100.9" y="213" width="0.3" height="15.0" fill="rgb(205,222,17)" rx="2" ry="2" />
<text text-anchor="" x="103.93" y="223.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_heap__percolate_up_131 (248 samples, 1.13%)</title><rect x="153.0" y="197" width="13.3" height="15.0" fill="rgb(230,180,50)" rx="2" ry="2" />
<text text-anchor="" x="156.01" y="207.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_apply2 (4 samples, 0.02%)</title><rect x="406.5" y="133" width="0.3" height="15.0" fill="rgb(225,17,43)" rx="2" ry="2" />
<text text-anchor="" x="409.55" y="143.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_solver__exists_9101 (2 samples, 0.01%)</title><rect x="1189.6" y="197" width="0.1" height="15.0" fill="rgb(228,73,13)" rx="2" ry="2" />
<text text-anchor="" x="1192.57" y="207.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>[[stack]] (139 samples, 0.63%)</title><rect x="13.3" y="453" width="7.5" height="15.0" fill="rgb(216,43,33)" rx="2" ry="2" />
<text text-anchor="" x="16.32" y="463.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_major_collection_slice (32 samples, 0.15%)</title><rect x="404.8" y="85" width="1.7" height="15.0" fill="rgb(216,113,2)" rx="2" ry="2" />
<text text-anchor="" x="407.83" y="95.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_gc_dispatch (5 samples, 0.02%)</title><rect x="162.8" y="117" width="0.2" height="15.0" fill="rgb(207,201,40)" rx="2" ry="2" />
<text text-anchor="" x="165.76" y="127.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_ml_util__Dimacs__skip_line_203 (6 samples, 0.03%)</title><rect x="100.1" y="245" width="0.3" height="15.0" fill="rgb(238,14,47)" rx="2" ry="2" />
<text text-anchor="" x="103.12" y="255.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_solver__analyze_3521 (6 samples, 0.03%)</title><rect x="48.6" y="437" width="0.4" height="15.0" fill="rgb(211,19,21)" rx="2" ry="2" />
<text text-anchor="" x="51.63" y="447.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_heap__loop_718 (347 samples, 1.58%)</title><rect x="391.4" y="149" width="18.6" height="15.0" fill="rgb(245,28,53)" rx="2" ry="2" />
<text text-anchor="" x="394.38" y="159.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>crc32_z (3 samples, 0.01%)</title><rect x="97.6" y="181" width="0.2" height="15.0" fill="rgb(236,139,2)" rx="2" ry="2" />
<text text-anchor="" x="100.60" y="191.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_gc_dispatch (5 samples, 0.02%)</title><rect x="98.2" y="197" width="0.3" height="15.0" fill="rgb(246,31,28)" rx="2" ry="2" />
<text text-anchor="" x="101.19" y="207.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_solver__anon$2dfn$5bsrc$2flib$2fMinisat_solver$2eml$3a1171$2c12$2d$2d90$5d_5464 (26 samples, 0.12%)</title><rect x="21.4" y="437" width="1.4" height="15.0" fill="rgb(235,75,46)" rx="2" ry="2" />
<text text-anchor="" x="24.41" y="447.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_types__swap_lits_1154 (214 samples, 0.97%)</title><rect x="1007.6" y="197" width="11.5" height="15.0" fill="rgb(207,144,24)" rx="2" ry="2" />
<text text-anchor="" x="1010.61" y="207.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_solver__lit_redundant_3301 (3,154 samples, 14.32%)</title><rect x="172.5" y="197" width="169.0" height="15.0" fill="rgb(212,56,54)" rx="2" ry="2" />
<text text-anchor="" x="175.51" y="207.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  >Minisat_solver__lit_r..</text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_solver__unchecked_enqueue_1044 (9 samples, 0.04%)</title><rect x="1158.5" y="213" width="0.5" height="15.0" fill="rgb(236,210,35)" rx="2" ry="2" />
<text text-anchor="" x="1161.55" y="223.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_major_collection_slice (3 samples, 0.01%)</title><rect x="1189.2" y="149" width="0.2" height="15.0" fill="rgb(213,39,24)" rx="2" ry="2" />
<text text-anchor="" x="1192.20" y="159.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_heap__percolate_up_131 (116 samples, 0.53%)</title><rect x="369.4" y="197" width="6.2" height="15.0" fill="rgb(224,8,45)" rx="2" ry="2" />
<text text-anchor="" x="372.36" y="207.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat__entry (20,395 samples, 92.61%)</title><rect x="97.0" y="325" width="1092.8" height="15.0" fill="rgb(222,68,10)" rx="2" ry="2" />
<text text-anchor="" x="100.01" y="335.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  >Minisat__entry</text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_solver__anon$2dfn$5bsrc$2flib$2fMinisat_solver$2eml$3a1171$2c12$2d$2d90$5d_5464 (181 samples, 0.82%)</title><rect x="396.9" y="133" width="9.6" height="15.0" fill="rgb(232,54,23)" rx="2" ry="2" />
<text text-anchor="" x="399.85" y="143.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_solver__unchecked_enqueue_1044 (21 samples, 0.10%)</title><rect x="23.6" y="437" width="1.1" height="15.0" fill="rgb(210,89,24)" rx="2" ry="2" />
<text text-anchor="" x="26.56" y="447.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_initialize (2 samples, 0.01%)</title><rect x="30.8" y="437" width="0.1" height="15.0" fill="rgb(227,171,28)" rx="2" ry="2" />
<text text-anchor="" x="33.84" y="447.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_alloc_shr_aux (5 samples, 0.02%)</title><rect x="1171.4" y="149" width="0.2" height="15.0" fill="rgb(233,149,3)" rx="2" ry="2" />
<text text-anchor="" x="1174.35" y="159.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_make_vect (2 samples, 0.01%)</title><rect x="101.1" y="197" width="0.1" height="15.0" fill="rgb(221,18,53)" rx="2" ry="2" />
<text text-anchor="" x="104.14" y="207.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_modify (6 samples, 0.03%)</title><rect x="410.0" y="149" width="0.3" height="15.0" fill="rgb(226,157,51)" rx="2" ry="2" />
<text text-anchor="" x="412.98" y="159.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_solver__anon$2dfn$5bsrc$2flib$2fMinisat_solver$2eml$3a208$2c45$2d$2d65$5d_588 (2 samples, 0.01%)</title><rect x="99.2" y="197" width="0.1" height="15.0" fill="rgb(220,35,19)" rx="2" ry="2" />
<text text-anchor="" x="102.16" y="207.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>__memmove_avx_unaligned_erms (8 samples, 0.04%)</title><rect x="1107.4" y="149" width="0.5" height="15.0" fill="rgb(225,49,1)" rx="2" ry="2" />
<text text-anchor="" x="1110.43" y="159.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>main (20,396 samples, 92.61%)</title><rect x="97.0" y="421" width="1092.8" height="15.0" fill="rgb(209,61,26)" rx="2" ry="2" />
<text text-anchor="" x="99.96" y="431.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  >main</text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>expand_heap (5 samples, 0.02%)</title><rect x="1171.4" y="133" width="0.2" height="15.0" fill="rgb(241,134,10)" rx="2" ry="2" />
<text text-anchor="" x="1174.35" y="143.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_garbage_collection (52 samples, 0.24%)</title><rect x="403.8" y="101" width="2.7" height="15.0" fill="rgb(206,43,1)" rx="2" ry="2" />
<text text-anchor="" x="406.76" y="111.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_make_vect (3 samples, 0.01%)</title><rect x="1189.2" y="181" width="0.2" height="15.0" fill="rgb(227,82,12)" rx="2" ry="2" />
<text text-anchor="" x="1192.20" y="191.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_modify (11 samples, 0.05%)</title><rect x="165.7" y="181" width="0.6" height="15.0" fill="rgb(208,180,33)" rx="2" ry="2" />
<text text-anchor="" x="168.70" y="191.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_page_table_lookup (3 samples, 0.01%)</title><rect x="1110.5" y="133" width="0.2" height="15.0" fill="rgb(251,5,20)" rx="2" ry="2" />
<text text-anchor="" x="1113.54" y="143.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>zip_inflate (7 samples, 0.03%)</title><rect x="97.2" y="197" width="0.4" height="15.0" fill="rgb(239,14,20)" rx="2" ry="2" />
<text text-anchor="" x="100.23" y="207.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_solver__anon$2dfn$5bsrc$2flib$2fMinisat_solver$2eml$3a829$2c4$2d$2d46$5d_11035 (7 samples, 0.03%)</title><rect x="22.8" y="437" width="0.4" height="15.0" fill="rgb(247,18,10)" rx="2" ry="2" />
<text text-anchor="" x="25.81" y="447.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>[libm-2.28.so] (2 samples, 0.01%)</title><rect x="411.7" y="165" width="0.1" height="15.0" fill="rgb(218,229,14)" rx="2" ry="2" />
<text text-anchor="" x="414.69" y="175.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_alloc_small (5 samples, 0.02%)</title><rect x="1109.1" y="149" width="0.3" height="15.0" fill="rgb(226,215,24)" rx="2" ry="2" />
<text text-anchor="" x="1112.15" y="159.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>dl_main (3 samples, 0.01%)</title><rect x="1189.8" y="405" width="0.2" height="15.0" fill="rgb(245,159,0)" rx="2" ry="2" />
<text text-anchor="" x="1192.84" y="415.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>memmove@plt (2 samples, 0.01%)</title><rect x="1108.1" y="149" width="0.1" height="15.0" fill="rgb(234,23,7)" rx="2" ry="2" />
<text text-anchor="" x="1111.13" y="159.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_c_call (2 samples, 0.01%)</title><rect x="47.0" y="437" width="0.1" height="15.0" fill="rgb(214,198,54)" rx="2" ry="2" />
<text text-anchor="" x="50.02" y="447.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_vec__push_302 (9 samples, 0.04%)</title><rect x="99.5" y="229" width="0.5" height="15.0" fill="rgb(223,32,21)" rx="2" ry="2" />
<text text-anchor="" x="102.53" y="239.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_types__ensure__573 (434 samples, 1.97%)</title><rect x="1163.0" y="197" width="23.3" height="15.0" fill="rgb(247,67,41)" rx="2" ry="2" />
<text text-anchor="" x="1166.05" y="207.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  >M..</text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_heap__loop_925 (107 samples, 0.49%)</title><rect x="369.8" y="181" width="5.8" height="15.0" fill="rgb(228,164,5)" rx="2" ry="2" />
<text text-anchor="" x="372.85" y="191.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Array__blit_260 (73 samples, 0.33%)</title><rect x="1159.1" y="197" width="3.9" height="15.0" fill="rgb(227,50,45)" rx="2" ry="2" />
<text text-anchor="" x="1162.14" y="207.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Array__blit_260 (3 samples, 0.01%)</title><rect x="101.3" y="229" width="0.2" height="15.0" fill="rgb(217,51,31)" rx="2" ry="2" />
<text text-anchor="" x="104.30" y="239.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_start (20,406 samples, 92.66%)</title><rect x="96.6" y="453" width="1093.4" height="15.0" fill="rgb(233,147,37)" rx="2" ry="2" />
<text text-anchor="" x="99.64" y="463.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  >_start</text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_solver__anon$2dfn$5bsrc$2flib$2fMinisat_solver$2eml$3a1171$2c12$2d$2d90$5d_5464 (6 samples, 0.03%)</title><rect x="49.0" y="437" width="0.3" height="15.0" fill="rgb(253,93,9)" rx="2" ry="2" />
<text text-anchor="" x="51.95" y="447.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_garbage_collection (24 samples, 0.11%)</title><rect x="162.8" y="133" width="1.2" height="15.0" fill="rgb(216,77,9)" rx="2" ry="2" />
<text text-anchor="" x="165.76" y="143.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_apply2 (5 samples, 0.02%)</title><rect x="164.0" y="165" width="0.3" height="15.0" fill="rgb(234,227,10)" rx="2" ry="2" />
<text text-anchor="" x="167.04" y="175.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat__process__283 (20,394 samples, 92.60%)</title><rect x="97.0" y="293" width="1092.7" height="15.0" fill="rgb(235,71,16)" rx="2" ry="2" />
<text text-anchor="" x="100.01" y="303.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  >Minisat__process__283</text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_make_vect (342 samples, 1.55%)</title><rect x="1168.0" y="181" width="18.3" height="15.0" fill="rgb(224,180,27)" rx="2" ry="2" />
<text text-anchor="" x="1170.98" y="191.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Gzip__input_392 (10 samples, 0.05%)</title><rect x="97.2" y="213" width="0.6" height="15.0" fill="rgb(248,27,6)" rx="2" ry="2" />
<text text-anchor="" x="100.23" y="223.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>mark_slice (37 samples, 0.17%)</title><rect x="1171.6" y="133" width="2.0" height="15.0" fill="rgb(239,164,53)" rx="2" ry="2" />
<text text-anchor="" x="1174.62" y="143.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_array_blit (11 samples, 0.05%)</title><rect x="988.0" y="181" width="0.6" height="15.0" fill="rgb(241,44,9)" rx="2" ry="2" />
<text text-anchor="" x="991.00" y="191.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>__memmove_avx_unaligned_erms (3 samples, 0.01%)</title><rect x="988.1" y="165" width="0.1" height="15.0" fill="rgb(218,18,26)" rx="2" ry="2" />
<text text-anchor="" x="991.06" y="175.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_alloc_shr (5 samples, 0.02%)</title><rect x="1171.4" y="165" width="0.2" height="15.0" fill="rgb(237,134,13)" rx="2" ry="2" />
<text text-anchor="" x="1174.35" y="175.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_oldify_one (6 samples, 0.03%)</title><rect x="404.5" y="53" width="0.3" height="15.0" fill="rgb(237,108,7)" rx="2" ry="2" />
<text text-anchor="" x="407.51" y="63.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_make_vect (28 samples, 0.13%)</title><rect x="25.5" y="421" width="1.5" height="15.0" fill="rgb(251,160,51)" rx="2" ry="2" />
<text text-anchor="" x="28.54" y="431.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_vec__push_302 (130 samples, 0.59%)</title><rect x="351.3" y="197" width="6.9" height="15.0" fill="rgb(247,69,24)" rx="2" ry="2" />
<text text-anchor="" x="354.25" y="207.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_solver__propagate_1718 (230 samples, 1.04%)</title><rect x="56.1" y="437" width="12.4" height="15.0" fill="rgb(217,187,54)" rx="2" ry="2" />
<text text-anchor="" x="59.13" y="447.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_heap__loop_925 (2 samples, 0.01%)</title><rect x="103.0" y="229" width="0.1" height="15.0" fill="rgb(242,92,15)" rx="2" ry="2" />
<text text-anchor="" x="105.96" y="239.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_make_vect (2 samples, 0.01%)</title><rect x="27.5" y="421" width="0.1" height="15.0" fill="rgb(206,226,15)" rx="2" ry="2" />
<text text-anchor="" x="30.52" y="431.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_solver__propagate_1718 (13,937 samples, 63.28%)</title><rect x="411.8" y="213" width="746.7" height="15.0" fill="rgb(226,183,48)" rx="2" ry="2" />
<text text-anchor="" x="414.80" y="223.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  >Minisat_solver__propagate_1718</text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_modify (48 samples, 0.22%)</title><rect x="1165.4" y="165" width="2.6" height="15.0" fill="rgb(223,110,30)" rx="2" ry="2" />
<text text-anchor="" x="1168.41" y="175.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_oldify_one (2 samples, 0.01%)</title><rect x="98.4" y="165" width="0.1" height="15.0" fill="rgb(253,154,10)" rx="2" ry="2" />
<text text-anchor="" x="101.35" y="175.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_major_collection_slice (4 samples, 0.02%)</title><rect x="98.5" y="197" width="0.2" height="15.0" fill="rgb(225,54,45)" rx="2" ry="2" />
<text text-anchor="" x="101.46" y="207.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_heap__loop_718 (2 samples, 0.01%)</title><rect x="13.3" y="437" width="0.1" height="15.0" fill="rgb(207,141,21)" rx="2" ry="2" />
<text text-anchor="" x="16.32" y="447.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_program (20,395 samples, 92.61%)</title><rect x="97.0" y="341" width="1092.8" height="15.0" fill="rgb(222,184,46)" rx="2" ry="2" />
<text text-anchor="" x="100.01" y="351.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  >_program</text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_solver__loop__14191 (2 samples, 0.01%)</title><rect x="12.6" y="453" width="0.1" height="15.0" fill="rgb(219,9,31)" rx="2" ry="2" />
<text text-anchor="" x="15.57" y="463.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_solver__propagate_1718 (8 samples, 0.04%)</title><rect x="12.7" y="453" width="0.4" height="15.0" fill="rgb(208,19,33)" rx="2" ry="2" />
<text text-anchor="" x="15.68" y="463.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_solver__loop_11519 (48 samples, 0.22%)</title><rect x="1187.2" y="245" width="2.5" height="15.0" fill="rgb(210,63,24)" rx="2" ry="2" />
<text text-anchor="" x="1190.16" y="255.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_empty_minor_heap (20 samples, 0.09%)</title><rect x="403.8" y="69" width="1.0" height="15.0" fill="rgb(222,4,47)" rx="2" ry="2" />
<text text-anchor="" x="406.76" y="79.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_solver__solve__5127 (20,283 samples, 92.10%)</title><rect x="103.0" y="277" width="1086.7" height="15.0" fill="rgb(246,1,38)" rx="2" ry="2" />
<text text-anchor="" x="105.96" y="287.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  >Minisat_solver__solve__5127</text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_ml_util__Dimacs__aux_233 (13 samples, 0.06%)</title><rect x="97.1" y="245" width="0.7" height="15.0" fill="rgb(238,55,40)" rx="2" ry="2" />
<text text-anchor="" x="100.07" y="255.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_solver__init_579 (9 samples, 0.04%)</title><rect x="99.1" y="229" width="0.4" height="15.0" fill="rgb(249,106,53)" rx="2" ry="2" />
<text text-anchor="" x="102.05" y="239.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_solver__analyze_3521 (22 samples, 0.10%)</title><rect x="10.2" y="453" width="1.1" height="15.0" fill="rgb(245,55,2)" rx="2" ry="2" />
<text text-anchor="" x="13.16" y="463.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_dl_start (4 samples, 0.02%)</title><rect x="1189.8" y="437" width="0.2" height="15.0" fill="rgb(219,97,21)" rx="2" ry="2" />
<text text-anchor="" x="1192.79" y="447.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_solver__cancel_until_1402 (2 samples, 0.01%)</title><rect x="103.0" y="261" width="0.1" height="15.0" fill="rgb(251,194,31)" rx="2" ry="2" />
<text text-anchor="" x="105.96" y="271.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_solver__unchecked_enqueue_1044 (353 samples, 1.60%)</title><rect x="988.7" y="197" width="18.9" height="15.0" fill="rgb(215,91,40)" rx="2" ry="2" />
<text text-anchor="" x="991.70" y="207.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_solver__loop_9902 (424 samples, 1.93%)</title><rect x="388.4" y="197" width="22.7" height="15.0" fill="rgb(208,27,25)" rx="2" ry="2" />
<text text-anchor="" x="391.38" y="207.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  >M..</text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_oldify_mopup (2 samples, 0.01%)</title><rect x="162.9" y="85" width="0.1" height="15.0" fill="rgb(229,13,44)" rx="2" ry="2" />
<text text-anchor="" x="165.86" y="95.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_call_gc (7 samples, 0.03%)</title><rect x="374.3" y="149" width="0.4" height="15.0" fill="rgb(245,17,51)" rx="2" ry="2" />
<text text-anchor="" x="377.35" y="159.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_empty_minor_heap (5 samples, 0.02%)</title><rect x="162.8" y="101" width="0.2" height="15.0" fill="rgb(226,144,41)" rx="2" ry="2" />
<text text-anchor="" x="165.76" y="111.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_solver__loop_search_12021 (20,233 samples, 91.87%)</title><rect x="103.1" y="261" width="1084.1" height="15.0" fill="rgb(212,159,19)" rx="2" ry="2" />
<text text-anchor="" x="106.07" y="271.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  >Minisat_solver__loop_search_12021</text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_array_blit (5 samples, 0.02%)</title><rect x="27.0" y="421" width="0.3" height="15.0" fill="rgb(254,12,31)" rx="2" ry="2" />
<text text-anchor="" x="30.04" y="431.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_heap__loop_718 (7 samples, 0.03%)</title><rect x="47.1" y="437" width="0.4" height="15.0" fill="rgb(239,49,26)" rx="2" ry="2" />
<text text-anchor="" x="50.13" y="447.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_heap__loop_925 (2 samples, 0.01%)</title><rect x="21.3" y="437" width="0.1" height="15.0" fill="rgb(234,152,13)" rx="2" ry="2" />
<text text-anchor="" x="24.25" y="447.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_types__make_inner_516 (27 samples, 0.12%)</title><rect x="101.5" y="261" width="1.5" height="15.0" fill="rgb(253,160,17)" rx="2" ry="2" />
<text text-anchor="" x="104.52" y="271.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_modify (12 samples, 0.05%)</title><rect x="374.9" y="165" width="0.7" height="15.0" fill="rgb(249,202,33)" rx="2" ry="2" />
<text text-anchor="" x="377.94" y="175.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_modify (15 samples, 0.07%)</title><rect x="410.3" y="165" width="0.8" height="15.0" fill="rgb(251,72,46)" rx="2" ry="2" />
<text text-anchor="" x="413.30" y="175.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_modify (26 samples, 0.12%)</title><rect x="164.3" y="165" width="1.4" height="15.0" fill="rgb(223,111,48)" rx="2" ry="2" />
<text text-anchor="" x="167.31" y="175.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_page_table_lookup (6 samples, 0.03%)</title><rect x="1173.3" y="101" width="0.3" height="15.0" fill="rgb(231,49,54)" rx="2" ry="2" />
<text text-anchor="" x="1176.28" y="111.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_modify (2 samples, 0.01%)</title><rect x="1188.1" y="197" width="0.1" height="15.0" fill="rgb(225,162,52)" rx="2" ry="2" />
<text text-anchor="" x="1191.07" y="207.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>mark_slice (15 samples, 0.07%)</title><rect x="163.0" y="101" width="0.8" height="15.0" fill="rgb(241,226,41)" rx="2" ry="2" />
<text text-anchor="" x="166.03" y="111.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_solver__search_4513 (48 samples, 0.22%)</title><rect x="1187.2" y="261" width="2.5" height="15.0" fill="rgb(224,223,46)" rx="2" ry="2" />
<text text-anchor="" x="1190.16" y="271.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>__libc_start_main (20,396 samples, 92.61%)</title><rect x="97.0" y="437" width="1092.8" height="15.0" fill="rgb(248,217,43)" rx="2" ry="2" />
<text text-anchor="" x="99.96" y="447.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  >__libc_start_main</text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>powf32x (12 samples, 0.05%)</title><rect x="411.2" y="197" width="0.6" height="15.0" fill="rgb(217,224,53)" rx="2" ry="2" />
<text text-anchor="" x="414.16" y="207.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_gc_dispatch (20 samples, 0.09%)</title><rect x="403.8" y="85" width="1.0" height="15.0" fill="rgb(229,123,1)" rx="2" ry="2" />
<text text-anchor="" x="406.76" y="95.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_apply2 (3 samples, 0.01%)</title><rect x="73.0" y="437" width="0.2" height="15.0" fill="rgb(235,23,32)" rx="2" ry="2" />
<text text-anchor="" x="76.01" y="447.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_modify (59 samples, 0.27%)</title><rect x="358.2" y="197" width="3.2" height="15.0" fill="rgb(240,41,12)" rx="2" ry="2" />
<text text-anchor="" x="361.22" y="207.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_modify (397 samples, 1.80%)</title><rect x="73.7" y="437" width="21.3" height="15.0" fill="rgb(222,57,26)" rx="2" ry="2" />
<text text-anchor="" x="76.71" y="447.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  >_..</text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_vec__ensure_167 (3 samples, 0.01%)</title><rect x="1189.2" y="197" width="0.2" height="15.0" fill="rgb(225,80,48)" rx="2" ry="2" />
<text text-anchor="" x="1192.20" y="207.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_solver__anon$2dfn$5bsrc$2flib$2fMinisat_solver$2eml$3a829$2c4$2d$2d46$5d_11035 (84 samples, 0.38%)</title><rect x="166.3" y="197" width="4.5" height="15.0" fill="rgb(205,121,25)" rx="2" ry="2" />
<text text-anchor="" x="169.29" y="207.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_modify (7 samples, 0.03%)</title><rect x="1158.7" y="197" width="0.3" height="15.0" fill="rgb(250,99,35)" rx="2" ry="2" />
<text text-anchor="" x="1161.66" y="207.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_oldify_mopup (2 samples, 0.01%)</title><rect x="98.2" y="165" width="0.2" height="15.0" fill="rgb(229,74,21)" rx="2" ry="2" />
<text text-anchor="" x="101.25" y="175.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_types__ensure_act_cap__657 (3 samples, 0.01%)</title><rect x="1186.3" y="197" width="0.2" height="15.0" fill="rgb(207,53,7)" rx="2" ry="2" />
<text text-anchor="" x="1189.30" y="207.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_solver__lit_redundant_3301 (7 samples, 0.03%)</title><rect x="23.2" y="437" width="0.4" height="15.0" fill="rgb(216,42,50)" rx="2" ry="2" />
<text text-anchor="" x="26.18" y="447.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>mark_slice (4 samples, 0.02%)</title><rect x="101.9" y="197" width="0.2" height="15.0" fill="rgb(214,167,12)" rx="2" ry="2" />
<text text-anchor="" x="104.89" y="207.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>[minisat.exe] (2 samples, 0.01%)</title><rect x="47.0" y="453" width="0.1" height="15.0" fill="rgb(235,139,15)" rx="2" ry="2" />
<text text-anchor="" x="50.02" y="463.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_vec__ensure_167 (5 samples, 0.02%)</title><rect x="99.3" y="197" width="0.2" height="15.0" fill="rgb(233,218,47)" rx="2" ry="2" />
<text text-anchor="" x="102.26" y="207.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_alloc_shr (2 samples, 0.01%)</title><rect x="1109.0" y="149" width="0.1" height="15.0" fill="rgb(248,197,22)" rx="2" ry="2" />
<text text-anchor="" x="1112.04" y="159.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>mark_slice_darken (4 samples, 0.02%)</title><rect x="374.5" y="85" width="0.2" height="15.0" fill="rgb(237,229,30)" rx="2" ry="2" />
<text text-anchor="" x="377.51" y="95.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_vec__push_302 (6 samples, 0.03%)</title><rect x="369.0" y="181" width="0.3" height="15.0" fill="rgb(222,95,28)" rx="2" ry="2" />
<text text-anchor="" x="371.99" y="191.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_vec__push_302 (5 samples, 0.02%)</title><rect x="1189.1" y="213" width="0.3" height="15.0" fill="rgb(210,153,46)" rx="2" ry="2" />
<text text-anchor="" x="1192.09" y="223.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_ml_util__Dimacs__loop_529 (84 samples, 0.38%)</title><rect x="97.0" y="277" width="4.5" height="15.0" fill="rgb(213,36,27)" rx="2" ry="2" />
<text text-anchor="" x="100.01" y="287.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_solver__pick_branch_lit_1517 (431 samples, 1.96%)</title><rect x="388.0" y="213" width="23.1" height="15.0" fill="rgb(214,142,41)" rx="2" ry="2" />
<text text-anchor="" x="391.01" y="223.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  >M..</text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>mark_slice (24 samples, 0.11%)</title><rect x="404.8" y="69" width="1.3" height="15.0" fill="rgb(205,225,38)" rx="2" ry="2" />
<text text-anchor="" x="407.83" y="79.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_modify (5 samples, 0.02%)</title><rect x="1110.4" y="165" width="0.3" height="15.0" fill="rgb(244,91,37)" rx="2" ry="2" />
<text text-anchor="" x="1113.43" y="175.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>zip_update_crc32 (2 samples, 0.01%)</title><rect x="100.3" y="197" width="0.1" height="15.0" fill="rgb(243,104,0)" rx="2" ry="2" />
<text text-anchor="" x="103.34" y="207.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_array_blit (18 samples, 0.08%)</title><rect x="1107.3" y="165" width="0.9" height="15.0" fill="rgb(250,110,5)" rx="2" ry="2" />
<text text-anchor="" x="1110.27" y="175.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_ml_util__Dimacs__skip_whitespace_168 (4 samples, 0.02%)</title><rect x="98.7" y="245" width="0.2" height="15.0" fill="rgb(232,132,44)" rx="2" ry="2" />
<text text-anchor="" x="101.73" y="255.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_oldify_mopup (10 samples, 0.05%)</title><rect x="404.0" y="53" width="0.5" height="15.0" fill="rgb(229,36,3)" rx="2" ry="2" />
<text text-anchor="" x="406.98" y="63.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_page_table_lookup (4 samples, 0.02%)</title><rect x="405.9" y="37" width="0.2" height="15.0" fill="rgb(229,216,38)" rx="2" ry="2" />
<text text-anchor="" x="408.91" y="47.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_modify (53 samples, 0.24%)</title><rect x="168.0" y="181" width="2.8" height="15.0" fill="rgb(215,106,6)" rx="2" ry="2" />
<text text-anchor="" x="170.95" y="191.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_modify (6 samples, 0.03%)</title><rect x="988.3" y="165" width="0.3" height="15.0" fill="rgb(227,193,52)" rx="2" ry="2" />
<text text-anchor="" x="991.27" y="175.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_vec__push_302 (12 samples, 0.05%)</title><rect x="14.3" y="437" width="0.6" height="15.0" fill="rgb(248,19,32)" rx="2" ry="2" />
<text text-anchor="" x="17.29" y="447.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_heap__percolate_down_209 (360 samples, 1.63%)</title><rect x="391.0" y="165" width="19.3" height="15.0" fill="rgb(237,108,39)" rx="2" ry="2" />
<text text-anchor="" x="394.01" y="175.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_solver__progress_estimate_4434 (13 samples, 0.06%)</title><rect x="411.1" y="213" width="0.7" height="15.0" fill="rgb(210,21,24)" rx="2" ry="2" />
<text text-anchor="" x="414.10" y="223.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_add_to_heap (4 samples, 0.02%)</title><rect x="1171.4" y="117" width="0.2" height="15.0" fill="rgb(242,180,26)" rx="2" ry="2" />
<text text-anchor="" x="1174.35" y="127.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_modify (408 samples, 1.85%)</title><rect x="1110.7" y="181" width="21.9" height="15.0" fill="rgb(205,79,37)" rx="2" ry="2" />
<text text-anchor="" x="1113.70" y="191.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  >_..</text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Array__blit_260 (7 samples, 0.03%)</title><rect x="20.8" y="437" width="0.3" height="15.0" fill="rgb(234,176,45)" rx="2" ry="2" />
<text text-anchor="" x="23.77" y="447.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>sweep_slice (8 samples, 0.04%)</title><rect x="406.1" y="69" width="0.4" height="15.0" fill="rgb(235,63,12)" rx="2" ry="2" />
<text text-anchor="" x="409.12" y="79.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>inflate (2 samples, 0.01%)</title><rect x="100.2" y="181" width="0.1" height="15.0" fill="rgb(232,212,54)" rx="2" ry="2" />
<text text-anchor="" x="103.23" y="191.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_vec__grow_to_with_256 (8 samples, 0.04%)</title><rect x="99.1" y="213" width="0.4" height="15.0" fill="rgb(211,178,13)" rx="2" ry="2" />
<text text-anchor="" x="102.10" y="223.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_solver__insert_var_order_500 (85 samples, 0.39%)</title><rect x="375.6" y="197" width="4.5" height="15.0" fill="rgb(236,10,32)" rx="2" ry="2" />
<text text-anchor="" x="378.58" y="207.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_array_blit (2 samples, 0.01%)</title><rect x="99.6" y="197" width="0.1" height="15.0" fill="rgb(220,218,54)" rx="2" ry="2" />
<text text-anchor="" x="102.64" y="207.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_solver__search_4513 (20,233 samples, 91.87%)</title><rect x="103.1" y="245" width="1084.1" height="15.0" fill="rgb(216,113,2)" rx="2" ry="2" />
<text text-anchor="" x="106.07" y="255.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  >Minisat_solver__search_4513</text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Gzip__input_392 (4 samples, 0.02%)</title><rect x="100.2" y="213" width="0.2" height="15.0" fill="rgb(249,144,46)" rx="2" ry="2" />
<text text-anchor="" x="103.23" y="223.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_make_vect (3 samples, 0.01%)</title><rect x="355.7" y="165" width="0.2" height="15.0" fill="rgb(225,56,33)" rx="2" ry="2" />
<text text-anchor="" x="358.70" y="175.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>[libz.so.1.2.11] (7 samples, 0.03%)</title><rect x="97.2" y="165" width="0.4" height="15.0" fill="rgb(236,62,35)" rx="2" ry="2" />
<text text-anchor="" x="100.23" y="175.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_solver__simplify_4359 (6 samples, 0.03%)</title><rect x="1189.4" y="229" width="0.3" height="15.0" fill="rgb(209,191,4)" rx="2" ry="2" />
<text text-anchor="" x="1192.36" y="239.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_major_collection_slice (6 samples, 0.03%)</title><rect x="374.4" y="117" width="0.3" height="15.0" fill="rgb(208,59,20)" rx="2" ry="2" />
<text text-anchor="" x="377.40" y="127.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_vec__push_302 (5 samples, 0.02%)</title><rect x="1187.8" y="197" width="0.3" height="15.0" fill="rgb(225,107,34)" rx="2" ry="2" />
<text text-anchor="" x="1190.80" y="207.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_startup (20,396 samples, 92.61%)</title><rect x="97.0" y="405" width="1092.8" height="15.0" fill="rgb(228,35,12)" rx="2" ry="2" />
<text text-anchor="" x="99.96" y="415.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  >_startup</text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_darken (3 samples, 0.01%)</title><rect x="1110.5" y="149" width="0.2" height="15.0" fill="rgb(231,56,20)" rx="2" ry="2" />
<text text-anchor="" x="1113.54" y="159.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_array_blit (3 samples, 0.01%)</title><rect x="27.4" y="421" width="0.1" height="15.0" fill="rgb(214,30,35)" rx="2" ry="2" />
<text text-anchor="" x="30.36" y="431.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_types__ensure__573 (37 samples, 0.17%)</title><rect x="25.1" y="437" width="1.9" height="15.0" fill="rgb(246,106,12)" rx="2" ry="2" />
<text text-anchor="" x="28.06" y="447.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_apply2 (3 samples, 0.01%)</title><rect x="30.6" y="437" width="0.2" height="15.0" fill="rgb(216,228,25)" rx="2" ry="2" />
<text text-anchor="" x="33.63" y="447.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>mark_slice (3 samples, 0.01%)</title><rect x="1189.2" y="133" width="0.2" height="15.0" fill="rgb(241,198,1)" rx="2" ry="2" />
<text text-anchor="" x="1192.20" y="143.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_page_table_lookup (2 samples, 0.01%)</title><rect x="98.6" y="149" width="0.1" height="15.0" fill="rgb(242,216,18)" rx="2" ry="2" />
<text text-anchor="" x="101.57" y="159.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_initialize (27 samples, 0.12%)</title><rect x="14.9" y="437" width="1.5" height="15.0" fill="rgb(226,61,21)" rx="2" ry="2" />
<text text-anchor="" x="17.93" y="447.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_major_collection_slice (2 samples, 0.01%)</title><rect x="1109.3" y="133" width="0.1" height="15.0" fill="rgb(205,53,53)" rx="2" ry="2" />
<text text-anchor="" x="1112.31" y="143.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_vec__push_302 (701 samples, 3.18%)</title><rect x="292.0" y="181" width="37.6" height="15.0" fill="rgb(248,62,9)" rx="2" ry="2" />
<text text-anchor="" x="294.99" y="191.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  >Min..</text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>mark_slice_darken (3 samples, 0.01%)</title><rect x="101.9" y="181" width="0.2" height="15.0" fill="rgb(252,215,31)" rx="2" ry="2" />
<text text-anchor="" x="104.94" y="191.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_modify (60 samples, 0.27%)</title><rect x="406.8" y="133" width="3.2" height="15.0" fill="rgb(254,70,48)" rx="2" ry="2" />
<text text-anchor="" x="409.76" y="143.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_initialize (237 samples, 1.08%)</title><rect x="1173.6" y="165" width="12.7" height="15.0" fill="rgb(220,77,13)" rx="2" ry="2" />
<text text-anchor="" x="1176.60" y="175.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_modify (3 samples, 0.01%)</title><rect x="1186.9" y="197" width="0.2" height="15.0" fill="rgb(211,64,30)" rx="2" ry="2" />
<text text-anchor="" x="1189.95" y="207.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_array_blit (8 samples, 0.04%)</title><rect x="25.1" y="421" width="0.4" height="15.0" fill="rgb(252,1,40)" rx="2" ry="2" />
<text text-anchor="" x="28.11" y="431.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_modify (485 samples, 2.20%)</title><rect x="1132.6" y="197" width="25.9" height="15.0" fill="rgb(227,132,25)" rx="2" ry="2" />
<text text-anchor="" x="1135.56" y="207.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  >_..</text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_array_blit (6 samples, 0.03%)</title><rect x="20.8" y="421" width="0.3" height="15.0" fill="rgb(243,225,13)" rx="2" ry="2" />
<text text-anchor="" x="23.82" y="431.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_vec__push_302 (14 samples, 0.06%)</title><rect x="361.5" y="197" width="0.7" height="15.0" fill="rgb(229,164,50)" rx="2" ry="2" />
<text text-anchor="" x="364.49" y="207.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_heap__remove_min_427 (391 samples, 1.78%)</title><rect x="390.2" y="181" width="20.9" height="15.0" fill="rgb(218,98,8)" rx="2" ry="2" />
<text text-anchor="" x="393.15" y="191.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_heap__loop_925 (9 samples, 0.04%)</title><rect x="47.5" y="437" width="0.5" height="15.0" fill="rgb(238,127,12)" rx="2" ry="2" />
<text text-anchor="" x="50.51" y="447.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_solver__anon$2dfn$5bsrc$2flib$2fMinisat_solver$2eml$3a1171$2c12$2d$2d90$5d_5464 (55 samples, 0.25%)</title><rect x="371.8" y="165" width="2.9" height="15.0" fill="rgb(229,181,12)" rx="2" ry="2" />
<text text-anchor="" x="374.77" y="175.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>zip_inflate (2 samples, 0.01%)</title><rect x="100.2" y="197" width="0.1" height="15.0" fill="rgb(250,57,46)" rx="2" ry="2" />
<text text-anchor="" x="103.23" y="207.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_vec__ensure_167 (5 samples, 0.02%)</title><rect x="355.6" y="181" width="0.3" height="15.0" fill="rgb(234,76,13)" rx="2" ry="2" />
<text text-anchor="" x="358.59" y="191.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_modify (2 samples, 0.01%)</title><rect x="362.1" y="181" width="0.1" height="15.0" fill="rgb(224,152,24)" rx="2" ry="2" />
<text text-anchor="" x="365.13" y="191.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_types__alloc__754 (3 samples, 0.01%)</title><rect x="101.3" y="245" width="0.2" height="15.0" fill="rgb(205,115,3)" rx="2" ry="2" />
<text text-anchor="" x="104.30" y="255.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_ml_util__Dimacs__parse_int_226 (17 samples, 0.08%)</title><rect x="97.8" y="245" width="0.9" height="15.0" fill="rgb(205,195,23)" rx="2" ry="2" />
<text text-anchor="" x="100.76" y="255.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_solver__anon$2dfn$5bsrc$2flib$2fMinisat_solver$2eml$3a829$2c4$2d$2d46$5d_11035 (8 samples, 0.04%)</title><rect x="49.3" y="437" width="0.4" height="15.0" fill="rgb(228,25,22)" rx="2" ry="2" />
<text text-anchor="" x="52.27" y="447.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_vec__ensure_167 (6 samples, 0.03%)</title><rect x="27.3" y="437" width="0.3" height="15.0" fill="rgb(235,110,15)" rx="2" ry="2" />
<text text-anchor="" x="30.31" y="447.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>[libm-2.28.so] (11 samples, 0.05%)</title><rect x="411.2" y="181" width="0.6" height="15.0" fill="rgb(236,194,11)" rx="2" ry="2" />
<text text-anchor="" x="414.21" y="191.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_solver__progress_estimate_4434 (2 samples, 0.01%)</title><rect x="1188.4" y="229" width="0.1" height="15.0" fill="rgb(247,162,34)" rx="2" ry="2" />
<text text-anchor="" x="1191.39" y="239.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_types__make_inner_516 (2 samples, 0.01%)</title><rect x="13.1" y="453" width="0.1" height="15.0" fill="rgb(226,214,28)" rx="2" ry="2" />
<text text-anchor="" x="16.11" y="463.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_solver__attach_clause_1147 (12 samples, 0.05%)</title><rect x="100.6" y="245" width="0.6" height="15.0" fill="rgb(239,126,52)" rx="2" ry="2" />
<text text-anchor="" x="103.60" y="255.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_solver__var_bump_activity_3096 (7 samples, 0.03%)</title><rect x="24.7" y="437" width="0.4" height="15.0" fill="rgb(253,22,23)" rx="2" ry="2" />
<text text-anchor="" x="27.68" y="447.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_call_gc (9 samples, 0.04%)</title><rect x="98.2" y="229" width="0.5" height="15.0" fill="rgb(254,28,37)" rx="2" ry="2" />
<text text-anchor="" x="101.19" y="239.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_vec__push_302 (2,118 samples, 9.62%)</title><rect x="1019.1" y="197" width="113.5" height="15.0" fill="rgb(238,29,2)" rx="2" ry="2" />
<text text-anchor="" x="1022.08" y="207.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  >Minisat_vec__p..</text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_vec__ensure_167 (2 samples, 0.01%)</title><rect x="1186.8" y="197" width="0.1" height="15.0" fill="rgb(215,117,17)" rx="2" ry="2" />
<text text-anchor="" x="1189.84" y="207.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_solver__cla_bump_activity_3166 (32 samples, 0.15%)</title><rect x="170.8" y="197" width="1.7" height="15.0" fill="rgb(222,218,32)" rx="2" ry="2" />
<text text-anchor="" x="173.79" y="207.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_garbage_collection (7 samples, 0.03%)</title><rect x="374.3" y="133" width="0.4" height="15.0" fill="rgb(213,97,42)" rx="2" ry="2" />
<text text-anchor="" x="377.35" y="143.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_vec__push_302 (2 samples, 0.01%)</title><rect x="13.2" y="453" width="0.1" height="15.0" fill="rgb(236,70,27)" rx="2" ry="2" />
<text text-anchor="" x="16.21" y="463.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_alloc_shr_aux (2 samples, 0.01%)</title><rect x="1109.0" y="133" width="0.1" height="15.0" fill="rgb(247,196,44)" rx="2" ry="2" />
<text text-anchor="" x="1112.04" y="143.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_modify (5 samples, 0.02%)</title><rect x="1107.9" y="149" width="0.2" height="15.0" fill="rgb(221,149,3)" rx="2" ry="2" />
<text text-anchor="" x="1110.86" y="159.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_heap__loop_718 (2 samples, 0.01%)</title><rect x="21.1" y="437" width="0.2" height="15.0" fill="rgb(244,195,4)" rx="2" ry="2" />
<text text-anchor="" x="24.14" y="447.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_modify (248 samples, 1.13%)</title><rect x="994.3" y="181" width="13.3" height="15.0" fill="rgb(224,37,35)" rx="2" ry="2" />
<text text-anchor="" x="997.32" y="191.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_initialize (5 samples, 0.02%)</title><rect x="73.4" y="437" width="0.3" height="15.0" fill="rgb(208,118,9)" rx="2" ry="2" />
<text text-anchor="" x="76.39" y="447.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_check_urgent_gc (2 samples, 0.01%)</title><rect x="101.4" y="197" width="0.1" height="15.0" fill="rgb(218,88,36)" rx="2" ry="2" />
<text text-anchor="" x="104.35" y="207.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_major_collection_slice (37 samples, 0.17%)</title><rect x="1171.6" y="149" width="2.0" height="15.0" fill="rgb(211,194,22)" rx="2" ry="2" />
<text text-anchor="" x="1174.62" y="159.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>minisat.exe (22,023 samples, 100.00%)</title><rect x="10.0" y="469" width="1180.0" height="15.0" fill="rgb(230,132,19)" rx="2" ry="2" />
<text text-anchor="" x="13.00" y="479.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  >minisat.exe</text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_solver__lit_redundant_3301 (110 samples, 0.50%)</title><rect x="50.1" y="437" width="5.9" height="15.0" fill="rgb(235,147,24)" rx="2" ry="2" />
<text text-anchor="" x="53.13" y="447.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_solver__loop_11519 (20,233 samples, 91.87%)</title><rect x="103.1" y="229" width="1084.1" height="15.0" fill="rgb(223,144,37)" rx="2" ry="2" />
<text text-anchor="" x="106.07" y="239.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  >Minisat_solver__loop_11519</text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>crc32_z (2 samples, 0.01%)</title><rect x="100.3" y="181" width="0.1" height="15.0" fill="rgb(208,13,36)" rx="2" ry="2" />
<text text-anchor="" x="103.34" y="191.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_modify (29 samples, 0.13%)</title><rect x="95.1" y="453" width="1.5" height="15.0" fill="rgb(215,70,7)" rx="2" ry="2" />
<text text-anchor="" x="98.09" y="463.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_page_table_modify (4 samples, 0.02%)</title><rect x="1171.4" y="85" width="0.2" height="15.0" fill="rgb(233,198,38)" rx="2" ry="2" />
<text text-anchor="" x="1174.35" y="95.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>inflate (7 samples, 0.03%)</title><rect x="97.2" y="181" width="0.4" height="15.0" fill="rgb(233,61,31)" rx="2" ry="2" />
<text text-anchor="" x="100.23" y="191.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_modify (47 samples, 0.21%)</title><rect x="1160.5" y="165" width="2.5" height="15.0" fill="rgb(222,110,36)" rx="2" ry="2" />
<text text-anchor="" x="1163.48" y="175.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>[anon] (490 samples, 2.22%)</title><rect x="20.8" y="453" width="26.2" height="15.0" fill="rgb(224,177,22)" rx="2" ry="2" />
<text text-anchor="" x="23.77" y="463.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  >[..</text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_solver__propagate_1718 (16 samples, 0.07%)</title><rect x="1188.5" y="229" width="0.9" height="15.0" fill="rgb(221,5,41)" rx="2" ry="2" />
<text text-anchor="" x="1191.50" y="239.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_vec__push_302 (12 samples, 0.05%)</title><rect x="1186.5" y="213" width="0.6" height="15.0" fill="rgb(227,29,23)" rx="2" ry="2" />
<text text-anchor="" x="1189.46" y="223.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>all (22,023 samples, 100%)</title><rect x="10.0" y="485" width="1180.0" height="15.0" fill="rgb(230,36,39)" rx="2" ry="2" />
<text text-anchor="" x="13.00" y="495.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_empty_minor_heap (5 samples, 0.02%)</title><rect x="98.2" y="181" width="0.3" height="15.0" fill="rgb(223,190,10)" rx="2" ry="2" />
<text text-anchor="" x="101.19" y="191.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>mark_slice (6 samples, 0.03%)</title><rect x="374.4" y="101" width="0.3" height="15.0" fill="rgb(230,204,53)" rx="2" ry="2" />
<text text-anchor="" x="377.40" y="111.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_call_gc (24 samples, 0.11%)</title><rect x="162.8" y="149" width="1.2" height="15.0" fill="rgb(232,79,33)" rx="2" ry="2" />
<text text-anchor="" x="165.76" y="159.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_solver__var_bump_activity_3096 (132 samples, 0.60%)</title><rect x="341.5" y="197" width="7.1" height="15.0" fill="rgb(206,10,11)" rx="2" ry="2" />
<text text-anchor="" x="344.50" y="207.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_vec__copy_to_386 (5 samples, 0.02%)</title><rect x="27.0" y="437" width="0.3" height="15.0" fill="rgb(212,27,15)" rx="2" ry="2" />
<text text-anchor="" x="30.04" y="447.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_solver__cancel_until_1402 (22 samples, 0.10%)</title><rect x="11.3" y="453" width="1.2" height="15.0" fill="rgb(239,136,31)" rx="2" ry="2" />
<text text-anchor="" x="14.34" y="463.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_array_blit (3 samples, 0.01%)</title><rect x="101.3" y="213" width="0.2" height="15.0" fill="rgb(254,77,26)" rx="2" ry="2" />
<text text-anchor="" x="104.30" y="223.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_ml_util__Dimacs__skip_metadata_316 (7 samples, 0.03%)</title><rect x="100.1" y="261" width="0.3" height="15.0" fill="rgb(245,207,45)" rx="2" ry="2" />
<text text-anchor="" x="103.07" y="271.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_startup_common (20,396 samples, 92.61%)</title><rect x="97.0" y="373" width="1092.8" height="15.0" fill="rgb(237,132,51)" rx="2" ry="2" />
<text text-anchor="" x="99.96" y="383.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  >_startup_common</text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_solver__attach_clause_1147 (16 samples, 0.07%)</title><rect x="361.4" y="213" width="0.8" height="15.0" fill="rgb(238,200,18)" rx="2" ry="2" />
<text text-anchor="" x="364.38" y="223.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>[libz.so.1.2.11] (2 samples, 0.01%)</title><rect x="100.2" y="165" width="0.1" height="15.0" fill="rgb(217,120,45)" rx="2" ry="2" />
<text text-anchor="" x="103.23" y="175.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_solver__add_clause_2178 (20 samples, 0.09%)</title><rect x="100.4" y="261" width="1.1" height="15.0" fill="rgb(211,16,54)" rx="2" ry="2" />
<text text-anchor="" x="103.44" y="271.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_check_urgent_gc (2 samples, 0.01%)</title><rect x="350.0" y="165" width="0.1" height="15.0" fill="rgb(253,144,33)" rx="2" ry="2" />
<text text-anchor="" x="352.97" y="175.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_vec__copy_to_386 (50 samples, 0.23%)</title><rect x="348.6" y="197" width="2.7" height="15.0" fill="rgb(205,87,18)" rx="2" ry="2" />
<text text-anchor="" x="351.57" y="207.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_modify (219 samples, 0.99%)</title><rect x="317.8" y="165" width="11.8" height="15.0" fill="rgb(238,132,17)" rx="2" ry="2" />
<text text-anchor="" x="320.82" y="175.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_call_gc (52 samples, 0.24%)</title><rect x="403.8" y="117" width="2.7" height="15.0" fill="rgb(248,123,21)" rx="2" ry="2" />
<text text-anchor="" x="406.76" y="127.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_array_blit (47 samples, 0.21%)</title><rect x="348.7" y="181" width="2.6" height="15.0" fill="rgb(238,18,26)" rx="2" ry="2" />
<text text-anchor="" x="351.73" y="191.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_types__alloc__754 (512 samples, 2.32%)</title><rect x="1159.0" y="213" width="27.5" height="15.0" fill="rgb(252,164,20)" rx="2" ry="2" />
<text text-anchor="" x="1162.03" y="223.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  >M..</text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_array_blit (90 samples, 0.41%)</title><rect x="1163.2" y="181" width="4.8" height="15.0" fill="rgb(247,224,40)" rx="2" ry="2" />
<text text-anchor="" x="1166.16" y="191.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>zip_update_crc32 (3 samples, 0.01%)</title><rect x="97.6" y="197" width="0.2" height="15.0" fill="rgb(227,33,18)" rx="2" ry="2" />
<text text-anchor="" x="100.60" y="207.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_solver__clean_all_782 (2 samples, 0.01%)</title><rect x="988.6" y="197" width="0.1" height="15.0" fill="rgb(250,139,41)" rx="2" ry="2" />
<text text-anchor="" x="991.59" y="207.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_solver__new_var__864 (20 samples, 0.09%)</title><rect x="98.9" y="245" width="1.1" height="15.0" fill="rgb(230,23,15)" rx="2" ry="2" />
<text text-anchor="" x="101.94" y="255.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_make_vect (4 samples, 0.02%)</title><rect x="99.3" y="181" width="0.2" height="15.0" fill="rgb(221,83,17)" rx="2" ry="2" />
<text text-anchor="" x="102.32" y="191.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>mark_slice (2 samples, 0.01%)</title><rect x="1109.3" y="117" width="0.1" height="15.0" fill="rgb(242,6,3)" rx="2" ry="2" />
<text text-anchor="" x="1112.31" y="127.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_vec__ensure_167 (66 samples, 0.30%)</title><rect x="1107.2" y="181" width="3.5" height="15.0" fill="rgb(209,33,41)" rx="2" ry="2" />
<text text-anchor="" x="1110.16" y="191.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_vec__push_302 (10 samples, 0.05%)</title><rect x="100.7" y="229" width="0.5" height="15.0" fill="rgb(246,146,29)" rx="2" ry="2" />
<text text-anchor="" x="103.71" y="239.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_heap__percolate_up_131 (2 samples, 0.01%)</title><rect x="103.0" y="245" width="0.1" height="15.0" fill="rgb(242,81,44)" rx="2" ry="2" />
<text text-anchor="" x="105.96" y="255.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_modify (44 samples, 0.20%)</title><rect x="355.9" y="181" width="2.3" height="15.0" fill="rgb(243,174,29)" rx="2" ry="2" />
<text text-anchor="" x="358.86" y="191.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_initialize (4 samples, 0.02%)</title><rect x="99.8" y="181" width="0.2" height="15.0" fill="rgb(207,53,38)" rx="2" ry="2" />
<text text-anchor="" x="102.80" y="191.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_array_blit (2 samples, 0.01%)</title><rect x="355.6" y="165" width="0.1" height="15.0" fill="rgb(214,167,8)" rx="2" ry="2" />
<text text-anchor="" x="358.59" y="175.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_make_vect (2 samples, 0.01%)</title><rect x="13.1" y="437" width="0.1" height="15.0" fill="rgb(214,69,42)" rx="2" ry="2" />
<text text-anchor="" x="16.11" y="447.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_alloc_small (3 samples, 0.01%)</title><rect x="1189.2" y="165" width="0.2" height="15.0" fill="rgb(212,186,54)" rx="2" ry="2" />
<text text-anchor="" x="1192.20" y="175.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_major_collection_slice (4 samples, 0.02%)</title><rect x="101.9" y="213" width="0.2" height="15.0" fill="rgb(215,0,29)" rx="2" ry="2" />
<text text-anchor="" x="104.89" y="223.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_dl_sysdep_start (3 samples, 0.01%)</title><rect x="1189.8" y="421" width="0.2" height="15.0" fill="rgb(224,12,37)" rx="2" ry="2" />
<text text-anchor="" x="1192.84" y="431.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_gc_dispatch (3 samples, 0.01%)</title><rect x="1109.1" y="133" width="0.2" height="15.0" fill="rgb(211,229,50)" rx="2" ry="2" />
<text text-anchor="" x="1112.15" y="143.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_heap__insert_349 (13 samples, 0.06%)</title><rect x="368.7" y="197" width="0.7" height="15.0" fill="rgb(222,98,28)" rx="2" ry="2" />
<text text-anchor="" x="371.67" y="207.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_solver__insert_var_order_500 (8 samples, 0.04%)</title><rect x="49.7" y="437" width="0.4" height="15.0" fill="rgb(241,120,9)" rx="2" ry="2" />
<text text-anchor="" x="52.70" y="447.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat__process_file_512 (20,395 samples, 92.61%)</title><rect x="97.0" y="309" width="1092.8" height="15.0" fill="rgb(208,32,29)" rx="2" ry="2" />
<text text-anchor="" x="100.01" y="319.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  >Minisat__process_file_512</text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_page_table_lookup (3 samples, 0.01%)</title><rect x="163.7" y="69" width="0.1" height="15.0" fill="rgb(213,53,52)" rx="2" ry="2" />
<text text-anchor="" x="166.67" y="79.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_c_call (2 samples, 0.01%)</title><rect x="73.2" y="437" width="0.1" height="15.0" fill="rgb(229,168,6)" rx="2" ry="2" />
<text text-anchor="" x="76.17" y="447.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_make_vect (40 samples, 0.18%)</title><rect x="1108.3" y="165" width="2.1" height="15.0" fill="rgb(215,166,44)" rx="2" ry="2" />
<text text-anchor="" x="1111.29" y="175.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Array__blit_260 (12 samples, 0.05%)</title><rect x="987.9" y="197" width="0.7" height="15.0" fill="rgb(215,130,41)" rx="2" ry="2" />
<text text-anchor="" x="990.95" y="207.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_solver__analyze_3521 (22 samples, 0.10%)</title><rect x="1187.2" y="229" width="1.1" height="15.0" fill="rgb(254,28,46)" rx="2" ry="2" />
<text text-anchor="" x="1190.16" y="239.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>mark_slice_darken (4 samples, 0.02%)</title><rect x="98.5" y="165" width="0.2" height="15.0" fill="rgb(211,132,23)" rx="2" ry="2" />
<text text-anchor="" x="101.46" y="175.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>[unknown] (895 samples, 4.06%)</title><rect x="47.1" y="453" width="48.0" height="15.0" fill="rgb(254,96,45)" rx="2" ry="2" />
<text text-anchor="" x="50.13" y="463.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  >[unk..</text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>mark_slice_darken (13 samples, 0.06%)</title><rect x="163.1" y="85" width="0.7" height="15.0" fill="rgb(214,154,12)" rx="2" ry="2" />
<text text-anchor="" x="166.13" y="95.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_modify (146 samples, 0.66%)</title><rect x="380.1" y="197" width="7.9" height="15.0" fill="rgb(230,192,2)" rx="2" ry="2" />
<text text-anchor="" x="383.13" y="207.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_ml_util__Dimacs__fill_if_empty_39 (4 samples, 0.02%)</title><rect x="100.2" y="229" width="0.2" height="15.0" fill="rgb(233,128,36)" rx="2" ry="2" />
<text text-anchor="" x="103.23" y="239.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>mark_slice (4 samples, 0.02%)</title><rect x="98.5" y="181" width="0.2" height="15.0" fill="rgb(250,197,4)" rx="2" ry="2" />
<text text-anchor="" x="101.46" y="191.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_make_vect (5 samples, 0.02%)</title><rect x="99.7" y="197" width="0.3" height="15.0" fill="rgb(245,127,11)" rx="2" ry="2" />
<text text-anchor="" x="102.75" y="207.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>mark_slice_darken (2 samples, 0.01%)</title><rect x="1189.2" y="117" width="0.2" height="15.0" fill="rgb(206,197,34)" rx="2" ry="2" />
<text text-anchor="" x="1192.25" y="127.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>mark_slice_darken (2 samples, 0.01%)</title><rect x="1109.3" y="101" width="0.1" height="15.0" fill="rgb(249,149,19)" rx="2" ry="2" />
<text text-anchor="" x="1112.31" y="111.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_page_table_add (4 samples, 0.02%)</title><rect x="1171.4" y="101" width="0.2" height="15.0" fill="rgb(226,225,46)" rx="2" ry="2" />
<text text-anchor="" x="1174.35" y="111.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_start_program (20,395 samples, 92.61%)</title><rect x="97.0" y="357" width="1092.8" height="15.0" fill="rgb(249,155,21)" rx="2" ry="2" />
<text text-anchor="" x="100.01" y="367.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  >_start_program</text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_types__swap_lits_1154 (15 samples, 0.07%)</title><rect x="13.5" y="437" width="0.8" height="15.0" fill="rgb(240,29,47)" rx="2" ry="2" />
<text text-anchor="" x="16.48" y="447.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_initialize (18 samples, 0.08%)</title><rect x="1109.5" y="149" width="0.9" height="15.0" fill="rgb(210,209,16)" rx="2" ry="2" />
<text text-anchor="" x="1112.47" y="159.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_empty_minor_heap (3 samples, 0.01%)</title><rect x="1109.1" y="117" width="0.2" height="15.0" fill="rgb(239,183,31)" rx="2" ry="2" />
<text text-anchor="" x="1112.15" y="127.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_ml_util__Dimacs__aux_439 (57 samples, 0.26%)</title><rect x="97.0" y="261" width="3.1" height="15.0" fill="rgb(239,67,21)" rx="2" ry="2" />
<text text-anchor="" x="100.01" y="271.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_check_urgent_gc (4 samples, 0.02%)</title><rect x="101.9" y="229" width="0.2" height="15.0" fill="rgb(215,94,20)" rx="2" ry="2" />
<text text-anchor="" x="104.89" y="239.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_check_urgent_gc (37 samples, 0.17%)</title><rect x="1171.6" y="165" width="2.0" height="15.0" fill="rgb(217,3,50)" rx="2" ry="2" />
<text text-anchor="" x="1174.62" y="175.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_solver__create_5452 (27 samples, 0.12%)</title><rect x="101.5" y="277" width="1.5" height="15.0" fill="rgb(246,207,8)" rx="2" ry="2" />
<text text-anchor="" x="104.52" y="287.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>mark_slice_darken (23 samples, 0.10%)</title><rect x="404.9" y="53" width="1.2" height="15.0" fill="rgb(245,14,12)" rx="2" ry="2" />
<text text-anchor="" x="407.89" y="63.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_modify (299 samples, 1.36%)</title><rect x="30.9" y="437" width="16.1" height="15.0" fill="rgb(239,49,32)" rx="2" ry="2" />
<text text-anchor="" x="33.95" y="447.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_solver__analyze_3521 (4,796 samples, 21.78%)</title><rect x="104.4" y="213" width="257.0" height="15.0" fill="rgb(234,74,14)" rx="2" ry="2" />
<text text-anchor="" x="107.41" y="223.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  >Minisat_solver__analyze_3521</text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_solver__var_bump_activity_3096 (6 samples, 0.03%)</title><rect x="68.5" y="437" width="0.3" height="15.0" fill="rgb(253,117,5)" rx="2" ry="2" />
<text text-anchor="" x="71.51" y="447.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_solver__var_bump_activity_3096 (3 samples, 0.01%)</title><rect x="1188.2" y="213" width="0.1" height="15.0" fill="rgb(226,173,39)" rx="2" ry="2" />
<text text-anchor="" x="1191.18" y="223.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_initialize (16 samples, 0.07%)</title><rect x="102.1" y="229" width="0.9" height="15.0" fill="rgb(226,2,42)" rx="2" ry="2" />
<text text-anchor="" x="105.10" y="239.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_solver__remove_satisfied_4243 (4 samples, 0.02%)</title><rect x="1189.5" y="213" width="0.2" height="15.0" fill="rgb(250,50,43)" rx="2" ry="2" />
<text text-anchor="" x="1192.46" y="223.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_vec__push_302 (56 samples, 0.25%)</title><rect x="27.6" y="437" width="3.0" height="15.0" fill="rgb(215,187,43)" rx="2" ry="2" />
<text text-anchor="" x="30.63" y="447.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_modify (223 samples, 1.01%)</title><rect x="329.6" y="181" width="11.9" height="15.0" fill="rgb(229,148,14)" rx="2" ry="2" />
<text text-anchor="" x="332.55" y="191.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_modify (22 samples, 0.10%)</title><rect x="350.1" y="165" width="1.2" height="15.0" fill="rgb(253,143,12)" rx="2" ry="2" />
<text text-anchor="" x="353.07" y="175.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_major_collection_slice (19 samples, 0.09%)</title><rect x="163.0" y="117" width="1.0" height="15.0" fill="rgb(207,163,18)" rx="2" ry="2" />
<text text-anchor="" x="166.03" y="127.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_dl_relocate_object (2 samples, 0.01%)</title><rect x="1189.9" y="389" width="0.1" height="15.0" fill="rgb(221,224,46)" rx="2" ry="2" />
<text text-anchor="" x="1192.89" y="399.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_heap__percolate_up_131 (2 samples, 0.01%)</title><rect x="98.9" y="229" width="0.2" height="15.0" fill="rgb(225,105,1)" rx="2" ry="2" />
<text text-anchor="" x="101.94" y="239.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_ml_util__Dimacs__fill_if_empty_39 (10 samples, 0.05%)</title><rect x="97.2" y="229" width="0.6" height="15.0" fill="rgb(218,51,36)" rx="2" ry="2" />
<text text-anchor="" x="100.23" y="239.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_modify (82 samples, 0.37%)</title><rect x="16.4" y="437" width="4.4" height="15.0" fill="rgb(215,126,14)" rx="2" ry="2" />
<text text-anchor="" x="19.38" y="447.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_vec__push_302 (76 samples, 0.35%)</title><rect x="68.9" y="437" width="4.1" height="15.0" fill="rgb(244,3,19)" rx="2" ry="2" />
<text text-anchor="" x="71.94" y="447.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>sweep_slice (4 samples, 0.02%)</title><rect x="163.8" y="101" width="0.2" height="15.0" fill="rgb(226,174,25)" rx="2" ry="2" />
<text text-anchor="" x="166.83" y="111.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_garbage_collection (9 samples, 0.04%)</title><rect x="98.2" y="213" width="0.5" height="15.0" fill="rgb(227,170,13)" rx="2" ry="2" />
<text text-anchor="" x="101.19" y="223.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_modify (3 samples, 0.01%)</title><rect x="369.1" y="165" width="0.2" height="15.0" fill="rgb(233,183,54)" rx="2" ry="2" />
<text text-anchor="" x="372.15" y="175.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_array_blit (72 samples, 0.33%)</title><rect x="1159.1" y="181" width="3.9" height="15.0" fill="rgb(227,97,24)" rx="2" ry="2" />
<text text-anchor="" x="1162.14" y="191.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_vec__ensure_167 (7 samples, 0.03%)</title><rect x="99.6" y="213" width="0.4" height="15.0" fill="rgb(205,117,4)" rx="2" ry="2" />
<text text-anchor="" x="102.64" y="223.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_heap__loop_925 (194 samples, 0.88%)</title><rect x="155.3" y="181" width="10.4" height="15.0" fill="rgb(207,192,26)" rx="2" ry="2" />
<text text-anchor="" x="158.31" y="191.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_solver__cancel_until_1402 (480 samples, 2.18%)</title><rect x="362.2" y="213" width="25.8" height="15.0" fill="rgb(244,4,38)" rx="2" ry="2" />
<text text-anchor="" x="365.24" y="223.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  >M..</text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_make_vect (27 samples, 0.12%)</title><rect x="101.5" y="245" width="1.5" height="15.0" fill="rgb(205,75,1)" rx="2" ry="2" />
<text text-anchor="" x="104.52" y="255.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_solver__lit_redundant_3301 (16 samples, 0.07%)</title><rect x="1187.3" y="213" width="0.9" height="15.0" fill="rgb(246,47,17)" rx="2" ry="2" />
<text text-anchor="" x="1190.32" y="223.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>mark_slice_darken (27 samples, 0.12%)</title><rect x="1172.2" y="117" width="1.4" height="15.0" fill="rgb(219,59,24)" rx="2" ry="2" />
<text text-anchor="" x="1175.16" y="127.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_solver__anon$2dfn$5bsrc$2flib$2fMinisat_solver$2eml$3a1171$2c12$2d$2d90$5d_5464 (107 samples, 0.49%)</title><rect x="158.3" y="165" width="5.7" height="15.0" fill="rgb(217,137,21)" rx="2" ry="2" />
<text text-anchor="" x="161.31" y="175.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_startup_exn (20,396 samples, 92.61%)</title><rect x="97.0" y="389" width="1092.8" height="15.0" fill="rgb(240,81,5)" rx="2" ry="2" />
<text text-anchor="" x="99.96" y="399.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  >_startup_exn</text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>_apply2 (4 samples, 0.02%)</title><rect x="374.7" y="165" width="0.2" height="15.0" fill="rgb(221,0,7)" rx="2" ry="2" />
<text text-anchor="" x="377.72" y="175.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
<g class="func_g" onmouseover="s(this)" onmouseout="c()" onclick="zoom(this)">
<title>Minisat_heap__percolate_up_131 (10 samples, 0.05%)</title><rect x="48.0" y="437" width="0.5" height="15.0" fill="rgb(205,25,13)" rx="2" ry="2" />
<text text-anchor="" x="50.99" y="447.5" font-size="12" font-family="Verdana" fill="rgb(0,0,0)"  ></text>
</g>
</svg>