ADT
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
pthread-emulation
qualifiedEnum
|
Last change
on this file since ff3be413 was 060b12d, checked in by Aaron Moss <a3moss@…>, 7 years ago |
|
Add scatter plots describing instance difficulty
|
-
Property mode
set to
100644
|
|
File size:
5.6 KB
|
| Line | |
|---|
| 1 | 2227,2,2,3,80,0,262
|
|---|
| 2 | 2238,3,2,5,80,,51
|
|---|
| 3 | 2253,2,1,2,81,,10
|
|---|
| 4 | 2254,2,2,3,81,0,23
|
|---|
| 5 | 2255,2,1,2,31,0,9
|
|---|
| 6 | 2256,1,0,1,1,0,2
|
|---|
| 7 | 2257,2,2,3,20,0,47
|
|---|
| 8 | 2258,2,2,3,81,0,28
|
|---|
| 9 | 2270,3,2,5,80,,56
|
|---|
| 10 | 2285,2,1,2,81,,10
|
|---|
| 11 | 2286,2,2,3,81,0,27
|
|---|
| 12 | 2287,2,1,2,31,0,10
|
|---|
| 13 | 2288,1,0,1,1,0,2
|
|---|
| 14 | 2289,2,2,3,20,0,38
|
|---|
| 15 | 2290,2,2,3,81,0,27
|
|---|
| 16 | 2299,3,2,5,80,0,336
|
|---|
| 17 | 2300,2,2,3,80,0,267
|
|---|
| 18 | 2309,3,2,5,80,0,314
|
|---|
| 19 | 2310,2,2,3,80,0,262
|
|---|
| 20 | 2319,3,2,5,80,0,315
|
|---|
| 21 | 2320,2,2,3,80,0,284
|
|---|
| 22 | 2329,3,2,5,80,0,317
|
|---|
| 23 | 2330,2,2,3,80,0,270
|
|---|
| 24 | 2339,3,2,5,80,0,316
|
|---|
| 25 | 2340,2,2,3,80,0,275
|
|---|
| 26 | 2349,3,2,5,80,0,307
|
|---|
| 27 | 2350,2,2,3,80,0,265
|
|---|
| 28 | 2360,1,0,1,0,0,2
|
|---|
| 29 | 2361,2,2,3,80,0,276
|
|---|
| 30 | 2362,2,2,3,80,0,271
|
|---|
| 31 | 2363,1,0,1,0,0,2
|
|---|
| 32 | 2364,4,2,7,80,0,772
|
|---|
| 33 | 2365,2,2,3,80,0,259
|
|---|
| 34 | 2366,2,2,3,80,0,271
|
|---|
| 35 | 2367,1,0,1,0,0,1
|
|---|
| 36 | 2368,1,0,1,0,0,2
|
|---|
| 37 | 2369,2,2,3,10,0,116
|
|---|
| 38 | 2370,1,0,1,0,0,2
|
|---|
| 39 | 2371,2,2,3,18,0,142
|
|---|
| 40 | 2372,2,2,3,18,0,140
|
|---|
| 41 | 2373,3,2,5,80,0,519
|
|---|
| 42 | 2374,2,2,3,80,0,278
|
|---|
| 43 | 2395,1,0,1,0,0,2
|
|---|
| 44 | 2396,2,2,3,83,0,60
|
|---|
| 45 | 2397,2,2,3,83,0,29
|
|---|
| 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,34
|
|---|
| 54 | 2406,3,2,5,32,0,33
|
|---|
| 55 | 2407,3,2,5,83,0,40
|
|---|
| 56 | 2408,2,2,3,83,0,28
|
|---|
| 57 | 2418,1,0,1,0,0,3
|
|---|
| 58 | 2419,2,2,3,80,0,271
|
|---|
| 59 | 2420,2,2,3,80,0,290
|
|---|
| 60 | 2421,1,0,1,0,0,2
|
|---|
| 61 | 2422,4,2,7,80,0,725
|
|---|
| 62 | 2423,2,2,3,80,0,303
|
|---|
| 63 | 2424,2,2,3,80,0,287
|
|---|
| 64 | 2425,1,0,1,0,0,3
|
|---|
| 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,163
|
|---|
| 70 | 2431,3,2,5,80,0,561
|
|---|
| 71 | 2432,2,2,3,80,0,268
|
|---|
| 72 | 2441,1,0,1,0,0,2
|
|---|
| 73 | 2442,2,2,3,80,0,267
|
|---|
| 74 | 2443,2,2,3,80,0,270
|
|---|
| 75 | 2444,4,2,7,80,0,844
|
|---|
| 76 | 2445,2,2,3,80,0,289
|
|---|
| 77 | 2454,3,2,5,31,0,513
|
|---|
| 78 | 2455,2,2,3,80,0,280
|
|---|
| 79 | 2456,2,2,3,80,0,272
|
|---|
| 80 | 2465,3,2,5,31,0,543
|
|---|
| 81 | 2466,2,2,3,80,0,274
|
|---|
| 82 | 2467,2,2,3,80,0,268
|
|---|
| 83 | 2476,3,2,5,31,0,527
|
|---|
| 84 | 2477,2,2,3,80,0,277
|
|---|
| 85 | 2478,2,2,3,80,0,275
|
|---|
| 86 | 2487,3,2,5,31,0,530
|
|---|
| 87 | 2488,2,2,3,80,0,280
|
|---|
| 88 | 2489,2,2,3,80,0,272
|
|---|
| 89 | 2517,1,0,1,0,0,2
|
|---|
| 90 | 2518,2,2,3,80,0,29
|
|---|
| 91 | 2519,2,2,3,80,0,27
|
|---|
| 92 | 2554,1,0,1,0,0,2
|
|---|
| 93 | 2555,1,0,1,0,0,2
|
|---|
| 94 | 2556,2,2,3,80,0,27
|
|---|
| 95 | 2557,2,2,3,80,0,27
|
|---|
| 96 | 2600,1,0,1,0,0,2
|
|---|
| 97 | 2601,2,2,3,80,0,31
|
|---|
| 98 | 2602,2,2,3,80,0,28
|
|---|
| 99 | 2616,2,2,3,31,,3
|
|---|
| 100 | 2623,2,2,3,31,,2
|
|---|
| 101 | 2651,1,0,1,0,0,2
|
|---|
| 102 | 2652,2,2,3,80,0,28
|
|---|
| 103 | 2653,2,2,3,80,0,28
|
|---|
| 104 | 2667,2,2,3,31,,2
|
|---|
| 105 | 2674,2,2,3,31,,2
|
|---|
| 106 | 2702,1,0,1,0,0,2
|
|---|
| 107 | 2703,2,2,3,80,0,276
|
|---|
| 108 | 2704,2,2,3,80,0,296
|
|---|
| 109 | 2713,2,2,3,80,0,280
|
|---|
| 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,280
|
|---|
| 114 | 2718,1,0,1,0,0,2
|
|---|
| 115 | 2719,1,0,1,0,0,2
|
|---|
| 116 | 2720,1,0,1,0,0,1
|
|---|
| 117 | 2730,2,2,3,80,0,278
|
|---|
| 118 | 2731,1,0,1,0,0,1
|
|---|
| 119 | 2732,1,0,1,0,0,1
|
|---|
| 120 | 2733,1,0,1,0,0,2
|
|---|
| 121 | 2734,2,2,3,80,0,280
|
|---|
| 122 | 2735,1,0,1,0,0,2
|
|---|
| 123 | 2736,1,0,1,0,0,1
|
|---|
| 124 | 2737,1,0,1,0,0,2
|
|---|
| 125 | 2746,2,2,3,80,0,279
|
|---|
| 126 | 2747,1,0,1,0,0,2
|
|---|
| 127 | 2748,1,0,1,0,0,1
|
|---|
| 128 | 2749,1,0,1,0,0,2
|
|---|
| 129 | 2750,2,2,3,80,0,278
|
|---|
| 130 | 2751,1,0,1,0,0,2
|
|---|
| 131 | 2752,1,0,1,0,0,2
|
|---|
| 132 | 2753,1,0,1,0,0,2
|
|---|
| 133 | 2764,1,0,1,0,0,2
|
|---|
| 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,2
|
|---|
| 138 | 2769,2,2,3,80,0,281
|
|---|
| 139 | 2770,1,0,1,0,0,2
|
|---|
| 140 | 2771,1,0,1,0,0,2
|
|---|
| 141 | 2772,1,0,1,0,0,1
|
|---|
| 142 | 2773,1,0,1,0,0,2
|
|---|
| 143 | 2774,2,2,3,80,0,283
|
|---|
| 144 | 2775,1,0,1,0,0,2
|
|---|
| 145 | 2776,1,0,1,0,0,1
|
|---|
| 146 | 2777,1,0,1,0,0,2
|
|---|
| 147 | 2778,1,0,1,0,0,1
|
|---|
| 148 | 2779,2,2,3,80,0,31
|
|---|
| 149 | 2780,2,2,3,80,0,30
|
|---|
| 150 | 2790,2,2,3,80,0,283
|
|---|
| 151 | 2791,1,0,1,0,0,2
|
|---|
| 152 | 2792,1,0,1,0,0,2
|
|---|
| 153 | 2793,1,0,1,0,0,1
|
|---|
| 154 | 2794,2,2,3,80,0,281
|
|---|
| 155 | 2795,1,0,1,0,0,2
|
|---|
| 156 | 2796,1,0,1,0,0,1
|
|---|
| 157 | 2797,1,0,1,0,0,2
|
|---|
| 158 | 2808,2,2,3,80,0,281
|
|---|
| 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,289
|
|---|
| 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,281
|
|---|
| 167 | 2828,1,0,1,0,0,2
|
|---|
| 168 | 2829,1,0,1,0,0,2
|
|---|
| 169 | 2830,1,0,1,0,0,1
|
|---|
| 170 | 2831,2,2,3,80,0,280
|
|---|
| 171 | 2832,1,0,1,0,0,2
|
|---|
| 172 | 2833,1,0,1,0,0,1
|
|---|
| 173 | 2834,1,0,1,0,0,2
|
|---|
| 174 | 2847,2,2,3,80,0,280
|
|---|
| 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,281
|
|---|
| 179 | 2852,1,0,1,0,0,2
|
|---|
| 180 | 2853,1,0,1,0,0,2
|
|---|
| 181 | 2854,1,0,1,0,0,2
|
|---|
| 182 | 2868,2,2,3,80,0,279
|
|---|
| 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,282
|
|---|
| 187 | 2873,1,0,1,0,0,2
|
|---|
| 188 | 2874,1,0,1,0,0,2
|
|---|
| 189 | 2875,1,0,1,0,0,2
|
|---|
| 190 | 2890,2,2,3,80,0,280
|
|---|
| 191 | 2891,1,0,1,0,0,2
|
|---|
| 192 | 2892,1,0,1,0,0,2
|
|---|
| 193 | 2893,1,0,1,0,0,2
|
|---|
| 194 | 2894,2,2,3,80,0,281
|
|---|
| 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,281
|
|---|
| 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,278
|
|---|
| 203 | 2918,1,0,1,0,0,1
|
|---|
| 204 | 2919,1,0,1,0,0,1
|
|---|
| 205 | 2920,1,0,1,0,0,1
|
|---|
| 206 | 2948,1,0,1,0,0,2
|
|---|
| 207 | 2949,2,2,3,80,0,29
|
|---|
| 208 | 2950,2,2,3,80,0,28
|
|---|
| 209 | 2993,2,2,3,80,0,278
|
|---|
| 210 | 2994,1,0,1,0,0,2
|
|---|
| 211 | 2995,1,0,1,0,0,1
|
|---|
| 212 | 2996,2,1,2,80,0,12
|
|---|
| 213 | 2997,2,2,3,80,0,31
|
|---|
| 214 | 2998,2,1,2,30,0,11
|
|---|
| 215 | 2999,1,0,1,0,0,2
|
|---|
| 216 | 3000,3,2,5,57,42,2732
|
|---|
| 217 | 3001,21,2,44,57,392,710582
|
|---|
| 218 | 3002,2,2,3,57,21,30757
|
|---|
| 219 | 3003,3,2,5,57,42,2273
|
|---|
| 220 | 3004,26,2,51,57,,574461
|
|---|
| 221 | 3005,2,2,3,57,21,1903
|
|---|
| 222 | 3006,3,2,5,57,42,2295
|
|---|
| 223 | 3007,2,2,3,80,,44
|
|---|
| 224 | 3008,2,1,2,80,,188
|
|---|
| 225 | 3009,2,1,2,80,,175
|
|---|
| 226 | 3010,2,1,2,80,,175
|
|---|
| 227 | 3011,2,1,2,80,,174
|
|---|
| 228 | 3012,2,1,2,80,,174
|
|---|
| 229 | 3013,2,1,2,80,,175
|
|---|
| 230 | 3014,1,0,1,0,0,2
|
|---|
| 231 | 3015,2,2,3,80,,48
|
|---|
| 232 | 3016,2,1,2,80,,174
|
|---|
| 233 | 3017,2,1,2,80,,174
|
|---|
| 234 | 3018,2,1,2,80,,173
|
|---|
| 235 | 3019,2,1,2,80,,174
|
|---|
| 236 | 3020,2,1,2,80,,182
|
|---|
| 237 | 3021,2,1,2,80,,176
|
|---|
| 238 | 3022,1,0,1,0,0,3
|
|---|
| 239 | 3023,4,2,7,57,35,3119
|
|---|
| 240 | 3024,2,2,3,57,21,1145
|
|---|
| 241 | 3025,3,2,5,57,42,2129
|
|---|
| 242 | 3026,35,2,69,57,,514493
|
|---|
| 243 | 3027,2,2,3,57,21,23713
|
|---|
| 244 | 3028,3,2,5,57,42,2250
|
|---|
| 245 | 3029,4,2,7,57,49,2969
|
|---|
| 246 | 3030,2,2,3,2,0,12
|
|---|
| 247 | 3031,5,2,9,57,70,4599
|
|---|
| 248 | 3032,15,2,29,57,266,149441
|
|---|
| 249 | 3033,2,2,3,57,21,9656
|
|---|
| 250 | 3034,4,2,7,57,49,3106
|
|---|
| 251 | 3035,2,2,3,2,0,13
|
|---|
| 252 | 3036,5,2,9,57,70,4558
|
|---|
| 253 | 3037,15,2,29,57,266,148733
|
|---|
| 254 | 3038,2,2,3,57,21,10026
|
|---|
| 255 | 3039,3,2,5,57,42,2390
|
|---|
| 256 | 3040,7,2,13,57,112,64704
|
|---|
| 257 | 3041,6,2,11,57,91,52328
|
|---|
| 258 | 3042,10,2,19,57,161,77520
|
|---|
| 259 | 3043,6,2,11,57,91,56979
|
|---|
| 260 | 3044,5,2,9,57,84,55363
|
|---|
| 261 | 3045,2,2,3,57,21,1264
|
|---|
| 262 | 3046,3,2,5,57,42,2141
|
|---|
| 263 | 3047,6,2,11,57,91,66731
|
|---|
| 264 | 3048,6,2,11,57,91,53295
|
|---|
| 265 | 3049,7,2,13,57,98,67222
|
|---|
| 266 | 3050,6,2,11,57,91,57016
|
|---|
| 267 | 3051,7,2,13,57,98,57259
|
|---|
| 268 | 3052,7,2,13,57,98,57571
|
|---|
| 269 | 3053,5,2,9,57,84,56157
|
|---|
| 270 | 3054,2,2,3,57,21,1263
|
|---|
| 271 | 3055,2,2,3,2,0,16
|
|---|
| 272 | 3056,7,2,13,57,84,10467
|
|---|
| 273 | 3057,2,2,3,2,0,30
|
|---|
| 274 | 3058,7,2,13,57,84,7828
|
|---|
| 275 | 3059,4,2,7,57,35,3496
|
|---|
| 276 | 3060,2,2,3,57,21,1119
|
|---|
| 277 | 3061,2,5,6,80,,78
|
|---|
| 278 | 3062,2,1,2,80,,181
|
|---|
| 279 | 3063,2,1,2,80,,177
|
|---|
| 280 | 3064,2,1,2,80,,176
|
|---|
| 281 | 3065,2,1,2,80,,177
|
|---|
| 282 | 3066,1,0,1,0,0,3
|
|---|
| 283 | 3067,1,0,1,0,0,2
|
|---|
| 284 | 3068,1,0,1,0,0,2
|
|---|
| 285 | 3069,1,0,1,0,0,2
|
|---|
| 286 | 3070,3,4,7,57,,78
|
|---|
| 287 | 3071,3,2,5,57,28,2497
|
|---|
| 288 | 3072,2,2,3,2,0,14
|
|---|
| 289 | 3073,3,2,5,57,28,2350
|
|---|
| 290 | 3074,8,2,15,57,63,7910
|
|---|
| 291 | 3075,2,2,3,2,0,17
|
|---|
| 292 | 3076,2,2,3,2,0,12
|
|---|
| 293 | 3077,6,2,11,57,77,40404
|
|---|
| 294 | 3078,2,2,3,80,0,324
|
|---|
| 295 | 3079,2,2,3,80,0,312
|
|---|
| 296 | 3106,1,0,1,0,0,3
|
|---|
| 297 | 3107,2,2,3,80,0,310
|
|---|
| 298 | 3108,2,2,3,80,0,309
|
|---|
Note:
See
TracBrowser
for help on using the repository browser.
