From 96b8b0ed97df35a5769b5b80162fab3f653a06d6 Mon Sep 17 00:00:00 2001 From: "Claudio Maggioni (maggicl)" Date: Mon, 19 Apr 2021 08:44:46 +0000 Subject: [PATCH] more 7c results --- figure_7/b_figure7c.csv | 556 ++++++++++++++++++++++++++ figure_7/c_figure7c.csv | 638 ++++++++++++++++++++++++++++++ figure_7/d_figure7c.csv | 845 ++++++++++++++++++++++++++++++++++++++++ figure_7/e_figure7c.csv | 425 ++++++++++++++++++++ 4 files changed, 2464 insertions(+) create mode 100644 figure_7/b_figure7c.csv create mode 100644 figure_7/c_figure7c.csv create mode 100644 figure_7/d_figure7c.csv create mode 100644 figure_7/e_figure7c.csv diff --git a/figure_7/b_figure7c.csv b/figure_7/b_figure7c.csv new file mode 100644 index 00000000..93163bd0 --- /dev/null +++ b/figure_7/b_figure7c.csv @@ -0,0 +1,556 @@ +term,n_exec,count +7,1,498733861 +7,2,266766539 +7,3,216626140 +7,4,106043583 +7,5,56026259 +7,6,27762304 +7,7,15408172 +7,8,9223733 +7,9,5918943 +7,10,3660428 +7,11,2855776 +7,12,1986877 +7,13,1376429 +7,14,1054646 +7,15,832841 +7,16,563854 +7,18,325820 +7,20,182026 +7,22,139503 +7,23,116865 +7,19,269394 +7,17,465087 +7,21,156782 +7,24,97460 +7,26,76692 +7,25,86820 +7,27,91231 +7,28,68302 +7,29,58154 +7,30,44277 +7,31,46677 +7,32,44949 +7,33,41246 +7,34,32858 +7,35,26365 +7,36,33253 +7,37,23716 +7,38,21322 +7,39,39956 +7,40,26976 +7,41,16597 +7,42,25493 +7,43,19157 +7,44,11092 +7,45,15847 +7,46,11311 +7,47,9053 +7,48,6537 +7,49,5156 +7,50,7802 +7,51,9023 +7,52,3917 +7,53,3138 +7,54,3111 +7,55,7793 +7,56,3568 +7,57,3812 +7,58,1811 +7,59,1678 +7,60,1347 +7,61,1304 +7,62,1057 +7,63,2336 +7,64,3094 +7,65,807 +7,66,741 +7,67,527 +7,68,498 +7,69,443 +7,70,448 +7,71,415 +7,72,342 +7,73,358 +7,74,267 +7,75,283 +7,76,250 +7,77,219 +7,78,193 +7,79,195 +7,80,172 +7,81,155 +7,82,149 +7,83,150 +7,84,124 +7,85,143 +7,86,142 +7,87,129 +7,88,116 +7,89,87 +7,90,73 +7,91,82 +7,92,92 +7,93,86 +7,94,70 +7,95,59 +7,96,67 +7,97,45 +7,98,44 +7,99,44 +7,100,46 +7,101,48 +7,102,37 +7,103,43 +7,104,39 +7,105,33 +7,106,32 +7,107,38 +7,108,24 +7,131,6 +7,133,5 +7,134,8 +7,135,4 +7,109,30 +7,110,25 +7,111,31 +7,112,23 +7,113,23 +7,114,31 +7,115,24 +7,116,13 +7,117,4 +7,118,8 +7,119,13 +7,120,4 +7,121,3 +7,122,6 +7,123,8 +7,124,7 +7,125,4 +7,126,7 +7,127,2 +7,128,4 +7,129,2 +7,130,10 +7,132,4 +6,1,34372757 +6,2,16958321 +6,13,110092 +6,15,71386 +6,17,47873 +6,19,33414 +6,21,22312 +6,23,17194 +6,14,87087 +6,12,150808 +6,6,1808544 +6,5,3564306 +6,3,13528527 +6,20,24098 +6,25,13395 +6,11,209536 +6,10,264769 +6,8,632552 +6,9,409410 +6,7,1037604 +6,4,6663698 +6,16,55284 +6,27,12096 +6,35,5718 +6,36,5246 +6,18,35929 +6,22,19599 +6,24,15209 +6,26,11527 +6,28,9723 +6,30,7789 +6,32,6873 +6,34,6194 +6,37,4445 +6,39,4357 +6,42,3382 +6,44,1980 +6,46,2003 +6,29,9310 +6,31,6960 +6,40,4179 +6,33,7531 +6,38,3797 +6,41,2999 +6,43,2321 +6,45,2420 +6,47,2052 +6,48,1538 +6,49,1359 +6,50,1245 +6,51,1320 +6,52,871 +6,53,759 +6,55,1076 +6,57,637 +6,59,354 +6,61,346 +6,54,743 +6,56,663 +6,58,446 +6,60,398 +6,62,299 +6,64,339 +6,66,152 +6,68,102 +6,69,227 +6,71,102 +6,63,368 +6,65,234 +6,67,177 +6,72,104 +6,73,90 +6,75,79 +6,70,200 +6,74,91 +6,85,36 +6,86,44 +6,89,40 +6,93,35 +6,94,24 +6,108,13 +6,76,63 +6,77,76 +6,79,58 +6,81,51 +6,83,55 +6,87,41 +6,88,26 +6,90,43 +6,78,55 +6,80,63 +6,82,45 +6,84,40 +6,91,20 +6,95,24 +6,96,18 +6,92,18 +6,98,13 +6,99,17 +6,97,21 +6,100,13 +6,101,10 +6,102,21 +6,103,10 +6,104,13 +6,105,10 +6,106,8 +6,107,8 +6,109,4 +6,110,9 +6,111,6 +6,112,6 +6,113,7 +6,114,5 +6,115,10 +6,116,4 +6,117,6 +6,118,4 +6,119,6 +6,120,3 +6,121,6 +6,122,4 +6,123,4 +6,124,2 +6,125,4 +6,126,2 +6,127,4 +6,128,2 +6,129,4 +6,130,6 +6,131,4 +6,132,3 +6,133,57 +6,134,25 +4,1,34716355 +4,3,11536270 +4,8,496274 +4,12,105324 +4,22,6614 +4,21,8301 +4,15,38702 +4,10,216323 +4,2,15900914 +4,4,5657254 +4,11,158119 +4,14,54392 +4,23,4552 +4,19,12622 +4,5,2957700 +4,6,1447016 +4,7,844529 +4,9,327706 +4,35,857 +4,36,770 +4,16,27767 +4,17,24295 +4,18,16578 +4,24,5282 +4,20,8847 +4,29,2091 +4,30,1677 +4,31,1362 +4,32,1159 +4,25,3179 +4,26,3260 +4,27,4728 +4,28,2437 +4,33,1123 +4,34,1075 +4,37,1219 +4,38,1144 +4,39,757 +4,13,72009 +4,41,559 +4,43,649 +4,44,385 +4,49,164 +4,42,483 +4,47,321 +4,40,1331 +4,46,286 +4,48,211 +4,50,156 +4,51,171 +4,67,18 +4,45,503 +4,74,4 +4,53,119 +4,56,139 +4,58,56 +4,52,100 +4,62,52 +4,61,64 +4,54,74 +4,55,123 +4,59,65 +4,64,30 +4,66,20 +4,57,68 +4,72,14 +4,68,14 +4,70,14 +4,76,2 +4,63,40 +4,90,8 +4,94,4 +4,60,50 +4,71,10 +4,73,4 +4,69,8 +4,89,4 +4,77,6 +4,78,4 +4,100,4 +4,108,2 +4,65,24 +4,92,2 +4,87,2 +4,104,2 +4,75,6 +4,84,2 +4,79,3 +4,81,2 +4,107,4 +4,115,2 +4,105,2 +4,114,2 +4,86,4 +4,88,2 +4,93,2 +4,101,2 +4,83,2 +5,1,1699191 +5,2,1003543 +5,3,841602 +5,13,10184 +5,4,418800 +5,5,265154 +5,6,149927 +5,7,105835 +5,8,66799 +5,9,47862 +5,25,1625 +5,29,788 +5,35,542 +5,10,28143 +5,11,16677 +5,16,5119 +5,12,13920 +5,14,8440 +5,19,3222 +5,20,2880 +5,30,746 +5,34,592 +5,37,317 +5,39,2200 +5,48,110 +5,15,6157 +5,17,4352 +5,18,3544 +5,23,1910 +5,24,1880 +5,27,1194 +5,21,2667 +5,22,2398 +5,26,1556 +5,28,926 +5,32,718 +5,40,890 +5,54,43 +5,56,55 +5,31,985 +5,33,632 +5,47,114 +5,36,569 +5,42,437 +5,51,77 +5,60,36 +5,41,268 +5,45,343 +5,38,371 +5,43,272 +5,62,20 +5,53,51 +5,52,56 +5,44,163 +5,59,30 +5,49,112 +5,46,187 +5,55,49 +5,61,32 +5,83,4 +5,50,81 +5,67,14 +5,64,20 +5,57,26 +5,63,14 +5,92,2 +5,58,36 +5,79,3 +5,85,2 +5,65,11 +5,66,11 +5,72,7 +5,68,5 +5,69,2 +5,70,5 +5,71,3 +5,75,7 +5,98,1 +5,99,1 +5,101,2 +5,96,2 +5,131,2 +5,78,4 +5,89,2 +5,86,2 +5,73,2 +5,81,6 +5,77,4 +5,120,2 +5,87,2 +5,90,2 +5,76,2 +5,102,2 +8,1,19917718 +8,2,9609279 +8,12,62962 +8,3,7011247 +8,4,3474321 +8,5,1843325 +8,6,928290 +8,7,538650 +8,8,313389 +8,9,206621 +8,10,123750 +8,11,90434 +8,20,4160 +8,22,4115 +8,13,41667 +8,14,33404 +8,17,14387 +8,24,2882 +8,15,26033 +8,16,17338 +8,18,9219 +8,19,8339 +8,21,4699 +8,23,3642 +8,25,1849 +8,26,1722 +8,27,3291 +8,28,1737 +8,29,1714 +8,40,1229 +8,45,820 +8,50,300 +8,33,1284 +8,37,1206 +8,30,1058 +8,35,977 +8,34,1044 +8,31,820 +8,42,824 +8,43,260 +8,44,186 +8,32,1126 +8,46,368 +8,47,324 +8,48,266 +8,53,40 +8,39,1116 +8,36,1252 +8,38,844 +8,49,200 +8,51,512 +8,52,58 +8,41,416 +8,54,56 +8,57,132 +8,58,18 +8,59,18 +8,61,10 +8,68,6 +8,72,4 +8,73,6 +8,56,138 +8,63,40 +8,71,6 +8,55,306 +8,67,2 +8,66,4 +8,70,8 +8,78,4 +8,82,8 +8,64,150 +8,65,12 +8,62,2 +8,60,2 +-1,1,11667 +-1,2,4294 +-1,3,2372 +-1,4,1583 +-1,5,803 +-1,7,304 +-1,13,31 +-1,6,540 +-1,8,202 +-1,9,142 +-1,10,74 +-1,11,58 +-1,12,36 +-1,15,19 +-1,16,13 +-1,17,9 +-1,14,8 +-1,19,2 +-1,20,2 +-1,31,1 +-1,37,2 diff --git a/figure_7/c_figure7c.csv b/figure_7/c_figure7c.csv new file mode 100644 index 00000000..d48b3f42 --- /dev/null +++ b/figure_7/c_figure7c.csv @@ -0,0 +1,638 @@ +term,n_exec,count +8,1,44009417 +8,2,16106999 +8,3,9135592 +8,4,3843850 +8,7,465960 +8,8,252315 +8,6,892274 +8,10,93136 +8,11,59837 +8,15,17958 +8,14,22401 +8,16,14633 +8,18,9211 +8,17,11098 +8,19,7552 +8,21,6374 +8,9,145067 +8,12,41566 +8,13,30891 +8,5,1811792 +8,20,6878 +8,22,5144 +8,23,4370 +8,24,4954 +8,25,3434 +8,26,2885 +8,27,2843 +8,29,1658 +8,31,1378 +8,32,1078 +8,36,428 +8,64,9 +8,65,8 +8,28,2183 +8,33,866 +8,30,1398 +8,34,664 +8,35,615 +8,38,298 +8,39,312 +8,40,314 +8,41,206 +8,42,201 +8,46,118 +8,47,86 +8,44,124 +8,45,118 +8,53,62 +8,54,38 +8,37,420 +8,50,93 +8,51,64 +8,48,124 +8,59,36 +8,43,189 +8,61,29 +8,67,10 +8,68,10 +8,56,50 +8,57,22 +8,55,24 +8,70,10 +8,86,6 +8,87,4 +8,78,6 +8,81,6 +8,105,6 +8,106,4 +8,52,43 +8,88,4 +8,73,4 +8,60,22 +8,69,8 +8,75,8 +8,76,10 +8,89,2 +8,49,88 +8,71,6 +8,63,10 +8,62,20 +8,58,22 +8,74,4 +8,84,6 +8,85,6 +8,93,2 +8,95,2 +8,96,4 +8,97,6 +8,79,6 +8,101,2 +8,102,4 +8,103,4 +8,77,4 +8,104,4 +8,66,2 +8,98,2 +8,83,2 +8,119,2 +8,120,2 +8,90,4 +8,91,4 +8,82,2 +8,80,2 +8,109,2 +8,110,2 +5,1,14114250 +5,2,8261404 +5,3,5727828 +5,4,3354154 +5,7,777159 +5,6,1219523 +5,5,1996951 +5,9,370257 +5,8,515047 +5,11,238522 +5,10,288622 +5,12,209238 +5,13,184210 +5,14,153876 +5,15,134827 +5,17,110198 +5,16,126152 +5,19,81305 +5,20,85884 +5,21,82310 +5,18,90089 +5,32,15472 +5,35,7932 +5,40,1740 +5,22,79811 +5,23,74435 +5,29,24714 +5,30,21725 +5,31,19575 +5,24,63451 +5,25,53783 +5,26,46161 +5,27,39794 +5,28,30845 +5,33,13082 +5,34,9947 +5,36,5295 +5,37,4072 +5,38,2430 +5,42,1274 +5,43,925 +5,44,635 +5,56,50 +5,41,1445 +5,47,341 +5,39,2265 +5,45,414 +5,57,30 +5,59,27 +5,53,100 +5,60,43 +5,52,82 +5,50,105 +5,46,370 +5,48,246 +5,49,178 +5,51,74 +5,63,18 +5,65,14 +5,70,32 +5,92,3 +5,96,6 +5,105,2 +5,107,5 +5,108,2 +5,120,9 +5,124,1 +5,54,100 +5,62,24 +5,71,24 +5,74,9 +5,84,9 +5,112,1 +5,67,17 +5,76,9 +5,80,16 +5,109,3 +5,55,50 +5,82,9 +5,83,12 +5,99,11 +5,102,4 +5,110,2 +5,66,26 +5,61,42 +5,68,22 +5,64,23 +5,75,13 +5,78,14 +5,58,52 +5,72,5 +5,94,5 +5,95,2 +5,88,4 +5,98,1 +5,101,4 +5,89,5 +5,79,8 +5,85,7 +5,73,10 +5,138,2 +5,142,2 +5,86,4 +5,87,4 +5,69,6 +5,77,5 +5,100,4 +5,103,2 +5,115,8 +5,125,2 +5,127,2 +5,97,4 +5,131,3 +5,132,9 +5,81,2 +5,90,1 +5,104,2 +7,1,1564108583 +7,2,604609110 +7,3,348073160 +7,4,149152469 +7,5,72952597 +7,6,36878605 +7,7,20211608 +7,8,11608778 +7,9,7123697 +7,10,4691622 +7,11,3159148 +7,12,2236312 +7,13,1637261 +7,14,1236381 +7,15,970293 +7,16,793664 +7,17,600783 +7,18,491370 +7,19,389308 +7,20,372491 +7,21,322965 +7,22,292411 +7,23,258985 +7,24,312335 +7,25,200725 +7,27,151287 +7,28,124994 +7,29,101393 +7,30,85422 +7,31,86936 +7,32,73943 +7,33,52324 +7,34,43632 +7,36,24289 +7,37,19053 +7,38,15865 +7,39,12750 +7,40,10792 +7,41,9603 +7,26,173680 +7,35,33042 +7,42,7919 +7,43,6437 +7,44,4995 +7,45,4250 +7,46,3564 +7,47,3482 +7,48,2800 +7,49,2272 +7,50,2118 +7,51,1556 +7,52,1333 +7,53,1256 +7,54,1010 +7,55,932 +7,56,869 +7,57,802 +7,58,676 +7,59,638 +7,60,604 +7,61,545 +7,62,532 +7,63,436 +7,64,367 +7,65,325 +7,66,358 +7,67,309 +7,68,318 +7,69,289 +7,70,277 +7,71,259 +7,72,246 +7,73,246 +7,74,229 +7,75,263 +7,76,237 +7,77,247 +7,78,235 +7,79,231 +7,80,172 +7,81,193 +7,82,177 +7,83,161 +7,84,150 +7,85,142 +7,86,118 +7,88,126 +7,89,127 +7,90,136 +7,91,121 +7,92,128 +7,93,103 +7,94,115 +7,95,105 +7,96,134 +7,97,89 +7,98,75 +7,99,67 +7,100,70 +7,101,71 +7,102,58 +7,103,67 +7,104,43 +7,105,46 +7,106,48 +7,107,49 +7,109,35 +7,110,51 +7,111,44 +7,112,37 +7,113,39 +7,114,40 +7,115,26 +7,116,22 +7,117,46 +7,118,29 +7,119,45 +7,120,36 +7,121,26 +7,122,22 +7,123,21 +7,124,12 +7,125,13 +7,87,137 +7,108,35 +7,126,10 +7,127,8 +7,128,4 +7,129,11 +7,130,61 +7,131,156 +7,132,8 +7,133,4 +7,134,2 +7,135,4 +7,136,2 +7,137,4 +7,138,4 +7,139,2 +7,140,4 +7,141,10 +7,143,4 +7,144,1 +4,2,28562907 +4,3,15056736 +4,4,6409875 +4,1,68308521 +4,7,971025 +4,8,593080 +4,5,3202215 +4,9,374264 +4,10,253453 +4,14,72259 +4,13,95466 +4,15,55351 +4,16,42270 +4,17,35280 +4,6,1683099 +4,12,126112 +4,11,176397 +4,18,28009 +4,36,836 +4,21,16308 +4,22,14306 +4,23,11141 +4,29,4037 +4,19,21811 +4,20,19998 +4,24,15296 +4,25,9647 +4,26,7324 +4,27,5561 +4,28,4382 +4,30,3205 +4,31,3925 +4,32,3026 +4,33,1971 +4,38,629 +4,39,536 +4,34,1549 +4,35,1193 +4,37,727 +4,40,431 +4,41,482 +4,42,381 +4,45,174 +4,44,252 +4,48,157 +4,50,111 +4,46,208 +4,47,181 +4,43,339 +4,55,61 +4,59,35 +4,60,9 +4,61,39 +4,53,60 +4,62,20 +4,49,140 +4,51,139 +4,52,84 +4,54,80 +4,63,22 +4,56,35 +4,76,8 +4,83,6 +4,71,8 +4,73,12 +4,96,1 +4,69,6 +4,57,40 +4,82,2 +4,84,2 +4,65,12 +4,72,10 +4,74,3 +4,68,13 +4,58,32 +4,94,4 +4,95,7 +4,97,4 +4,99,2 +4,104,2 +4,75,4 +4,77,3 +4,70,8 +4,87,2 +4,110,4 +4,66,14 +4,64,7 +4,90,1 +4,67,6 +4,79,2 +4,119,2 +4,80,2 +4,120,1 +4,113,2 +4,93,1 +6,2,38170311 +6,3,22807164 +6,1,99077642 +6,7,1927260 +6,19,61176 +6,4,10518690 +6,5,5569651 +6,8,1230208 +6,9,833263 +6,6,3166586 +6,10,587259 +6,11,422758 +6,12,313664 +6,13,236627 +6,17,90489 +6,14,180954 +6,15,143585 +6,16,114820 +6,18,72943 +6,20,54607 +6,21,48073 +6,25,29492 +6,26,25502 +6,31,13030 +6,33,9855 +6,35,6957 +6,37,4616 +6,39,3265 +6,40,2875 +6,41,2479 +6,23,37604 +6,22,42837 +6,24,36056 +6,27,22753 +6,28,18864 +6,29,16429 +6,30,14254 +6,32,12022 +6,34,8485 +6,36,5715 +6,38,3657 +6,42,2192 +6,44,1470 +6,45,1353 +6,47,1168 +6,51,619 +6,57,285 +6,62,165 +6,63,156 +6,68,116 +6,75,61 +6,43,1847 +6,46,1483 +6,49,830 +6,48,1085 +6,52,489 +6,55,355 +6,56,303 +6,58,237 +6,60,200 +6,53,626 +6,59,223 +6,61,218 +6,54,461 +6,50,694 +6,64,122 +6,66,129 +6,67,109 +6,72,77 +6,73,52 +6,77,69 +6,80,44 +6,82,38 +6,84,47 +6,87,24 +6,88,43 +6,89,24 +6,91,35 +6,94,24 +6,97,20 +6,99,17 +6,102,19 +6,104,24 +6,106,14 +6,108,20 +6,110,17 +6,112,14 +6,113,12 +6,114,12 +6,116,4 +6,117,6 +6,120,12 +6,121,2 +6,122,7 +6,123,4 +6,124,8 +6,125,3 +6,65,114 +6,69,88 +6,70,76 +6,71,75 +6,79,55 +6,81,59 +6,83,44 +6,85,33 +6,92,32 +6,93,32 +6,96,23 +6,98,20 +6,100,26 +6,111,9 +6,115,10 +6,74,64 +6,78,49 +6,95,40 +6,101,15 +6,76,57 +6,86,36 +6,90,26 +6,105,3 +6,107,9 +6,109,12 +6,118,8 +6,126,6 +6,128,7 +6,103,3 +6,127,2 +6,130,2 +6,131,5 +6,132,2 +6,134,2 +6,136,2 +6,138,2 +6,139,2 +6,142,2 +6,144,2 +-1,3,15658 +-1,5,5344 +-1,4,9074 +-1,2,23321 +-1,1,36228 +-1,7,1738 +-1,8,997 +-1,9,1079 +-1,10,492 +-1,12,202 +-1,6,3026 +-1,11,303 +-1,14,347 +-1,16,154 +-1,17,92 +-1,13,246 +-1,19,67 +-1,15,173 +-1,18,80 +-1,23,64 +-1,25,38 +-1,26,19 +-1,27,23 +-1,28,14 +-1,38,8 +-1,22,110 +-1,20,62 +-1,21,64 +-1,24,163 +-1,32,25 +-1,34,14 +-1,35,16 +-1,29,19 +-1,30,16 +-1,31,24 +-1,33,13 +-1,42,3 +-1,56,4 +-1,36,7 +-1,37,2 +-1,41,1 diff --git a/figure_7/d_figure7c.csv b/figure_7/d_figure7c.csv new file mode 100644 index 00000000..e5f8b90c --- /dev/null +++ b/figure_7/d_figure7c.csv @@ -0,0 +1,845 @@ +term,n_exec,count +6,1,75658122 +6,2,34194275 +6,3,19433676 +6,4,9439869 +6,5,4906812 +6,15,83560 +6,18,62292 +6,31,74443 +6,25,95585 +6,24,108966 +6,14,89355 +6,13,118008 +6,8,788508 +6,7,1376848 +6,6,2445536 +6,11,218260 +6,12,152704 +6,9,492587 +6,16,77499 +6,23,103567 +6,26,97402 +6,27,86726 +6,32,61270 +6,34,50232 +6,35,44396 +6,10,314828 +6,20,75755 +6,21,78726 +6,22,107419 +6,29,82237 +6,28,86152 +6,17,63416 +6,19,61315 +6,30,74349 +6,33,67443 +6,36,42722 +6,37,39872 +6,38,33931 +6,39,32186 +6,40,29018 +6,41,37945 +6,42,40596 +6,43,35036 +6,44,46545 +6,45,43004 +6,46,43436 +6,47,38904 +6,48,39469 +6,49,30411 +6,50,35398 +6,52,29603 +6,54,21374 +6,56,29967 +6,51,26402 +6,57,25365 +6,59,17567 +6,61,13876 +6,62,18196 +6,53,24498 +6,55,25133 +6,58,21924 +6,60,15550 +6,63,17968 +6,65,14854 +6,66,11772 +6,68,10289 +6,70,10252 +6,72,8237 +6,73,8005 +6,74,8546 +6,76,7866 +6,77,7217 +6,78,7079 +6,79,7017 +6,81,7474 +6,67,10745 +6,69,12490 +6,71,9471 +6,82,7138 +6,83,7200 +6,85,11677 +6,87,10206 +6,89,6664 +6,90,7326 +6,91,7337 +6,92,8330 +6,93,4025 +6,96,2509 +6,98,2028 +6,64,16492 +6,75,9348 +6,80,6157 +6,84,8256 +6,86,9333 +6,88,7513 +6,94,4490 +6,95,3910 +6,97,2323 +6,99,1962 +6,100,1687 +6,101,1482 +6,102,1798 +6,103,1816 +6,104,1558 +6,105,1787 +6,106,2133 +6,107,2109 +6,108,1973 +6,109,1799 +6,110,2253 +6,111,1869 +6,112,1482 +6,113,1252 +6,114,1195 +6,115,904 +6,116,774 +6,117,822 +6,118,952 +6,119,886 +6,120,804 +6,121,781 +6,122,1057 +6,123,977 +6,124,725 +6,125,555 +6,126,716 +6,127,1012 +6,128,1558 +6,129,2688 +6,130,3176 +6,131,4005 +6,132,2858 +6,133,2728 +6,134,1311 +6,135,972 +6,136,827 +6,137,221 +6,138,102 +6,139,117 +6,140,79 +6,141,106 +6,142,292 +6,143,129 +6,144,315 +6,145,212 +6,146,170 +6,147,108 +6,148,81 +6,149,50 +6,150,28 +6,151,56 +6,152,85 +6,153,34 +6,154,36 +6,155,47 +6,156,75 +6,157,45 +6,158,6 +6,159,32 +6,160,21 +6,161,12 +6,162,26 +6,163,16 +6,164,32 +6,165,37 +6,166,84 +6,167,62 +6,168,48 +6,169,24 +6,170,24 +6,171,14 +6,172,37 +6,173,10 +6,174,54 +6,175,76 +6,176,54 +6,177,127 +6,178,154 +6,179,138 +6,180,141 +6,181,20 +6,182,9 +6,183,70 +6,184,32 +6,185,41 +6,186,2 +6,187,2 +6,189,10 +6,190,6 +6,192,2 +6,193,10 +6,194,6 +4,1,51947029 +4,2,21377693 +4,3,11170383 +4,4,5236226 +4,5,2705901 +4,6,1391199 +4,7,825748 +4,9,313432 +4,8,492859 +4,32,17712 +4,11,128809 +4,17,22288 +4,19,19902 +4,26,32090 +4,31,21430 +4,10,198765 +4,14,47710 +4,18,19893 +4,12,88222 +4,13,62928 +4,24,31707 +4,28,26456 +4,29,25950 +4,15,36927 +4,16,29665 +4,20,28620 +4,21,22855 +4,22,28040 +4,23,31587 +4,25,29494 +4,27,30315 +4,33,16921 +4,37,11449 +4,38,10780 +4,39,11923 +4,45,11086 +4,30,24501 +4,34,12530 +4,36,10453 +4,41,10487 +4,47,12836 +4,35,10497 +4,40,10029 +4,42,12236 +4,46,13265 +4,44,11905 +4,43,10198 +4,48,12121 +4,49,10901 +4,50,11592 +4,51,8881 +4,52,10938 +4,53,9459 +4,54,8399 +4,55,8944 +4,56,9472 +4,57,8128 +4,58,8262 +4,59,6180 +4,60,5918 +4,61,5421 +4,62,6590 +4,63,6418 +4,64,6953 +4,65,6503 +4,66,4829 +4,67,4560 +4,68,4243 +4,69,4804 +4,70,3720 +4,71,3820 +4,72,3870 +4,73,3670 +4,74,3940 +4,75,4127 +4,76,4116 +4,77,3472 +4,78,2893 +4,79,2844 +4,80,2924 +4,81,2906 +4,82,2733 +4,83,3193 +4,84,2867 +4,85,2842 +4,86,3152 +4,87,3514 +4,88,2654 +4,89,2465 +4,90,2556 +4,91,2402 +4,92,2818 +4,93,1624 +4,94,1687 +4,95,1771 +4,96,1509 +4,97,1544 +4,98,1394 +4,99,1403 +4,100,1277 +4,101,1046 +4,102,1237 +4,103,1324 +4,104,1004 +4,105,1015 +4,106,1089 +4,107,1175 +4,108,1092 +4,109,994 +4,110,935 +4,111,783 +4,112,780 +4,113,672 +4,114,556 +4,115,336 +4,116,302 +4,117,348 +4,118,301 +4,119,268 +4,120,223 +4,121,249 +4,122,254 +4,123,204 +4,124,177 +4,125,145 +4,126,198 +4,127,198 +4,128,219 +4,129,330 +4,130,392 +4,131,591 +4,132,349 +4,133,348 +4,134,194 +4,135,127 +4,136,81 +4,137,36 +4,138,42 +4,139,27 +4,140,15 +4,141,29 +4,142,42 +4,143,35 +4,144,44 +4,145,20 +4,146,18 +4,147,7 +4,148,13 +4,149,8 +4,150,12 +4,151,32 +4,152,22 +4,153,21 +4,154,18 +4,155,13 +4,156,25 +4,157,4 +4,158,3 +4,159,2 +4,160,4 +4,166,9 +4,167,3 +4,168,8 +4,170,3 +4,171,2 +4,172,1 +4,174,2 +4,175,2 +4,176,6 +4,177,7 +4,178,15 +4,179,6 +4,180,6 +4,181,6 +4,183,1 +4,185,2 +4,186,1 +4,190,2 +7,1,948025516 +7,2,381953065 +7,3,218813326 +7,4,100404082 +7,5,52510091 +7,6,24852531 +7,7,13794641 +7,8,7475980 +7,9,4483505 +7,10,2772419 +7,11,1787625 +7,12,1176841 +7,13,829848 +7,14,628295 +7,16,461124 +7,17,351629 +7,19,272606 +7,21,273903 +7,22,325006 +7,23,339658 +7,24,328158 +7,25,281258 +7,26,300365 +7,27,279761 +7,28,259420 +7,29,268528 +7,30,260951 +7,32,193468 +7,33,216017 +7,34,161903 +7,35,141792 +7,36,132106 +7,37,116057 +7,31,234578 +7,20,305742 +7,18,304100 +7,15,518093 +7,38,108830 +7,39,93861 +7,40,96276 +7,41,113624 +7,42,130227 +7,43,110852 +7,44,147632 +7,45,121147 +7,46,118896 +7,47,109873 +7,48,101782 +7,49,87107 +7,50,100767 +7,51,76845 +7,52,82108 +7,53,69862 +7,54,64833 +7,55,68120 +7,56,91587 +7,57,83425 +7,58,70040 +7,59,62905 +7,60,40792 +7,61,36021 +7,62,48334 +7,63,53154 +7,64,46144 +7,65,46843 +7,66,35202 +7,67,32741 +7,68,30506 +7,69,31079 +7,70,27081 +7,71,26342 +7,72,25596 +7,73,24206 +7,74,22619 +7,75,23859 +7,76,23766 +7,77,18995 +7,78,18472 +7,79,16916 +7,80,17176 +7,81,18138 +7,82,16710 +7,84,17940 +7,85,23873 +7,86,21878 +7,88,19790 +7,89,15348 +7,90,18099 +7,91,20387 +7,92,19266 +7,94,10965 +7,95,10267 +7,96,6660 +7,97,6073 +7,99,5280 +7,83,18595 +7,87,23837 +7,93,10160 +7,98,6161 +7,100,4611 +7,101,4086 +7,102,4526 +7,103,4629 +7,104,4285 +7,105,5190 +7,106,5841 +7,107,5641 +7,108,6430 +7,109,4918 +7,110,5024 +7,111,3557 +7,112,2536 +7,113,2083 +7,114,2609 +7,115,2188 +7,116,1853 +7,117,1384 +7,118,1368 +7,119,1459 +7,120,1185 +7,121,1854 +7,122,2210 +7,123,2488 +7,124,1482 +7,125,1439 +7,126,1990 +7,127,2436 +7,128,2837 +7,129,4657 +7,130,5125 +7,131,7640 +7,132,5664 +7,133,6312 +7,134,3840 +7,135,2363 +7,136,3223 +7,137,1047 +7,138,591 +7,139,490 +7,140,402 +7,141,549 +7,142,669 +7,143,480 +7,144,979 +7,145,764 +7,146,675 +7,147,532 +7,148,376 +7,149,271 +7,150,166 +7,151,107 +7,152,182 +7,153,89 +7,154,116 +7,155,104 +7,156,168 +7,157,146 +7,158,70 +7,159,169 +7,160,196 +7,161,88 +7,162,37 +7,163,101 +7,164,180 +7,165,276 +7,166,452 +7,167,390 +7,168,279 +7,169,168 +7,170,149 +7,171,113 +7,172,162 +7,173,133 +7,174,210 +7,175,289 +7,176,207 +7,177,179 +7,178,309 +7,179,318 +7,180,354 +7,181,90 +7,182,67 +7,183,240 +7,184,235 +7,185,182 +7,186,57 +7,187,50 +7,188,28 +7,189,40 +7,190,32 +7,191,5 +7,192,20 +7,193,42 +7,194,36 +7,195,48 +5,1,5522067 +5,3,2156695 +5,2,3133758 +5,4,1156927 +5,5,721938 +5,20,16205 +5,15,42071 +5,6,466519 +5,13,59811 +5,9,162384 +5,8,237703 +5,7,354147 +5,28,3452 +5,17,27067 +5,19,20641 +5,10,122386 +5,11,94530 +5,12,71853 +5,14,48873 +5,16,33542 +5,18,18043 +5,21,10069 +5,22,9348 +5,23,6295 +5,24,5916 +5,25,5735 +5,26,5196 +5,27,3887 +5,29,2372 +5,35,940 +5,37,878 +5,45,443 +5,30,2187 +5,31,2062 +5,32,1855 +5,33,1900 +5,34,1367 +5,38,833 +5,42,1038 +5,52,194 +5,55,195 +5,61,123 +5,40,809 +5,43,734 +5,46,522 +5,48,358 +5,39,1083 +5,57,231 +5,65,124 +5,66,81 +5,67,124 +5,77,59 +5,36,750 +5,41,851 +5,44,719 +5,58,141 +5,62,160 +5,63,169 +5,64,115 +5,68,94 +5,75,97 +5,93,39 +5,47,369 +5,49,275 +5,50,226 +5,51,243 +5,53,207 +5,54,193 +5,56,188 +5,59,145 +5,60,148 +5,69,136 +5,70,97 +5,71,87 +5,72,95 +5,73,95 +5,74,80 +5,76,70 +5,78,62 +5,79,64 +5,80,34 +5,81,36 +5,82,44 +5,83,53 +5,84,39 +5,85,56 +5,86,45 +5,87,55 +5,88,44 +5,89,28 +5,90,27 +5,91,73 +5,92,31 +5,94,19 +5,95,32 +5,96,62 +5,97,20 +5,98,33 +5,99,10 +5,100,78 +5,101,10 +5,102,15 +5,103,147 +5,104,11 +5,105,9 +5,106,11 +5,107,11 +5,108,12 +5,109,10 +5,110,10 +5,111,7 +5,112,9 +5,113,7 +5,114,9 +5,115,8 +5,116,18 +5,117,15 +5,118,17 +5,119,11 +5,120,8 +5,121,7 +5,122,11 +5,123,11 +5,124,13 +5,125,16 +5,126,13 +5,127,32 +5,128,24 +5,129,20 +5,130,23 +5,131,38 +5,132,51 +5,133,25 +5,134,26 +5,135,29 +5,136,18 +5,138,1 +5,140,2 +5,141,1 +5,142,5 +5,143,3 +5,144,4 +5,145,8 +5,146,1 +5,147,5 +5,148,5 +5,150,1 +5,151,1 +5,155,2 +8,1,3602211 +8,3,909204 +8,2,1546177 +8,6,103773 +8,7,58146 +8,4,413012 +8,5,221362 +8,8,34175 +8,34,414 +8,35,426 +8,36,343 +8,37,401 +8,23,1036 +8,10,12488 +8,11,8089 +8,24,952 +8,25,857 +8,26,1133 +8,21,1415 +8,9,20503 +8,12,6226 +8,13,4829 +8,14,3402 +8,15,2857 +8,16,2939 +8,17,2064 +8,18,2042 +8,19,1553 +8,38,340 +8,40,310 +8,41,224 +8,42,204 +8,43,191 +8,47,115 +8,48,111 +8,22,1186 +8,27,963 +8,28,608 +8,29,546 +8,31,540 +8,32,532 +8,33,546 +8,30,551 +8,39,278 +8,45,130 +8,46,146 +8,20,1640 +8,44,190 +8,56,54 +8,57,50 +8,49,108 +8,50,76 +8,51,60 +8,52,84 +8,53,60 +8,54,62 +8,55,46 +8,58,48 +8,59,50 +8,60,70 +8,61,46 +8,62,28 +8,63,58 +8,64,34 +8,65,24 +8,66,20 +8,67,18 +8,68,8 +8,69,14 +8,70,14 +8,71,40 +8,72,34 +8,73,16 +8,74,10 +8,75,18 +8,76,8 +8,77,8 +8,78,2 +8,79,6 +8,80,16 +8,81,8 +8,82,14 +8,83,28 +8,84,24 +8,85,8 +8,86,12 +8,87,14 +8,88,10 +8,89,12 +8,90,24 +8,91,14 +8,92,6 +8,93,22 +8,94,26 +8,95,32 +8,96,34 +8,97,36 +8,98,54 +8,99,38 +8,100,36 +8,101,12 +8,102,14 +8,103,12 +8,104,16 +8,105,8 +8,106,30 +8,107,8 +8,108,8 +-1,1,21588 +-1,3,3840 +-1,4,1871 +-1,5,1194 +-1,2,6761 +-1,7,476 +-1,8,420 +-1,9,341 +-1,20,18 +-1,6,706 +-1,14,49 +-1,15,38 +-1,16,28 +-1,10,175 +-1,11,148 +-1,12,119 +-1,13,58 +-1,17,17 +-1,18,4 +-1,24,1 +-1,19,8 +-1,21,4 diff --git a/figure_7/e_figure7c.csv b/figure_7/e_figure7c.csv new file mode 100644 index 00000000..c492290c --- /dev/null +++ b/figure_7/e_figure7c.csv @@ -0,0 +1,425 @@ +term,n_exec,count +4,1,13045761 +4,2,4865481 +4,3,2141055 +4,4,978852 +4,5,369980 +4,6,152837 +4,7,69300 +4,8,38578 +4,9,26346 +4,10,19586 +4,20,2814 +4,21,1892 +4,13,9822 +4,15,8083 +4,16,6775 +4,18,4835 +4,28,779 +4,14,9076 +4,11,15433 +4,12,11929 +4,36,257 +4,19,3585 +4,23,1498 +4,24,1195 +4,31,411 +4,32,378 +4,30,525 +4,34,295 +4,37,199 +4,44,35 +4,50,18 +4,52,6 +4,53,6 +4,17,5227 +4,26,876 +4,22,1759 +4,35,254 +4,25,1079 +4,33,330 +4,38,155 +4,42,58 +4,27,895 +4,29,657 +4,40,101 +4,43,42 +4,45,39 +4,49,14 +4,51,12 +4,47,16 +4,56,6 +4,54,9 +4,55,3 +4,39,96 +4,41,58 +4,46,34 +4,63,2 +4,48,14 +4,90,2 +4,58,4 +4,60,4 +4,118,2 +4,119,2 +4,121,2 +4,122,2 +4,124,2 +4,125,2 +4,129,2 +4,130,2 +4,57,1 +4,62,2 +7,1,802024719 +7,2,322728232 +7,3,170787938 +7,4,69118622 +7,5,23925623 +7,6,9312286 +7,7,3974299 +7,8,1951805 +7,9,1230888 +7,10,941202 +7,11,852080 +7,12,600391 +7,13,560343 +7,14,417931 +7,15,369759 +7,16,268495 +7,17,241932 +7,18,262217 +7,19,167101 +7,20,125886 +7,21,95511 +7,22,91948 +7,23,76087 +7,24,78751 +7,25,76294 +7,26,62192 +7,27,58361 +7,28,56782 +7,29,44330 +7,30,43563 +7,31,31498 +7,32,26808 +7,33,24288 +7,34,17125 +7,35,12546 +7,36,10023 +7,37,8175 +7,38,5867 +7,39,4673 +7,40,3797 +7,41,3157 +7,42,3451 +7,43,2752 +7,44,1981 +7,45,1525 +7,46,1293 +7,47,1093 +7,48,975 +7,49,842 +7,50,710 +7,51,634 +7,52,545 +7,53,446 +7,54,421 +7,55,363 +7,56,332 +7,57,288 +7,58,253 +7,59,236 +7,60,220 +7,61,178 +7,62,153 +7,63,140 +7,64,137 +7,65,106 +7,66,111 +7,67,118 +7,68,91 +7,69,104 +7,70,93 +7,71,78 +7,72,74 +7,73,62 +7,74,49 +7,75,53 +7,76,40 +7,77,48 +7,78,38 +7,79,38 +7,80,47 +7,81,42 +7,82,51 +7,83,51 +7,84,32 +7,85,50 +7,86,33 +7,87,30 +7,88,17 +7,89,26 +7,90,26 +7,91,34 +7,92,29 +7,93,33 +7,94,32 +7,95,26 +7,96,32 +7,97,25 +7,98,21 +7,99,14 +7,100,18 +7,101,16 +7,102,13 +7,103,24 +7,104,14 +7,105,10 +7,106,10 +7,107,12 +7,108,7 +7,109,7 +7,110,8 +7,111,3 +7,112,4 +7,113,2 +7,114,4 +7,115,3 +7,116,2 +7,117,6 +7,118,4 +7,119,2 +7,121,2 +7,122,2 +7,123,2 +7,124,4 +7,125,4 +7,126,4 +7,127,5 +7,128,2 +7,129,2 +7,130,1 +7,131,1 +6,1,17045726 +6,10,36322 +6,12,26663 +6,5,536423 +6,3,3692258 +6,2,7243398 +6,4,1470918 +6,6,229357 +6,8,68380 +6,7,115216 +6,13,23551 +6,14,18832 +6,15,16882 +6,16,13996 +6,17,13051 +6,19,10133 +6,21,7024 +6,11,40893 +6,20,7970 +6,24,5567 +6,9,47689 +6,25,4832 +6,34,2093 +6,35,1630 +6,36,1458 +6,18,13211 +6,28,3454 +6,30,2562 +6,31,2085 +6,32,1773 +6,33,2745 +6,23,5576 +6,22,6324 +6,26,4195 +6,29,2995 +6,27,3864 +6,38,961 +6,40,689 +6,41,616 +6,42,580 +6,43,448 +6,44,357 +6,45,323 +6,47,262 +6,48,199 +6,49,189 +6,51,141 +6,52,121 +6,53,138 +6,55,91 +6,57,74 +6,59,72 +6,63,30 +6,65,28 +6,67,29 +6,69,24 +6,71,27 +6,73,17 +6,74,17 +6,75,14 +6,76,23 +6,37,1211 +6,39,787 +6,46,230 +6,60,49 +6,64,38 +6,50,167 +6,54,84 +6,56,82 +6,58,64 +6,61,54 +6,62,42 +6,66,23 +6,68,22 +6,70,23 +6,72,20 +6,77,37 +6,78,21 +6,79,18 +6,80,9 +6,81,10 +6,82,11 +6,83,10 +6,84,14 +6,85,7 +6,86,11 +6,88,11 +6,89,3 +6,90,9 +6,92,7 +6,94,6 +6,99,3 +6,91,4 +6,93,3 +6,109,4 +6,111,4 +6,97,4 +6,96,2 +6,100,4 +6,102,4 +6,87,3 +6,95,4 +6,101,2 +6,103,2 +6,105,2 +6,107,2 +6,113,2 +6,116,1 +6,120,4 +6,123,2 +6,126,2 +6,128,1 +6,131,2 +6,104,2 +6,106,2 +5,1,9277021 +5,2,3894064 +5,3,2164629 +5,4,866978 +5,5,371366 +5,8,81952 +5,7,111103 +5,6,163238 +5,16,20058 +5,17,15489 +5,9,69949 +5,10,61172 +5,12,44627 +5,11,53222 +5,13,38880 +5,14,33350 +5,19,10654 +5,20,7106 +5,21,4569 +5,22,3802 +5,23,1875 +5,28,1679 +5,29,1351 +5,32,1594 +5,37,318 +5,15,23967 +5,30,2260 +5,41,25 +5,26,1026 +5,24,1937 +5,27,779 +5,31,1656 +5,34,626 +5,35,518 +5,36,606 +5,38,265 +5,39,85 +5,40,31 +5,42,312 +5,43,214 +5,46,16 +5,18,10977 +5,44,70 +5,25,1664 +5,48,14 +5,47,13 +5,49,4 +5,50,15 +5,51,6 +5,53,12 +5,33,2319 +5,45,16 +5,61,4 +5,56,4 +5,59,1 +5,55,2 +5,54,2 +5,66,2 +5,58,4 +5,81,2 +5,85,2 +5,87,2 +5,60,4 +5,52,2 +5,57,2 +5,86,1 +8,2,341 +8,1,618 +8,3,207 +8,5,36 +8,9,16 +8,4,78 +8,20,2 +8,13,16 +8,17,10 +8,26,2 +8,25,4 +8,15,6 +8,24,2 +8,21,4 +8,16,8 +8,6,10 +8,11,10 +8,14,6 +8,18,6 +8,28,2 +8,12,4 +8,19,2 +8,7,13 +8,29,4 +8,8,4 +8,22,2 +8,10,2 +-1,1,7816 +-1,2,3669 +-1,8,46 +-1,5,319 +-1,6,124 +-1,3,1265 +-1,4,528 +-1,7,51 +-1,10,10 +-1,11,6 +-1,16,1 +-1,12,9 +-1,9,18 +-1,14,4 +-1,19,4 +-1,13,1