Number Problem Classification N M NL NNL First Found Result N.umber of known solutions
3001 antenna CBSD-ANU-623-1192 623 1192 1191 1

3002 biggsc4 CBSD-ANI-4-8 4 8 7 1 p1
3003 hs5 CBSD-MNI-2-5 2 5 4 1 p1
3004 logcheb CBSD-ANU-350-840 350 840 840 0

3005 lowpass CBSD-ANU-350-840 350 840 840 0

3006 dccircuit CLR2-ANI-10-11 10 11 11 0 p1
3007 eqlin CLR2-ANI-3-3 3 3 3 0 p1
3008 hs105 CBR2-RNI-8-18 8 (730) 18 17 1 p1
3009 median_socp CLI2-ANI-20-20 20 20 20 0 p1
3010 steenbre CLR2-ANI-540-127 540 127 126 1

3011 supersim CLR2-ANI-2-2 2 2 2 0 p1
3012 a CQR2-ANI-2-2 2 2 0 2 p1
3013 airport CQR2-ANI-84-4 84 4 3 1 p1
3014 aljazzaf CQR2-ANI-3-2 3 2 0 2 p1
3015 antenna CQR2-AYI-49-274 49 274 11 263 p1
3016 apollonius CQR2-ANI-8-10 8 10 6 4

3017 arglina CQR2-ANI-100-1 100 1 0 1 p1
3018 arglinc CQR2-ANI-10-1 10 1 0 1 p1
3019 b CQR2-ANI-4-4 4 4 2 2 p1
3020 b1 CQR2-ANI-4-4 4 4 3 1 p1
3021 bellido CQR2-ANI-9-9 9 9 3 6

3022 booth CQR2-ANI-2-1 2 1 0 1 p1
3023 bqp1var CQR2-ANI-1-2 1 2 1 1 p1
3024 bqpgabim CQR2-ANI-50-5 50 5 4 1 p1
3025 bqpasim CQR2-ANI-50-1 50 1 0 1 p1
3026 braess CQR2-ANI-4-5 4 5 4 1 p1
3027 braess_new CQR2-ANI-5-5 5 5 4 1 p1
3028 bronstein CQR2-ANI-3-3 3 3 1 2 p1
3029 camera1s CQR2-ANI-6-6 6 6 0 6 p1
3030 catenary CQR2-ANI-200-105 200 105 5 100 p1
3031 chem CQR2-ANI-5-5 5 5 1 4 p1
3032 chemistry CQR2-ANI-5-5 5 5 0 5 p1
3033 chemk CQR2-ANI-4-4 4 4 0 4 p1
3034 chemkin CQR2-ANI-10-10 10 10 3 7 p1
3035 clo1 CQR2-ANI-3-3 3 3 0 3 p1
3036 cyclo CQR2-ANI-3-3 3 3 0 3 p1
3037 czapor CQR2-ANI-3-3 3 3 0 3 p1
3038 czaporgeddes CQR2-ANI-3-3 3 3 0 3 p1
3039 discret3 CQR2-ANI-8-8 8 8 0 8 p1
3040 eco9 CQR2-ANI-8-8 8 8 1 7 p1
3041 eiger CQR2-ANI-4-4 4 4 0 4 p1
3042 eq1 CQR2-ANI-3-3 3 3 2 1 p1
3043 fredimage CQR2-ANI-16-12 16 12 0 12 p1
3044 geometric CQR2-ANI-2-2 2 2 0 2 p1
3045 grasp CQR2-AYI-16-41 16 41 16 25 p1
3046 h106 CQR2-ANI-8-21 8 23 5 17 p1
3047 h113 CQR2-ANI-10-9 10 9 3 6 p1
3048 h76 CQR2-ANI-4-8 4 8 7 1 p1
3049 h84 CQR2-AYI-5-16 5 17 10 7 p1
3050 h83 CQR2-ANI-5-17 5 17 10 7 p1
3051 h95 CQR2-ANI-6-12 6 12 8 4 p1
3052 hexane CQR2-ANI-3-3 3 3 0 3 p1
3053 hong1 CQR2-ANI-4-4 4 4 2 2 p1
3054 hong2 CQR2-ANI-3-3 3 3 1 2 p1
3055 hs106 CQR2-ANI-8-24 8 24 21 3 p1
3056 hs116 CQR2-ANI-13-42 13 42 31 11 p1
3057 hs23 CQR2-ANI-2-6 2 6 1 5 p1
3058 hs35 CQR2-MNI-3-2 3 2 0 2 p1
3059 hs44 CQR2-MNI-4-7 4 7 6 1 p1
3060 hs6 CQR2-ANI-2-2 2 2 0 2 p1
3061 hs8 CQR2-ANI-2-2 2 2 0 2 p1
3062 ipp CQR2-ANI-8-8 8 8 0 8 p1
3063 kapur CQR2-ANI-9-9 9 9 0 9 p1
3064 katsura5 CQR2-ANI-6-6 6 6 1 5 p1
3065 kear11 CQR2-ANI-8-8 8 8 1 7 p1
3066 kear3 CQR2-ANI-4-4 4 4 2 2 p1
3067 kin2 CQR2-ANI-8-8 8 8 0 8 p1
3068 kincox CQR2-ANI-4-4 4 4 0 4 p1
3069 kinema CQR2-ANI-9-9 9 9 2 7 p1
3070 kink CQR2-ANI-8-8 8 8 1 7 p1
3071 kruppa CQR2-ANI-5-6 5 6 0 6 p1
3072 ku CQR2-ANI-10-10 10 10 0 10 p1
3073 ku10 CQR2-ANI-9-10 9 10 0 10 p1
3074 ladders CQR2-ANI-7-13 7 13 1 12 p1
3075 lorentz CQR2-ANI-4-4 4 4 0 4 p1
3076 markowitz CQR2-ANI-8-2 8 2 1 1 p1
3077 mathews CQR2-ANI-3-3 3 3 0 3 p1
3078 median_nonconvex CQR2-ANN-20-20 20 20 0 20

3079 mickey CQR2-ANI-2-2 2 2 0 2 p1
3080 monfroy1 CQR2-ANI-4-4 4 4 1 3 p1
3081 morgan CQR2-ANI-2-2 2 2 0 2 p1
3082 nauheim CQR2-ANI-8-8 8 8 4 4 p1
3083 nb_L1_eps






3084 nnls CQSD-ANI-300-1 300 1 0 1 p1
3085 o32 CQR2-ANI-5-7 5 7 0 7 p1
3086 parabola CQR2-ANI-2-2 2 2 0 2 p1
3087 pentagon CQR2-ANI-11-17 11 17 7 10 p1
3088 pentagonall CQR2-ANI-11-12 11 12 2 10 p1
3089 polygon2 CQR2-ANI-42-196 42 196 5 191 p1
3090 powell CQR2-ANI-4-4 4 4 2 2 p1
3091 precondk CQR2-ANI-2-2 2 2 0 2 p1
3092 puma CQR2-ANI-8-8 8 8 1 7 p1
3093 redeco5 CQR2-ANI-5-5 5 5 2 3 p1
3094 redeco6 CQR2-ANI-6-6 6 6 2 4 p1
3095 redeco7 CQR2-ANI-7-7 7 7 2 5 p1
3096 redeco8 CQR2-ANI-8-8 8 8 2 6 p1
3097 rediff3 CQR2-ANI-3-3 3 3 0 3 p1
3098 rocket CQR2-ANI-299-203 299 203 4 199 p1
3099 rosenbr CQSD-ANI-4-1 4 1 0 1 p1
3100 s324 CQR2-ANI-2-4 2 4 1 4 p1
3101 s9_1 CQR2-ANI-8-8 8 8 4 4 p1
3102 tame CQR2-ANI-2-2 2 2 1 1 p1
3103 tridia CQSD-ANI-30-1 30 1 0 1 p1
3104 try-b CQR2-ANI-2-2 2 2 0 2 p1
3105 virasoro CQR2-ANI-8-8 8 8 0 8 p1
3106 vrahatis CQR2-ANI-9-9 9 9 0 9 p1
3107 wright CQR2-ANI-5-5 5 5 0 5 p1
3108 woods CQSD-ANU-1000-1 1000 1 0 1

3109 zangwil2 CQSD-ANI-2-1; 2 1 0 1 p1
3110 zecevic2 CQR2-ANI-2-5 2 5 4 1 p1
3111 levy3 CBSD-ANI-2-1 2 1 1 0 p1
3112 aircrfta CPR2-ANI-8-1 8 1 0 1 p1
3113 aircrftb CPR2-ANI-8-4 8 4 3 1 p1
3114 arwhead CPR2-ANI-100-1 100 1 0 1 p1
3115 bdvalue CPR2-ANI-12-3 12 3 2 1 p1
3116 beale CPR2-ANI-2-1 2 1 0 1 p1
3117 bifurcation CPR2-ANI-3-3 3 3 0 3 p1
3118 bifurcationHC3 CPR2-ANI-29-29 29 29 10 19 p1
3119 boon CPR2-ANI-6-6 6 6 0 6 p1
3120 brown CPR2-ANI-5-5 5 5 4 1 p1
3121 broyden10 CPR2-ANI-10-10 10 10 0 10 p1
3122 broyden1280 CPR2-ANI-1280-1280 1280 1280 0 1280

3123 broyden160 CPR2-ANI-160-160 160 160 0 160 p1
3124 broyden20 CPR2-ANI-20-20 20 20 0 20 p1
3125 broyden320 CPR2-ANI-320-320 320 320 0 320

3126 broyden40 CPR2-ANI-40-40 40 40 0 40 p1
3127 broyden5120 CPR2-ANI-5120-5120 5120 5120 0 5120

3128 broyden640 CPR2-ANI-640-640 640 640 0 640

3129 broyden80 CPR2-ANI-80-80 80 80 0 80 p1
3130 butcher CPR2-ANI-7-7 7 7 0 7 p1
3131 butcher8 CPR2-ANI-8-8 8 8 1 7 p1
3132 camel1 CPSD-ANI-2-1 2 1 0 1 p1
3133 caprasse CPR2-ANI-4-4 4 4 0 4 p1
3134 cassou CPR2-ANI-4-4 4 4 0 4 p1
3135 chemequ CPR2-ANI-5-5 5 5 0 5 p1
3136 chemical CPR2-ANI-3-3 3 3 0 3 p1
3137 cohn2 CPR2-ANI-4-4 4 4 0 4 p1
3138 cohn3 CPR2-ANI-4-4 4 4 0 4 p1
3139 comb3000 CPR2-ANI-10-10 10 10 4 6 p1
3140 combustion CPR2-ANI-10-10 10 10 4 6 p1
3141 conform1 CPR2-ANI-3-3 3 3 0 3 p1
3142 cpdm5 CPR2-ANI-5-5 5 5 0 5 p1
3143 cubic CPR2-ANI-2-2 2 2 0 2 p1
3144 cyclic5 CPR2-ANI-5-5 5 5 1 4 p1
3145 cyclic6 CPR2-ANI-6-6 6 6 1 5 p1
3146 cyclic7 CPR2-ANI-7-7 7 7 1 6 p1
3147 cyclic8 CPR2-ANI-8-8 8 8 1 7 p1
3148 d1 CPR2-ANI-12-12 12 12 1 11 p1
3149 des18_3 CPR2-ANI-8-8 8 8 2 6 p1
3150 des22_24 CPR2-ANI-10-10 10 10 2 8 p1
3151 dipole CPR2-ANI-10-10 10 10 2 8 p1
3152 eco4 CPR2-ANI-4-4 4 4 1 3 p1
3153 eco5 CPR2-ANI-5-5 5 5 1 4 p1
3154 eco6 CPR2-ANI-6-6 6 6 1 5 p1
3155 eco7 CPRR2-ANI-7-7 7 7 1 6 p1
3156 eco8 CPR2-ANI-8-8 8 8 1 7 p1
3157 emiris CPR2-ANI-6-6 6 6 0 6 p1
3158 enfant1 CPR2-ANI-7-7 7 7 2 5 p1
3159 enfant2 CPR2-ANI-10-12 10 12 4 8 p1
3160 example CPR2-ANI-1-1 1 1 0 1 p1
3161 extcyc5 CPR2-ANI-6-5 6 5 1 4 p1
3162 extcyc6 CPR2-ANI-6-6 6 6 1 5 p1
3163 extcyc7 CPR2-ANI-8-7 8 7 1 6 p1
3164 extcyc8 CPR2-ANI-9-7 9 8 1 7 p1
3165 fourbar CPR2-ANI-4-4 4 4 0 4 p1
3166 fredtest CPR2-ANI-6-8 6 8 3 5

3167 geisow CPR2-ANI-2-2 2 2 0 2 p1
3168 geneig CPR2-ANI-6-6 6 6 1 6 p1
3169 gold CPSD-ANI-2-1 2 1 0 1 p1
3170 griewank CPR2-ANI-2-2 2 2 0 2 p1
3171 h100 CPR2-ANI-7-5 7 5 0 5 p1
3172 h78 CPR2-ANI-5-4 5 4 0 4 p1
3173 h79 CPR2-ANI-5-4 5 4 0 4 p1
3174 h80 CPR2-ANI-5-4 5 4 0 4 p1
3175 h81 CPR2.ANI-5-4 5 4 0 4 p1
3176 h86 CPR2-AYI-5-16 5 16 5 11 p1
3177 hansen-sengupta-f1 CPR2-ANI-2-2 2 2 1 1 p1
3178 heart CPR2-ANI-8-8 8 8 2 6 p1
3179 hs15 CPR2-ANI-2-4 2 4 1 3 p1
3180 i1 CPR2-ANI-10-10 10 10 0 10 p1
3181 i2 CPR2-ANI-10-10 10 10 0 10 p1
3182 i4 CPR2-ANI-10-10 10 10 0 10 p1
3183 i5 CPR2-ANI-10-10 10 10 0 10 p1
3184 ineq1 CPR2-ANI-4-5 4 5 1 4 p1
3185 kear12 CPR2-ANI-3-3 3 3 0 3 p1
3186 kear2 CPR2-ANI-2-2 2 2 1 1 p1
3187 kin1 CPR2-ANI-12-12 12 12 1 11 p1
3188 lhomme1 CPR2-ANI-10-5 10 5 1 4 p1
3189 monfroy2 CPR2-ANI-3-3 3 3 0 3 p1
3190 more10 CPR2-ANI-10-10 10 10 0 10 p1
3191 more20 CPR2-ANI-20-20 20 20 0 20 p1
3192 more40 CPR2-ANI-40-40 40 40 0 40 p1
3193 more80 CPR2-ANI-80-80 80 80 0 80 p1
3194 moreaux10 CPR2-ANI-31-32 31 32 12 20 p1
3195 moreaux160 CPR2-ANI-481-482 481 482 162 320

3196 moreaux20 CPR2-ANI-61-62 61 62 22 40 p1
3197 moreaux40 CPR2-ANI-121-122 121 122 42 80 p1
3198 moreaux80 CPR2-ANI-241-242 241 242 82 160 p1
3199 nbody5.1 CPR2-ANI-6-6 6 6 0 6 p1
3200 neuro CPR2-ANI-6-9 6 9 4 5 p1
3201 newkin CPR2-ANI-12-7 12 7 1 6 p1
3202 noon3 CPR2-ANI-3-3 3 3 0 3 p1
3203 noon4 CPR2-ANI-4-4 4 4 0 4 p1
3204 noon5 CPR2-ANI-5-5 5 5 0 5 p1
3205 piano CPR2-ANI-9-9 9 9 5 4 p1
3206 proddeco CPR2-ANI-4-4 4 4 0 4 p1
3207 powell CPSD-ANI-4-1 4 1 0 1 p1
3208 price CPSD-ANI-2-1 2 1 0 1 p1
3209 schwefel CPSD-ANI-5-1 5 1 0 1 p1
3210 quadfor CPR2-ANI-4-6 4 6 2 4 p1
3211 quadfor2 CPR2-ANI-4-4 4 4 1 3 p1
3212 quadgrid CPR2-ANI-4-5 4 5 1 4 p1
3213 rabinowitz CPR2-ANI-16-16 16 16 2 14 p1
3214 rabmo CPR2-ANI-9-9 9 9 1 8 p1
3215 rbpl CPR2-ANI-6-6 6 6 0 6 p1
3216 rbpl24 CPR2-ANI-9-9 9 9 1 9 p1
3217 redcyc5 CPR2-ANI-4-4 4 4 1 3 p1
3218 redcyc6 CPR2-ANI-5-5 5 5 1 4 p1
3219 redcyc7 CPR2-ANI-6-6 6 6 1 5 p1
3220 redcyc8 CPR2-ANI-7-7 7 7 1 6 p1
3221 reimer2 CPR2-ANI-2-2 2 2 0 2 p1
3222 reimer3 CPR2-ANI-3-3 3 3 0 3 p1
3223 reimer4 CPR2-ANI-4-4 4 4 0 4 p1
3224 reimer5 CPR2-ANI-5-5 5 5 0 5 p1
3225 rouillerrobot CPR2-ANI-9-9 9 9 1 8 p1
3226 sawpath CPR2-ANI-5-199 5 199 2 197 p1
3227 sendra CPR2-ANI-2-2 2 2 0 2 p1
3228 seyfertfilter CPR2-ANI-9-7 9 7 0 7 p1
3229 solotarev CPR2-ANI-4-4 4 4 0 4 p1
3230 sparse5 CPR2-ANI-5-5 5 5 0 5 p1
3231 trinks CPR2-ANI-6-6 6 6 2 4 p1
3232 srosenbr CPSD-ANI-10-1 10 1 0 1 p1
3233 tre CPSD-ANI-2-1 2 1 0 1 p1
3234 vanderm1 CPR2-ANI-10-9 10 10 9 1 p1
3235 watson CPSD-ANI-12-1 12 1 0 1 p1
3236 wilkinson CPR2-ANI-1-1 1 1 0 1 p1
3237 winkler CPR2-ANI-3-3 3 3 0 3 p1
3238 wood CPR2-ANI-4-4 4 4 0 4 p1
3239 zy2 CPR2-ANI-3-3 3 3 1 2 p1
3240 allinit CTR2-ANI-4-4 4 4 3 1 p1
3241 allinitc CTR2-ANI-4-5 4 5 3 2 p1
3242 allinitu CTR2-ANI-4-1 4 1 0 1 p1
3243 argtrig CTR2-ANI-10-1 10 1 0 1 p1
3244 artif CTR2-ANI-10-3 10 3 2 1 p1
3245 branin CTR2-ANI-2-5 2 5 4 1 p1
3246 fir_convex CTR2-ANI-11-241 11 241 1 240 p1
3247 griewank CTSD-ANI-2-1 2 1 0 1 p1
3248 h74 CTR2-ANI-4-13 4 13 10 3 p1
3249 h75 CTR2-ANI-4-14 4 14 6 8 p1
3250 h77 CTR2-ANI-5-3 5 3 0 3

3251 hs109 CTR2-MYI-9-18 9 18 9 9 p1
3252 hs87 CTI0-ANI-6-5 6 5 1 4 p1
3253 pgon CTR2-ANI-12-22 12 22 7 15 p1
3254 polygon CTSD-ANI-21-3 21 3 2 1 p1
3255 realkin CTR2-ANI-6-6 6 6 0 6

3256 tf12 CTR2-ANI-3-2 3 2 1 1 p1
3257 TrussDesign01 CTR2-ANI-2-10 2 10 2 8 p1
3258 TrussDesign-full CTR2-ANI-5-10 5 10 2 8 p1
3259 yao CTR2-ANU-2002-2004 2002 2004 2003 1

3260 zigzag CTR2-ANI-64-67 64 67 46 21 p1
3261 alsotame COR2-ANI-2-4 2 4 2 2 p1
3262 argauss COR2-ANI-3-1 3 1 0 1 p1
3263 bdexp COR2-ANI-100-1 100 1 0 1 p1
3264 biggs3 COR2-ANI-6-4 6 4 3 1 p1
3265 biggs5 COR2-ANI-6-2 6 2 1 1 p1
3266 biggs6 COR2-ANI-6-1 6 1 0 1 p1
3267 blend COR2-MNI-24-15 24 15 3 12 p1
3268 box2 COR2-ANI-3-2 3 2 1 1 p1
3269 box3 COR2-ANI-3-1 3 1 0 1 p1
3270 bratu2d COR2-ANI-49-27 49 27 26 1 p1
3271 chemeq COSD-ANI-40-17 40 17 16 1 p1
3272 chi COSD-ANI-2-5 2 5 4 1 p1
3273 descartesfolium COR2-ANI-2-2 2 2 0 2 p1
3274 ex2 COR2-ANI-2-2 2 2 0 2 p1
3275 fekete COR2-ANI-150-51 150 51 0 51 p1
3276 h110 COR2-10-1 10 1 0 1 p1
3277 hock7 COR2-ANI-2-2 2 2 0 2 p1
3278 hs111 COR2-MNI-10-4 10 4 0 4 p1
3279 hs112 COR2-MYI-10-4 10 4 3 1 p1
3280 hs54 COR2-MNI-6-14 7 14 13 1 p1
3281 hs62 COR2-MNI-3-7 3 2 1 1 p1
3282 median_exp COR2-ANI-20-20 20 20 0 20 p1
3283 osborne1 COSD-MNI-5-1 5 1 0 1 p1
3284 rueher COR2-ANI-39-20 39 20 5 15 p1
3285 transistor COSR2-ANI-12-12 12 12 0 12 p1
3286 weapon COR2-ANI-100-13 100 13 12 1 p1
3287 p1 NOI0-RNN-3-5 3 5 2 3 p1
3288 ColumnDesign02 NOI0-RNN-4-5 4 5 2 3

3289 ColumnDesign-full NOI0-RNN-6-5 6 5 2 3 p1
3290 ColumnDesign-original NOI0-RYN-24-24 24 24 8 16 p1
3291 FatigueDesign01 NOI0-RNN-3-2 3 2 0 2 p1
3292 FatigueDesign02 NOI0-RNN-3-2 3 2 0 2 p1
3293 FatigueDesign-full NOI0-RNN-5-2 5 2 0 2 p1
3294 FatigueDesign-original NOI0-RYN-15-15 15 15 5 10 p1
3295 KinematicPair NOI0-ANN-2-3 2 3 0 3 p1
3296 SchoolBuilding NOI0-RNN-6-5 6 5 0 5 p1
3297 StackedGymnasticHalls NOI0-RNN-12-15 12 15 10 5 p1
3298 SteelFramedComputerBuilding NOI0-RNN-42-44 42 44 13 31 p1
3299 StorageHallwithCrane NOI0-RNN-37-36 37 36 16 20 p1
3300 SwissMetro NOI0-RNN-5-4 5 4 0 4 p1
3301 TrussDesign01 NOI0-RNN-2-10 2 10 2 8 p1
3302 TrussDesign-full NOI0-RNN-5-10 5 10 2 8 p1
3303 avion2 COSD-ANI-49-16 49 16 15 1 p1
3304 bard COSD-ANI-3-1 3 1 0 1 p1
3305 esfl COSD-ANI-2-1 2 1 0 1 p1
3306 gridneta COSD-MYI-60-121 60 121 0 121 p1
3307 h104 COR2-ANI-8-5 8 5 0 5 p1
3308 h72 COR2-ANI-4-4 4 4 2 2 p1
3309 h73 COR2-ANI-4-3 4 3 2 1 p1
3310 hs114 COR2-ANI-10-11 10 11 7 4 p1
3311 hs64 COR2-ANI-3-2 3 2 0 2 p1
3312 hydrothermal COR2-ANI-50-45 50 45 36 9 p1
3313 kowalik COSD-ANI-4-1 4 1 0 1 p1
3314 ljcluster COSD-ANI-65-1 65 1 0 1 p1
3315 median COSD-ANI-1-1 1 1 0 1 p1
3316 median_socp_eps COR2-ANI-4-5 4 5 1 4 p1
3317 minsurf COSD-ANU-1024-129 1024 129 128 1

3318 pca COR2-ANI-9-5 9 5 0 5 p1
3319 robotarm COR2-ANU-247-698 247 699 306 393

3320 robotarm2 COR2-ANI-116-104 116 104 19 85 p1
3321 robust COR2-ANI-24-10 24 10 0 10 p1
3322 rose COR2-ANI-3-3 3 3 0 3 p1
3323 s383 COR2-ANI-14-16 14 16 15 1 p1
3324 shekel COSD-ANI-4-1 4 1 0 1 p1
3325 springs COR2-ANI-32-14 32 14 4 10 p1
3326 stancmin COR2-ANI-3-4 3 4 2 2 p1
3327 trafequil COSD-AYU-929-553 929 553 552 1

3328 vardim COR2-ANI-10-2 10 2 0 2 p1
3329 womflet COR2-ANI-3-4 3 4 1 3 p1