ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
Last change
on this file since 77f1265 was
060b12d,
checked in by Aaron Moss <a3moss@…>, 6 years ago
|
Add scatter plots describing instance difficulty
|
-
Property mode set to
100644
|
File size:
4.2 KB
|
Line | |
---|
1 | 2227,2,2,3,80,0,262 |
---|
2 | 2238,3,2,5,80,,71 |
---|
3 | 2253,2,1,2,81,,11 |
---|
4 | 2254,2,2,3,81,0,24 |
---|
5 | 2255,2,1,2,31,0,10 |
---|
6 | 2256,1,0,1,1,0,3 |
---|
7 | 2257,2,2,3,20,0,39 |
---|
8 | 2258,2,2,3,81,0,29 |
---|
9 | 2270,3,2,5,80,,58 |
---|
10 | 2285,2,1,2,81,,10 |
---|
11 | 2286,2,2,3,81,0,28 |
---|
12 | 2287,2,1,2,31,0,12 |
---|
13 | 2288,1,0,1,1,0,2 |
---|
14 | 2289,2,2,3,20,0,38 |
---|
15 | 2290,2,2,3,81,0,28 |
---|
16 | 2299,3,2,5,80,0,340 |
---|
17 | 2300,2,2,3,80,0,267 |
---|
18 | 2309,3,2,5,80,0,315 |
---|
19 | 2310,2,2,3,80,0,263 |
---|
20 | 2319,3,2,5,80,0,316 |
---|
21 | 2320,2,2,3,80,0,269 |
---|
22 | 2329,3,2,5,80,0,316 |
---|
23 | 2330,2,2,3,80,0,271 |
---|
24 | 2339,3,2,5,80,0,318 |
---|
25 | 2340,2,2,3,80,0,278 |
---|
26 | 2349,3,2,5,80,0,310 |
---|
27 | 2350,2,2,3,80,0,284 |
---|
28 | 2360,1,0,1,0,0,2 |
---|
29 | 2361,2,2,3,80,0,279 |
---|
30 | 2362,2,2,3,80,0,272 |
---|
31 | 2363,1,0,1,0,0,2 |
---|
32 | 2364,4,2,7,80,0,776 |
---|
33 | 2365,2,2,3,80,0,236 |
---|
34 | 2366,2,2,3,80,0,271 |
---|
35 | 2367,1,0,1,0,0,2 |
---|
36 | 2368,1,0,1,0,0,2 |
---|
37 | 2369,2,2,3,10,0,96 |
---|
38 | 2370,1,0,1,0,0,2 |
---|
39 | 2371,2,2,3,18,0,142 |
---|
40 | 2372,2,2,3,18,0,141 |
---|
41 | 2373,3,2,5,80,0,523 |
---|
42 | 2374,2,2,3,80,0,275 |
---|
43 | 2395,1,0,1,0,0,3 |
---|
44 | 2396,2,2,3,83,0,63 |
---|
45 | 2397,2,2,3,83,0,30 |
---|
46 | 2398,2,1,2,83,0,12 |
---|
47 | 2399,2,2,3,83,0,52 |
---|
48 | 2400,2,1,2,31,0,11 |
---|
49 | 2401,1,0,1,0,0,2 |
---|
50 | 2402,1,0,1,0,0,2 |
---|
51 | 2403,2,2,3,10,0,97 |
---|
52 | 2404,1,0,1,0,0,2 |
---|
53 | 2405,3,2,5,32,0,35 |
---|
54 | 2406,3,2,5,32,0,34 |
---|
55 | 2407,3,2,5,83,0,40 |
---|
56 | 2408,2,2,3,83,0,28 |
---|
57 | 2418,1,0,1,0,0,2 |
---|
58 | 2419,2,2,3,80,0,291 |
---|
59 | 2420,2,2,3,80,0,292 |
---|
60 | 2421,1,0,1,0,0,2 |
---|
61 | 2422,4,2,7,80,0,729 |
---|
62 | 2423,2,2,3,80,0,301 |
---|
63 | 2424,2,2,3,80,0,287 |
---|
64 | 2425,1,0,1,0,0,2 |
---|
65 | 2426,1,0,1,0,0,2 |
---|
66 | 2427,2,2,3,10,0,103 |
---|
67 | 2428,1,0,1,0,0,2 |
---|
68 | 2429,2,2,3,18,0,149 |
---|
69 | 2430,2,2,3,18,0,148 |
---|
70 | 2431,3,2,5,80,0,549 |
---|
71 | 2432,2,2,3,80,0,273 |
---|
72 | 2441,1,0,1,0,0,2 |
---|
73 | 2442,2,2,3,80,0,269 |
---|
74 | 2443,2,2,3,80,0,270 |
---|
75 | 2444,4,2,7,80,0,852 |
---|
76 | 2445,2,2,3,80,0,266 |
---|
77 | 2454,3,2,5,31,0,504 |
---|
78 | 2455,2,2,3,80,0,279 |
---|
79 | 2456,2,2,3,80,0,272 |
---|
80 | 2465,3,2,5,31,0,516 |
---|
81 | 2466,2,2,3,80,0,276 |
---|
82 | 2467,2,2,3,80,0,266 |
---|
83 | 2476,3,2,5,31,0,519 |
---|
84 | 2477,2,2,3,80,0,276 |
---|
85 | 2478,2,2,3,80,0,292 |
---|
86 | 2487,3,2,5,31,0,520 |
---|
87 | 2488,2,2,3,80,0,274 |
---|
88 | 2489,2,2,3,80,0,271 |
---|
89 | 2517,1,0,1,0,0,3 |
---|
90 | 2518,2,2,3,80,0,29 |
---|
91 | 2519,2,2,3,80,0,27 |
---|
92 | 2554,1,0,1,0,0,3 |
---|
93 | 2555,1,0,1,0,0,2 |
---|
94 | 2556,2,2,3,80,0,28 |
---|
95 | 2557,2,2,3,80,0,27 |
---|
96 | 2600,1,0,1,0,0,2 |
---|
97 | 2601,2,2,3,80,0,32 |
---|
98 | 2602,2,2,3,80,0,28 |
---|
99 | 2616,2,2,3,31,,3 |
---|
100 | 2623,2,2,3,31,,3 |
---|
101 | 2651,1,0,1,0,0,2 |
---|
102 | 2652,2,2,3,80,0,29 |
---|
103 | 2653,2,2,3,80,0,29 |
---|
104 | 2667,2,2,3,31,,3 |
---|
105 | 2674,2,2,3,31,,2 |
---|
106 | 2702,1,0,1,0,0,2 |
---|
107 | 2703,2,2,3,80,0,275 |
---|
108 | 2704,2,2,3,80,0,276 |
---|
109 | 2713,2,2,3,80,0,281 |
---|
110 | 2714,1,0,1,0,0,2 |
---|
111 | 2715,1,0,1,0,0,2 |
---|
112 | 2716,1,0,1,0,0,2 |
---|
113 | 2717,2,2,3,80,0,281 |
---|
114 | 2718,1,0,1,0,0,2 |
---|
115 | 2719,1,0,1,0,0,2 |
---|
116 | 2720,1,0,1,0,0,2 |
---|
117 | 2730,2,2,3,80,0,277 |
---|
118 | 2731,1,0,1,0,0,2 |
---|
119 | 2732,1,0,1,0,0,2 |
---|
120 | 2733,1,0,1,0,0,2 |
---|
121 | 2734,2,2,3,80,0,279 |
---|
122 | 2735,1,0,1,0,0,2 |
---|
123 | 2736,1,0,1,0,0,2 |
---|
124 | 2737,1,0,1,0,0,2 |
---|
125 | 2746,2,2,3,80,0,281 |
---|
126 | 2747,1,0,1,0,0,2 |
---|
127 | 2748,1,0,1,0,0,2 |
---|
128 | 2749,1,0,1,0,0,2 |
---|
129 | 2750,2,2,3,80,0,285 |
---|
130 | 2751,1,0,1,0,0,2 |
---|
131 | 2752,1,0,1,0,0,2 |
---|
132 | 2753,1,0,1,0,0,1 |
---|
133 | 2764,1,0,1,0,0,3 |
---|
134 | 2765,1,0,1,0,0,2 |
---|
135 | 2766,1,0,1,0,0,2 |
---|
136 | 2767,1,0,1,0,0,2 |
---|
137 | 2768,1,0,1,0,0,1 |
---|
138 | 2769,2,2,3,80,0,281 |
---|
139 | 2770,1,0,1,0,0,2 |
---|
140 | 2771,1,0,1,0,0,1 |
---|
141 | 2772,1,0,1,0,0,2 |
---|
142 | 2773,1,0,1,0,0,1 |
---|
143 | 2774,2,2,3,80,0,277 |
---|
144 | 2775,1,0,1,0,0,2 |
---|
145 | 2776,1,0,1,0,0,2 |
---|
146 | 2777,1,0,1,0,0,2 |
---|
147 | 2778,1,0,1,0,0,2 |
---|
148 | 2779,2,2,3,80,0,32 |
---|
149 | 2780,2,2,3,80,0,30 |
---|
150 | 2790,2,2,3,80,0,281 |
---|
151 | 2791,1,0,1,0,0,2 |
---|
152 | 2792,1,0,1,0,0,1 |
---|
153 | 2793,1,0,1,0,0,2 |
---|
154 | 2794,2,2,3,80,0,279 |
---|
155 | 2795,1,0,1,0,0,2 |
---|
156 | 2796,1,0,1,0,0,2 |
---|
157 | 2797,1,0,1,0,0,2 |
---|
158 | 2808,2,2,3,80,0,280 |
---|
159 | 2809,1,0,1,0,0,2 |
---|
160 | 2810,1,0,1,0,0,2 |
---|
161 | 2811,1,0,1,0,0,2 |
---|
162 | 2812,2,2,3,80,0,279 |
---|
163 | 2813,1,0,1,0,0,2 |
---|
164 | 2814,1,0,1,0,0,2 |
---|
165 | 2815,1,0,1,0,0,2 |
---|
166 | 2827,2,2,3,80,0,279 |
---|
167 | 2828,1,0,1,0,0,2 |
---|
168 | 2829,1,0,1,0,0,2 |
---|
169 | 2830,1,0,1,0,0,2 |
---|
170 | 2831,2,2,3,80,0,280 |
---|
171 | 2832,1,0,1,0,0,2 |
---|
172 | 2833,1,0,1,0,0,2 |
---|
173 | 2834,1,0,1,0,0,2 |
---|
174 | 2847,2,2,3,80,0,281 |
---|
175 | 2848,1,0,1,0,0,2 |
---|
176 | 2849,1,0,1,0,0,2 |
---|
177 | 2850,1,0,1,0,0,2 |
---|
178 | 2851,2,2,3,80,0,280 |
---|
179 | 2852,1,0,1,0,0,2 |
---|
180 | 2853,1,0,1,0,0,2 |
---|
181 | 2854,1,0,1,0,0,1 |
---|
182 | 2868,2,2,3,80,0,280 |
---|
183 | 2869,1,0,1,0,0,2 |
---|
184 | 2870,1,0,1,0,0,2 |
---|
185 | 2871,1,0,1,0,0,2 |
---|
186 | 2872,2,2,3,80,0,289 |
---|
187 | 2873,1,0,1,0,0,2 |
---|
188 | 2874,1,0,1,0,0,1 |
---|
189 | 2875,1,0,1,0,0,1 |
---|
190 | 2890,2,2,3,80,0,279 |
---|
191 | 2891,1,0,1,0,0,2 |
---|
192 | 2892,1,0,1,0,0,1 |
---|
193 | 2893,1,0,1,0,0,1 |
---|
194 | 2894,2,2,3,80,0,280 |
---|
195 | 2895,1,0,1,0,0,2 |
---|
196 | 2896,1,0,1,0,0,2 |
---|
197 | 2897,1,0,1,0,0,2 |
---|
198 | 2913,2,2,3,80,0,278 |
---|
199 | 2914,1,0,1,0,0,2 |
---|
200 | 2915,1,0,1,0,0,2 |
---|
201 | 2916,1,0,1,0,0,2 |
---|
202 | 2917,2,2,3,80,0,277 |
---|
203 | 2918,1,0,1,0,0,2 |
---|
204 | 2919,1,0,1,0,0,2 |
---|
205 | 2920,1,0,1,0,0,1 |
---|
206 | 2948,1,0,1,0,0,2 |
---|
207 | 2949,2,2,3,80,0,30 |
---|
208 | 2950,2,2,3,80,0,29 |
---|
209 | 2967,2,2,3,80,0,283 |
---|
210 | 2968,1,0,1,0,0,2 |
---|
211 | 2969,2,2,3,80,0,276 |
---|
212 | 2970,1,0,1,0,0,2 |
---|
213 | 2971,2,2,3,80,0,279 |
---|
214 | 2972,1,0,1,0,0,2 |
---|
215 | 2973,10,3,32,57,168,681480 |
---|
216 | 2974,5,2,9,57,84,66556 |
---|
217 | 2975,5,2,9,57,84,52501 |
---|
218 | 2976,7,2,13,57,126,41009 |
---|
219 | 2977,2,2,3,57,21,1136 |
---|
220 | 2978,3,2,5,57,42,2111 |
---|
221 | 2979,23,2,45,57,462,257195 |
---|
222 | 2980,3,2,5,57,42,9687 |
---|
223 | 2981,25,2,49,57,504,281080 |
---|
224 | 2982,3,2,5,57,42,10421 |
---|
225 | 2983,24,2,47,57,483,254837 |
---|
226 | 2984,3,2,5,57,42,2209 |
---|
227 | 2985,10,2,19,57,189,72904 |
---|
228 | 2986,2,2,3,57,21,1214 |
---|
229 | 2987,2,2,3,80,0,271 |
---|
230 | 2988,2,2,3,80,0,291 |
---|
Note: See
TracBrowser
for help on using the repository browser.