# inst id cpu time nbranch nback nsearch uf250-0191.cnf 0.040 3234 11 0 188 uf250-0400.cnf 0.030 3399 16 3 406 uf250-0618.cnf 0.030 3724 13 1 253 uf250-0610.cnf 0.030 3728 15 2 333 uf250-061.cnf 0.040 3733 14 0 195 uf250-0349.cnf 0.020 3749 15 1 247 uf250-0143.cnf 0.020 3773 13 0 169 uf250-0586.cnf 0.040 3912 20 5 523 uf250-0657.cnf 0.030 3933 19 3 434 uf250-0584.cnf 0.030 3961 18 2 327 uf250-0554.cnf 0.040 4378 31 10 859 uf250-0380.cnf 0.040 4478 23 6 633 uf250-0956.cnf 0.040 4600 21 2 381 uf250-0773.cnf 0.040 4608 23 6 647 uf250-024.cnf 0.040 4736 17 1 256 uf250-0569.cnf 0.040 4755 46 18 1614 uf250-0331.cnf 0.050 4768 35 11 1003 uf250-0501.cnf 0.040 4779 29 8 776 uf250-0202.cnf 0.020 4811 18 2 252 uf250-0223.cnf 0.050 4855 61 25 2210 uf250-0948.cnf 0.030 4881 22 4 399 uf250-0120.cnf 0.040 4922 19 3 441 uf250-039.cnf 0.040 4983 42 15 1608 uf250-0425.cnf 0.030 5012 21 3 400 uf250-0798.cnf 0.030 5015 29 7 736 uf250-0252.cnf 0.030 5018 39 12 1094 uf250-0348.cnf 0.040 5070 26 5 647 uf250-0221.cnf 0.020 5093 23 3 376 uf250-0101.cnf 0.030 5143 38 12 1203 uf250-077.cnf 0.050 5187 41 15 1295 uf250-0764.cnf 0.040 5230 39 13 1240 uf250-0802.cnf 0.040 5295 42 14 1346 uf250-0826.cnf 0.040 5297 28 6 679 uf250-0962.cnf 0.040 5355 38 13 1272 uf250-0205.cnf 0.050 5532 53 23 2112 uf250-0604.cnf 0.050 5575 43 16 1487 uf250-0980.cnf 0.060 5631 58 23 2055 uf250-0884.cnf 0.050 5641 60 26 2108 uf250-027.cnf 0.050 5647 41 15 1451 uf250-0150.cnf 0.050 5671 25 4 439 uf250-072.cnf 0.050 5981 45 16 1471 uf250-0543.cnf 0.040 6023 40 13 1084 uf250-0324.cnf 0.050 6081 49 19 1649 uf250-0479.cnf 0.040 6098 26 5 627 uf250-0409.cnf 0.050 6122 59 24 1902 uf250-0854.cnf 0.040 6147 41 13 1113 uf250-0577.cnf 0.050 6159 51 21 1800 uf250-0178.cnf 0.070 6185 71 31 2424 uf250-0422.cnf 0.040 6264 35 10 1051 uf250-0766.cnf 0.070 6273 79 34 2812 uf250-0266.cnf 0.050 6314 50 19 1682 uf250-0408.cnf 0.050 6355 53 20 1772 uf250-0576.cnf 0.050 6396 41 12 1078 uf250-0394.cnf 0.050 6430 59 23 2010 uf250-0817.cnf 0.050 6488 49 15 1334 uf250-0791.cnf 0.050 6565 36 11 1115 uf250-0532.cnf 0.060 6595 69 28 2273 uf250-0360.cnf 0.060 6783 71 30 2704 uf250-0257.cnf 0.060 6812 58 21 1749 uf250-0152.cnf 0.040 6827 65 27 2197 uf250-0651.cnf 0.070 6907 66 26 2256 uf250-0358.cnf 0.060 6917 70 31 2337 uf250-0347.cnf 0.070 6950 70 30 2252 uf250-0718.cnf 0.050 6965 48 18 1558 uf250-0844.cnf 0.060 7029 71 32 2653 uf250-0170.cnf 0.060 7123 81 35 2856 uf250-0529.cnf 0.050 7249 66 28 1935 uf250-0177.cnf 0.060 7365 56 22 1943 uf250-037.cnf 0.070 7430 79 33 2623 uf250-0686.cnf 0.060 7437 54 21 1671 uf250-0597.cnf 0.060 7597 69 29 2277 uf250-0620.cnf 0.050 7613 69 30 2432 uf250-0575.cnf 0.050 7733 68 29 2270 uf250-0938.cnf 0.060 7744 72 31 2516 uf250-0760.cnf 0.070 7769 86 39 3340 uf250-0439.cnf 0.060 7772 72 30 2546 uf250-0989.cnf 0.060 7812 91 40 3003 uf250-0138.cnf 0.070 7819 99 45 3781 uf250-0356.cnf 0.060 7819 63 25 2057 uf250-0512.cnf 0.070 7840 66 28 2410 uf250-0905.cnf 0.070 7849 73 30 2646 uf250-0254.cnf 0.050 7899 57 22 1741 uf250-0725.cnf 0.090 7929 93 43 4183 uf250-0743.cnf 0.070 8089 85 36 2876 uf250-033.cnf 0.070 8106 102 45 3505 uf250-0547.cnf 0.070 8148 100 45 3738 uf250-0762.cnf 0.060 8168 59 21 1861 uf250-0838.cnf 0.060 8212 63 26 2227 uf250-0653.cnf 0.060 8293 80 33 2607 uf250-0979.cnf 0.080 8461 90 36 2975 uf250-0934.cnf 0.060 8490 86 34 2997 uf250-0291.cnf 0.060 8498 82 34 2798 uf250-0874.cnf 0.070 8572 107 47 3971 uf250-0302.cnf 0.060 8582 82 37 2993 uf250-0300.cnf 0.040 8631 48 14 1300 uf250-0706.cnf 0.080 8635 94 42 3354 uf250-052.cnf 0.070 8915 86 37 2949 uf250-0937.cnf 0.070 8959 90 38 3147 uf250-0100.cnf 0.080 9040 110 49 4006 uf250-0723.cnf 0.060 9114 65 27 2208 uf250-035.cnf 0.080 9301 120 56 4507 uf250-0922.cnf 0.080 9462 123 58 5199 uf250-0443.cnf 0.070 9476 115 52 4011 uf250-0550.cnf 0.050 9557 100 43 3556 uf250-0646.cnf 0.100 9595 139 63 5537 uf250-0344.cnf 0.090 9627 135 63 4952 uf250-0174.cnf 0.080 9659 84 37 3159 uf250-0957.cnf 0.090 9686 138 66 5580 uf250-0713.cnf 0.080 9722 113 50 3725 uf250-0994.cnf 0.070 9783 114 52 4275 uf250-0181.cnf 0.100 9790 127 57 4806 uf250-099.cnf 0.070 9890 113 51 3904 uf250-0406.cnf 0.080 9987 104 45 3582 uf250-0889.cnf 0.070 10099 93 39 3155 uf250-0248.cnf 0.080 10105 98 43 3406 uf250-0896.cnf 0.080 10181 104 44 3892 uf250-0921.cnf 0.080 10190 90 41 3230 uf250-0643.cnf 0.080 10197 88 39 3138 uf250-0659.cnf 0.090 10216 115 52 4538 uf250-0325.cnf 0.100 10225 148 70 5381 uf250-0333.cnf 0.090 10245 139 63 4963 uf250-0102.cnf 0.070 10380 87 36 3112 uf250-0977.cnf 0.080 10451 112 51 4153 uf250-0967.cnf 0.090 10456 146 70 5056 uf250-084.cnf 0.100 10505 166 79 6107 uf250-0485.cnf 0.090 10601 123 57 4732 uf250-0607.cnf 0.070 10649 95 39 3059 uf250-0260.cnf 0.080 10653 118 50 4088 uf250-0262.cnf 0.070 10754 117 53 4189 uf250-0991.cnf 0.080 10804 152 71 4952 uf250-021.cnf 0.100 10841 157 74 5370 uf250-0549.cnf 0.080 10891 101 45 3391 uf250-0711.cnf 0.080 10934 113 52 4044 uf250-0310.cnf 0.080 11035 123 56 3983 uf250-0786.cnf 0.080 11062 121 55 4626 uf250-0726.cnf 0.080 11093 120 54 4433 uf250-0115.cnf 0.090 11233 135 64 5717 uf250-0840.cnf 0.090 11417 153 73 5686 uf250-0421.cnf 0.080 11426 120 55 4425 uf250-0881.cnf 0.120 11524 167 82 6736 uf250-0391.cnf 0.080 11599 128 58 4683 uf250-0890.cnf 0.080 11659 157 73 5502 uf250-0197.cnf 0.090 11676 141 65 5091 uf250-0704.cnf 0.110 11814 201 94 7853 uf250-0652.cnf 0.090 11851 132 61 4988 uf250-0393.cnf 0.090 11965 125 60 4595 uf250-0685.cnf 0.090 11980 192 92 7234 uf250-0637.cnf 0.080 11996 137 64 4807 uf250-0876.cnf 0.080 12032 129 62 4832 uf250-0946.cnf 0.080 12312 139 66 5393 uf250-0188.cnf 0.080 12318 130 61 4683 uf250-0446.cnf 0.110 12586 217 102 8131 uf250-066.cnf 0.100 12767 159 76 5729 uf250-0463.cnf 0.110 12891 164 78 6220 uf250-0420.cnf 0.100 13010 159 77 6061 uf250-0383.cnf 0.090 13136 158 72 5835 uf250-0555.cnf 0.110 13158 191 92 7139 uf250-0867.cnf 0.100 13190 170 79 6374 uf250-0294.cnf 0.090 13217 148 67 5056 uf250-0808.cnf 0.110 13222 198 95 7173 uf250-0228.cnf 0.080 13259 124 56 4643 uf250-0883.cnf 0.100 13277 182 86 6692 uf250-0674.cnf 0.110 13420 218 105 8018 uf250-0578.cnf 0.090 13453 128 56 4525 uf250-0534.cnf 0.110 13458 163 77 6465 uf250-0728.cnf 0.120 13470 157 79 6552 uf250-0335.cnf 0.110 13507 168 80 6388 uf250-0466.cnf 0.110 13559 161 76 6216 uf250-0303.cnf 0.100 13707 155 71 5597 uf250-010.cnf 0.100 13864 180 85 6761 uf250-068.cnf 0.100 13872 164 77 6502 uf250-0774.cnf 0.110 13989 211 104 7718 uf250-0366.cnf 0.120 14029 169 80 6289 uf250-0747.cnf 0.110 14044 166 79 6343 uf250-0491.cnf 0.130 14046 179 84 6553 uf250-0928.cnf 0.110 14065 198 94 7225 uf250-0156.cnf 0.100 14107 206 98 7298 uf250-0304.cnf 0.120 14157 211 99 7634 uf250-0200.cnf 0.100 14204 162 76 5968 uf250-029.cnf 0.130 14226 167 78 6460 uf250-097.cnf 0.080 14307 151 70 5184 uf250-0118.cnf 0.090 14389 144 68 5248 uf250-0771.cnf 0.110 14408 178 87 6400 uf250-0836.cnf 0.100 14500 159 73 5500 uf250-0243.cnf 0.120 14505 179 83 6990 uf250-048.cnf 0.110 14511 172 81 6349 uf250-0566.cnf 0.120 14565 217 104 8345 uf250-0424.cnf 0.100 14629 162 76 6191 uf250-0561.cnf 0.100 14784 155 72 5431 uf250-073.cnf 0.100 14958 154 73 5901 uf250-0722.cnf 0.130 15122 216 103 8167 uf250-0935.cnf 0.140 15179 248 118 9227 uf250-0714.cnf 0.110 15250 178 89 7215 uf250-063.cnf 0.120 15350 196 94 7644 uf250-0831.cnf 0.120 15423 208 97 7672 uf250-0175.cnf 0.110 15529 199 96 7403 uf250-0211.cnf 0.120 15711 193 93 7356 uf250-0376.cnf 0.110 15884 193 92 6882 uf250-0730.cnf 0.110 15943 169 80 6477 uf250-065.cnf 0.120 15997 214 103 7538 uf250-012.cnf 0.130 16090 239 118 8893 uf250-0761.cnf 0.130 16123 260 126 9618 uf250-0645.cnf 0.120 16372 221 104 7484 uf250-080.cnf 0.130 16400 232 112 8650 uf250-0563.cnf 0.110 16695 184 85 6414 uf250-0985.cnf 0.140 16723 265 129 10094 uf250-086.cnf 0.150 17086 260 124 9873 uf250-0580.cnf 0.120 17331 217 104 8326 uf250-0863.cnf 0.130 17416 237 112 8782 uf250-0247.cnf 0.150 17428 286 139 10515 uf250-0557.cnf 0.140 17895 219 106 8149 uf250-0293.cnf 0.140 18005 235 114 8398 uf250-0208.cnf 0.140 18006 244 120 8789 uf250-0629.cnf 0.120 18112 250 120 9127 uf250-0996.cnf 0.140 18180 241 116 9260 uf250-0664.cnf 0.140 18213 235 112 8592 uf250-0691.cnf 0.140 18219 253 122 9408 uf250-096.cnf 0.110 18282 166 78 6312 uf250-0203.cnf 0.140 18370 256 124 9481 uf250-0116.cnf 0.120 18372 206 101 7724 uf250-0448.cnf 0.160 18387 266 129 9924 uf250-062.cnf 0.110 18414 219 105 7268 uf250-0960.cnf 0.160 18451 282 138 10943 uf250-0632.cnf 0.140 18585 277 134 10258 uf250-0163.cnf 0.130 18602 219 109 8004 uf250-0346.cnf 0.140 18618 238 114 9081 uf250-0822.cnf 0.120 18649 176 84 6662 uf250-0117.cnf 0.130 18821 226 110 8206 uf250-0833.cnf 0.160 18838 310 150 11423 uf250-0757.cnf 0.150 19033 298 144 10022 uf250-0943.cnf 0.140 19379 242 119 8919 uf250-0418.cnf 0.140 19429 267 133 10581 uf250-0682.cnf 0.150 19737 256 125 9383 uf250-0759.cnf 0.150 19871 275 136 10633 uf250-0687.cnf 0.160 19932 306 150 11543 uf250-0436.cnf 0.130 19963 255 123 9349 uf250-025.cnf 0.140 20014 251 121 9168 uf250-0481.cnf 0.160 20052 275 133 10379 uf250-0623.cnf 0.130 20158 229 108 8735 uf250-0124.cnf 0.140 20200 203 101 8010 uf250-0582.cnf 0.160 20245 309 151 11732 uf250-0709.cnf 0.180 20522 309 152 11699 uf250-0258.cnf 0.130 20651 239 113 8291 uf250-0818.cnf 0.160 20684 284 140 10522 uf250-0954.cnf 0.160 21290 325 159 11749 uf250-0945.cnf 0.160 21311 291 145 11360 uf250-0230.cnf 0.180 21539 305 152 11969 uf250-043.cnf 0.160 21795 314 153 11411 uf250-0482.cnf 0.150 21974 284 139 10930 uf250-0321.cnf 0.140 22087 240 115 8553 uf250-0910.cnf 0.160 22118 312 154 12458 uf250-0969.cnf 0.200 22155 355 172 13400 uf250-0975.cnf 0.160 22204 296 148 11152 uf250-0640.cnf 0.180 22348 317 159 12607 uf250-0911.cnf 0.150 22390 262 126 9889 uf250-0372.cnf 0.150 22392 300 148 11688 uf250-0695.cnf 0.170 22397 319 153 11651 uf250-0488.cnf 0.200 22506 390 193 14471 uf250-0522.cnf 0.170 22538 322 159 12270 uf250-0517.cnf 0.200 22692 356 178 14254 uf250-0676.cnf 0.160 23114 269 134 10635 uf250-0505.cnf 0.160 23226 270 129 9662 uf250-094.cnf 0.180 23296 345 166 12187 uf250-0498.cnf 0.180 23371 300 149 11053 uf250-0748.cnf 0.140 23388 266 129 9630 uf250-0707.cnf 0.190 23489 351 170 13619 uf250-0591.cnf 0.180 23634 361 181 13559 uf250-0213.cnf 0.180 23715 290 142 10850 uf250-0649.cnf 0.160 23904 302 147 11027 uf250-0148.cnf 0.180 23943 342 169 13167 uf250-0494.cnf 0.160 24003 303 149 11273 uf250-0672.cnf 0.190 24042 361 177 14226 uf250-0336.cnf 0.180 24101 330 164 11722 uf250-0237.cnf 0.190 24257 348 171 13391 uf250-041.cnf 0.150 24312 259 129 9484 uf250-0778.cnf 0.200 24548 394 198 15545 uf250-0153.cnf 0.200 24759 408 200 15139 uf250-0858.cnf 0.180 24812 315 154 11882 uf250-0426.cnf 0.180 24922 331 163 12681 uf250-0292.cnf 0.190 24965 378 184 14346 uf250-0176.cnf 0.180 25592 363 177 13829 uf250-0841.cnf 0.200 25678 368 181 13783 uf250-0630.cnf 0.180 25695 310 151 11556 uf250-0813.cnf 0.150 25739 264 129 9594 uf250-0821.cnf 0.180 26099 339 169 12315 uf250-0240.cnf 0.200 26111 416 206 15466 uf250-0750.cnf 0.210 26218 413 208 16097 uf250-0907.cnf 0.240 26449 420 209 16849 uf250-0666.cnf 0.210 26603 418 207 15929 uf250-0783.cnf 0.180 26801 315 155 12294 uf250-0832.cnf 0.200 26880 405 200 15379 uf250-0819.cnf 0.180 26953 336 164 12578 uf250-0158.cnf 0.190 27045 367 178 13786 uf250-0363.cnf 0.220 27055 433 215 15664 uf250-0668.cnf 0.210 27281 403 199 16001 uf250-0531.cnf 0.200 28203 359 181 13838 uf250-0862.cnf 0.200 28261 377 187 13548 uf250-0374.cnf 0.210 28848 358 178 13085 uf250-0392.cnf 0.190 28922 367 181 13206 uf250-0719.cnf 0.190 29129 325 159 11557 uf250-0782.cnf 0.220 29462 470 233 17502 uf250-0194.cnf 0.220 29606 416 206 15538 uf250-0770.cnf 0.170 29675 339 163 12436 uf250-0492.cnf 0.230 29687 410 201 15864 uf250-023.cnf 0.200 29746 386 188 14545 uf250-0993.cnf 0.220 29821 396 191 15129 uf250-0259.cnf 0.240 29897 428 209 16089 uf250-0941.cnf 0.220 29963 402 198 14945 uf250-0949.cnf 0.230 30229 453 224 17300 uf250-0974.cnf 0.180 30345 329 160 12584 uf250-0477.cnf 0.210 30378 418 205 14723 uf250-0141.cnf 0.210 30570 413 205 14981 uf250-0879.cnf 0.180 30605 307 150 11279 uf250-0600.cnf 0.250 30640 463 230 18102 uf250-0856.cnf 0.220 30920 454 227 17503 uf250-0784.cnf 0.240 30965 450 225 17399 uf250-0596.cnf 0.210 30988 419 210 15790 uf250-0959.cnf 0.190 31000 342 167 11640 uf250-0145.cnf 0.250 31025 472 233 18605 uf250-0311.cnf 0.230 31031 474 236 17350 uf250-0183.cnf 0.200 31079 402 200 14695 uf250-089.cnf 0.280 31307 561 279 21458 uf250-0537.cnf 0.220 31332 425 211 15501 uf250-0445.cnf 0.250 31386 506 254 19838 uf250-0976.cnf 0.220 31392 446 222 16275 uf250-0470.cnf 0.250 31443 473 234 17415 uf250-0598.cnf 0.280 31545 573 284 21869 uf250-0305.cnf 0.230 31607 412 205 15331 uf250-0918.cnf 0.220 31621 448 222 16436 uf250-0952.cnf 0.260 31642 455 228 17732 uf250-0823.cnf 0.230 31661 433 214 16266 uf250-0678.cnf 0.210 31686 396 192 14263 uf250-0227.cnf 0.230 31741 435 214 16659 uf250-0196.cnf 0.230 31745 404 202 15904 uf250-0613.cnf 0.220 31879 430 213 16321 uf250-0983.cnf 0.230 32265 467 229 17801 uf250-0215.cnf 0.210 32420 456 226 17302 uf250-0552.cnf 0.270 32566 543 269 20101 uf250-0973.cnf 0.230 32637 471 236 18337 uf250-0263.cnf 0.200 32657 354 172 13213 uf250-0834.cnf 0.210 32821 408 201 15020 uf250-0926.cnf 0.210 32826 374 188 13984 uf250-0978.cnf 0.280 32923 527 267 20169 uf250-04.cnf 0.250 32958 526 265 19942 uf250-0852.cnf 0.250 33098 472 233 17561 uf250-0312.cnf 0.250 33103 527 265 20035 uf250-0515.cnf 0.220 33318 427 208 15318 uf250-0986.cnf 0.270 33357 538 267 20574 uf250-0164.cnf 0.220 33443 437 218 15824 uf250-0362.cnf 0.250 33598 486 247 18293 uf250-08.cnf 0.240 33699 523 263 19488 uf250-0245.cnf 0.260 33750 504 252 19805 uf250-0715.cnf 0.230 34211 437 219 16521 uf250-0503.cnf 0.210 34332 389 190 14369 uf250-0958.cnf 0.250 34346 475 237 18972 uf250-0638.cnf 0.230 34365 478 237 17161 uf250-0906.cnf 0.310 34467 600 303 22713 uf250-0660.cnf 0.230 34487 467 230 17404 uf250-042.cnf 0.230 34591 455 221 16684 uf250-0449.cnf 0.240 34595 467 230 17717 uf250-0381.cnf 0.300 34620 578 288 22011 uf250-0556.cnf 0.290 34644 562 277 21686 uf250-0462.cnf 0.190 34752 440 216 16137 uf250-0548.cnf 0.220 34875 477 238 17992 uf250-0805.cnf 0.260 34913 552 277 20999 uf250-0261.cnf 0.250 34943 476 239 18623 uf250-0274.cnf 0.260 35120 547 278 21976 uf250-0733.cnf 0.280 35639 525 260 19926 uf250-0681.cnf 0.260 35904 471 235 18259 uf250-0625.cnf 0.280 36023 553 276 21176 uf250-047.cnf 0.260 36044 500 250 18571 uf250-0631.cnf 0.280 36329 581 291 21361 uf250-0473.cnf 0.240 36459 492 245 18150 uf250-0401.cnf 0.240 36691 487 240 18769 uf250-0878.cnf 0.260 36791 497 250 19150 uf250-0201.cnf 0.280 37160 499 245 19152 uf250-0416.cnf 0.270 37162 519 259 19539 uf250-0792.cnf 0.270 37355 511 259 19791 uf250-0891.cnf 0.300 37486 619 308 23585 uf250-0820.cnf 0.290 37902 559 277 21601 uf250-0942.cnf 0.260 38072 570 283 22155 uf250-050.cnf 0.270 38126 542 269 21068 uf250-0901.cnf 0.240 38153 493 247 17836 uf250-01.cnf 0.260 38208 519 260 19694 uf250-0399.cnf 0.290 38417 601 309 22876 uf250-0441.cnf 0.290 38476 550 274 20763 uf250-0595.cnf 0.320 38566 637 318 24674 uf250-015.cnf 0.300 38664 618 312 24135 uf250-0789.cnf 0.280 39090 591 294 21618 uf250-0769.cnf 0.250 39091 542 266 18920 uf250-0904.cnf 0.270 39128 590 296 22313 uf250-0371.cnf 0.300 39967 580 286 21433 uf250-013.cnf 0.320 40019 647 325 25201 uf250-0551.cnf 0.290 40236 546 271 20910 uf250-0286.cnf 0.270 40272 519 257 19966 uf250-0384.cnf 0.280 40536 568 282 21138 uf250-0742.cnf 0.240 40649 447 220 16032 uf250-0279.cnf 0.300 40914 608 304 22566 uf250-0882.cnf 0.300 40936 598 297 22445 uf250-0963.cnf 0.310 41092 621 311 23499 uf250-0173.cnf 0.270 41324 576 285 21036 uf250-0440.cnf 0.270 41426 574 284 20965 uf250-0413.cnf 0.340 41640 725 362 27750 uf250-0929.cnf 0.300 41829 573 289 22246 uf250-0984.cnf 0.240 41944 529 261 18977 uf250-0641.cnf 0.260 42304 485 239 17809 uf250-051.cnf 0.310 42447 658 331 24986 uf250-0460.cnf 0.270 42587 557 275 20578 uf250-0900.cnf 0.280 42594 594 298 22723 uf250-0694.cnf 0.310 42654 598 299 22880 uf250-0121.cnf 0.360 42855 683 344 26364 uf250-0172.cnf 0.300 42856 611 306 22796 uf250-0232.cnf 0.310 42870 656 327 24310 uf250-0253.cnf 0.280 42908 528 258 19369 uf250-0752.cnf 0.350 43065 674 341 25858 uf250-0680.cnf 0.340 43313 759 385 29547 uf250-0801.cnf 0.330 43330 746 373 27030 uf250-0238.cnf 0.290 43431 581 291 21987 uf250-095.cnf 0.300 43754 626 313 23583 uf250-0264.cnf 0.330 43844 703 354 27142 uf250-0697.cnf 0.370 44052 708 355 27299 uf250-0744.cnf 0.340 44236 651 326 24295 uf250-0434.cnf 0.260 44361 478 237 16900 uf250-0137.cnf 0.300 44605 605 304 23866 uf250-0599.cnf 0.310 44982 658 330 24542 uf250-018.cnf 0.310 45050 596 300 22478 uf250-0893.cnf 0.340 45146 680 342 25718 uf250-0275.cnf 0.310 45224 624 313 23303 uf250-0269.cnf 0.300 45286 571 284 22744 uf250-0544.cnf 0.350 45346 657 326 25387 uf250-0234.cnf 0.310 45562 606 301 22518 uf250-0239.cnf 0.340 45594 707 353 27159 uf250-0877.cnf 0.280 45699 600 297 20500 uf250-0226.cnf 0.350 45736 668 330 24594 uf250-0326.cnf 0.290 46257 603 301 22702 uf250-0320.cnf 0.300 46394 540 270 20863 uf250-0837.cnf 0.290 46771 574 288 21123 uf250-0679.cnf 0.320 46917 623 314 23124 uf250-0849.cnf 0.340 46972 667 338 26236 uf250-0151.cnf 0.290 47077 600 298 23188 uf250-0703.cnf 0.320 47426 651 325 23813 uf250-0154.cnf 0.300 47469 602 296 21233 uf250-0565.cnf 0.360 47643 718 361 27206 uf250-0390.cnf 0.320 47894 700 350 26295 uf250-090.cnf 0.340 48175 729 362 27114 uf250-0875.cnf 0.360 48308 813 408 30881 uf250-0350.cnf 0.370 48492 757 378 28247 uf250-0280.cnf 0.380 48563 755 382 29663 uf250-0309.cnf 0.380 48691 746 373 28584 uf250-0828.cnf 0.350 48963 727 364 27844 uf250-053.cnf 0.370 49009 734 369 28532 uf250-0216.cnf 0.390 49641 781 392 30183 uf250-0402.cnf 0.370 49669 744 371 27718 uf250-0357.cnf 0.410 49771 822 415 31929 uf250-0754.cnf 0.300 49893 620 308 23153 uf250-014.cnf 0.370 50003 694 345 27535 uf250-0780.cnf 0.390 50087 824 421 30886 uf250-0800.cnf 0.380 50105 754 380 29732 uf250-0908.cnf 0.330 50163 665 331 25395 uf250-0845.cnf 0.350 50324 730 367 27481 uf250-067.cnf 0.380 50731 792 394 29707 uf250-0669.cnf 0.360 50770 681 343 26890 uf250-0478.cnf 0.330 50887 702 350 25780 uf250-0327.cnf 0.350 50901 787 394 29721 uf250-0352.cnf 0.360 50910 755 376 28918 uf250-0444.cnf 0.350 51055 674 339 25761 uf250-0388.cnf 0.320 51087 660 328 23297 uf250-0777.cnf 0.370 51161 817 409 31218 uf250-0378.cnf 0.390 51451 811 408 31164 uf250-0332.cnf 0.350 51562 650 324 25180 uf250-0354.cnf 0.340 51635 740 369 26502 uf250-0184.cnf 0.450 51775 942 473 35575 uf250-0602.cnf 0.350 51964 684 344 26176 uf250-0850.cnf 0.380 52124 793 394 30229 uf250-0438.cnf 0.400 52566 873 438 31660 uf250-0525.cnf 0.340 52620 675 339 25223 uf250-0328.cnf 0.350 52943 654 328 24263 uf250-0767.cnf 0.350 53052 727 361 26537 uf250-0142.cnf 0.340 53075 680 338 25190 uf250-0670.cnf 0.310 53229 603 301 22580 uf250-0988.cnf 0.420 53312 841 421 30983 uf250-0608.cnf 0.430 53399 820 411 32668 uf250-0431.cnf 0.320 53829 719 359 25452 uf250-0950.cnf 0.390 53842 818 407 31004 uf250-0799.cnf 0.380 53890 744 370 27899 uf250-0655.cnf 0.350 54286 729 366 26687 uf250-0741.cnf 0.370 54558 711 359 27904 uf250-0698.cnf 0.320 54599 655 325 23836 uf250-0231.cnf 0.380 54699 753 374 27757 uf250-0538.cnf 0.390 54978 748 374 28956 uf250-0523.cnf 0.470 54988 1010 512 38001 uf250-0924.cnf 0.380 55274 743 373 28883 uf250-0329.cnf 0.430 55568 824 413 31931 uf250-0661.cnf 0.380 55575 739 372 28495 uf250-0315.cnf 0.370 55698 778 391 29866 uf250-0435.cnf 0.430 55762 878 440 33430 uf250-0806.cnf 0.380 55782 828 418 30394 uf250-0583.cnf 0.410 55830 889 444 33465 uf250-0716.cnf 0.370 55987 776 389 29202 uf250-0696.cnf 0.380 56194 790 396 29461 uf250-0606.cnf 0.360 56436 723 364 26329 uf250-0738.cnf 0.380 56518 762 382 27487 uf250-0458.cnf 0.410 56922 866 432 32829 uf250-0225.cnf 0.410 57243 836 420 31870 uf250-0429.cnf 0.370 57264 806 404 30403 uf250-0870.cnf 0.400 57377 850 431 32609 uf250-0236.cnf 0.440 57458 911 457 34116 uf250-0519.cnf 0.360 57601 727 365 26768 uf250-0288.cnf 0.380 57702 774 390 29989 uf250-0998.cnf 0.390 57780 885 443 32201 uf250-0848.cnf 0.340 57868 746 368 27747 uf250-046.cnf 0.360 57870 748 373 27877 uf250-076.cnf 0.410 58033 821 416 30973 uf250-0285.cnf 0.430 58211 847 423 32275 uf250-0809.cnf 0.410 58287 795 400 30835 uf250-0520.cnf 0.450 58689 946 475 36137 uf250-0297.cnf 0.390 58801 774 389 29352 uf250-0296.cnf 0.400 58877 839 421 30675 uf250-0104.cnf 0.440 58928 904 452 34302 uf250-057.cnf 0.370 59105 790 392 29905 uf250-0428.cnf 0.370 59161 736 369 27370 uf250-034.cnf 0.420 59677 888 445 33643 uf250-0745.cnf 0.460 59741 955 484 36217 uf250-0502.cnf 0.360 59794 705 352 27118 uf250-0365.cnf 0.410 59841 859 429 32302 uf250-0751.cnf 0.430 59941 888 446 33759 uf250-0461.cnf 0.400 60062 853 423 31634 uf250-0452.cnf 0.470 60098 1014 508 38074 uf250-0677.cnf 0.450 60101 939 480 36850 uf250-0673.cnf 0.410 60123 902 456 33020 uf250-0319.cnf 0.410 60141 834 413 31030 uf250-0338.cnf 0.430 60425 883 445 33460 uf250-0902.cnf 0.450 60448 1036 520 38584 uf250-059.cnf 0.390 60590 758 380 28635 uf250-055.cnf 0.390 60933 747 374 28082 uf250-0127.cnf 0.370 60998 730 367 25737 uf250-0903.cnf 0.460 61260 934 472 35846 uf250-083.cnf 0.400 61362 846 427 31969 uf250-0535.cnf 0.430 61815 868 437 34382 uf250-0700.cnf 0.490 61873 973 493 37843 uf250-03.cnf 0.380 61996 769 386 28981 uf250-0457.cnf 0.480 62267 991 500 37743 uf250-0375.cnf 0.510 62492 1045 528 42009 uf250-0317.cnf 0.490 62638 1027 519 40445 uf250-0276.cnf 0.420 62715 887 443 33462 uf250-0853.cnf 0.430 63000 880 448 33877 uf250-0340.cnf 0.480 63007 937 468 37847 uf250-0727.cnf 0.510 63267 1037 521 40147 uf250-0308.cnf 0.440 63399 932 467 34721 uf250-0277.cnf 0.450 63460 964 488 36767 uf250-070.cnf 0.420 63676 958 480 36174 uf250-0633.cnf 0.450 63775 911 459 35105 uf250-0497.cnf 0.380 63836 806 402 28988 uf250-0639.cnf 0.460 64393 924 468 34627 uf250-0306.cnf 0.440 65095 954 483 36013 uf250-0590.cnf 0.480 65103 973 493 37460 uf250-092.cnf 0.410 65129 886 451 32864 uf250-064.cnf 0.450 65144 962 489 36322 uf250-0455.cnf 0.400 65237 809 406 30101 uf250-0593.cnf 0.480 65762 1000 505 38486 uf250-0701.cnf 0.430 65776 896 449 34201 uf250-078.cnf 0.470 65938 887 444 33815 uf250-0146.cnf 0.480 66541 1092 554 42461 uf250-0824.cnf 0.460 67181 1028 518 37746 uf250-0865.cnf 0.470 67383 1029 515 38066 uf250-0636.cnf 0.430 67784 892 446 33159 uf250-0919.cnf 0.500 68234 1033 522 39468 uf250-060.cnf 0.460 68250 894 450 35815 uf250-0233.cnf 0.480 68266 957 483 37129 uf250-0671.cnf 0.460 68419 985 498 37616 uf250-0255.cnf 0.430 68585 909 457 33578 uf250-0107.cnf 0.510 68591 1020 522 39335 uf250-0755.cnf 0.550 69105 1172 590 44738 uf250-0925.cnf 0.540 69146 1175 594 44795 uf250-030.cnf 0.480 69288 993 499 37892 uf250-0192.cnf 0.500 70000 1057 531 39342 uf250-0788.cnf 0.510 70097 1032 520 39324 uf250-0705.cnf 0.510 70163 1042 528 40615 uf250-0272.cnf 0.500 70861 948 478 37395 uf250-0244.cnf 0.470 70929 969 484 36219 uf250-0570.cnf 0.440 71640 944 475 35836 uf250-0530.cnf 0.570 72041 1227 623 47533 uf250-0923.cnf 0.460 72119 1041 523 38172 uf250-0990.cnf 0.480 72190 997 501 36613 uf250-0873.cnf 0.490 72733 973 492 37152 uf250-0161.cnf 0.510 72944 1024 512 38949 uf250-0740.cnf 0.480 73058 1003 500 36648 uf250-0250.cnf 0.490 73217 1043 524 39021 uf250-0559.cnf 0.510 73292 1034 521 39777 uf250-0405.cnf 0.510 73971 1080 547 42204 uf250-0803.cnf 0.480 74144 999 501 37129 uf250-0675.cnf 0.480 74161 1040 522 38641 uf250-0564.cnf 0.480 74401 981 492 36731 uf250-0185.cnf 0.450 74479 914 457 33521 uf250-0469.cnf 0.590 75315 1283 654 49015 uf250-0615.cnf 0.570 75465 1177 596 45503 uf250-0936.cnf 0.530 75593 1088 551 41670 uf250-0933.cnf 0.520 75707 1143 577 43739 uf250-017.cnf 0.570 75736 1221 615 46397 uf250-0351.cnf 0.480 75742 986 493 37610 uf250-0210.cnf 0.520 75929 1077 539 40036 uf250-0794.cnf 0.570 76042 1178 600 46044 uf250-0746.cnf 0.500 76094 1069 539 39753 uf250-071.cnf 0.520 76469 1085 548 40641 uf250-0442.cnf 0.500 76952 1014 511 38426 uf250-0459.cnf 0.550 77011 1085 553 42430 uf250-0398.cnf 0.560 77224 1166 585 42915 uf250-0553.cnf 0.580 77409 1250 634 48317 uf250-0603.cnf 0.550 77461 1294 653 49360 uf250-0268.cnf 0.560 78040 1093 548 43171 uf250-022.cnf 0.500 78194 1116 559 41052 uf250-0369.cnf 0.560 78381 1116 560 42369 uf250-0282.cnf 0.580 78552 1226 622 45713 uf250-0464.cnf 0.530 78721 1076 542 41175 uf250-07.cnf 0.540 78729 1241 621 46540 uf250-0109.cnf 0.530 78840 1068 541 41602 uf250-0251.cnf 0.490 78864 1071 537 40495 uf250-0314.cnf 0.510 78936 1053 530 39106 uf250-0827.cnf 0.530 79159 1166 586 43633 uf250-0415.cnf 0.550 79413 1142 570 43739 uf250-0290.cnf 0.560 79647 1237 626 45644 uf250-0206.cnf 0.570 79710 1184 602 45901 uf250-0516.cnf 0.510 79798 1017 510 36647 uf250-0271.cnf 0.490 79959 967 487 35586 uf250-0560.cnf 0.580 80477 1125 565 42948 uf250-0195.cnf 0.600 80546 1266 646 48559 uf250-0868.cnf 0.550 80677 1214 612 45132 uf250-0281.cnf 0.590 80882 1331 674 48520 uf250-0105.cnf 0.620 80908 1231 618 48428 uf250-026.cnf 0.560 81169 1135 567 42372 uf250-0511.cnf 0.530 81316 1183 597 44677 uf250-0886.cnf 0.530 81877 1057 528 40109 uf250-0119.cnf 0.600 82697 1256 635 47793 uf250-0601.cnf 0.570 82776 1177 595 44230 uf250-0917.cnf 0.590 82847 1298 662 50136 uf250-0447.cnf 0.620 83442 1298 649 48863 uf250-06.cnf 0.530 83502 1120 569 41718 uf250-0585.cnf 0.550 83738 1199 601 44871 uf250-0395.cnf 0.530 83744 1083 544 41392 uf250-0214.cnf 0.600 83763 1219 615 47390 uf250-0289.cnf 0.610 83869 1285 657 48953 uf250-0509.cnf 0.670 84724 1367 693 53814 uf250-0256.cnf 0.500 84995 1018 510 36124 uf250-0829.cnf 0.630 85168 1307 662 49056 uf250-0542.cnf 0.610 85522 1318 674 50847 uf250-0940.cnf 0.650 85673 1267 642 48761 uf250-0267.cnf 0.620 85814 1265 646 49676 uf250-0708.cnf 0.610 85858 1283 649 49393 uf250-0307.cnf 0.630 85945 1314 663 49860 uf250-0731.cnf 0.590 86503 1246 635 47393 uf250-0133.cnf 0.580 86513 1290 652 49758 uf250-0508.cnf 0.590 86603 1276 646 48611 uf250-0656.cnf 0.620 86939 1342 681 50697 uf250-0982.cnf 0.610 86980 1346 677 51770 uf250-0796.cnf 0.590 86992 1224 618 45622 uf250-0999.cnf 0.610 87334 1270 639 47598 uf250-0628.cnf 0.600 87417 1247 622 47721 uf250-0724.cnf 0.620 87471 1290 657 50084 uf250-0106.cnf 0.600 87802 1203 606 45133 uf250-0193.cnf 0.670 88789 1429 724 54855 uf250-0220.cnf 0.550 90094 1160 587 41830 uf250-0513.cnf 0.690 90148 1418 717 55112 uf250-0187.cnf 0.670 90265 1527 773 57889 uf250-0971.cnf 0.660 90525 1603 813 60063 uf250-0222.cnf 0.680 90878 1406 714 56149 uf250-0423.cnf 0.560 91142 1239 618 45703 uf250-0992.cnf 0.560 91147 1150 575 43005 uf250-0972.cnf 0.570 91799 1190 600 45520 uf250-0579.cnf 0.590 92379 1268 640 47764 uf250-0587.cnf 0.620 92550 1303 659 48530 uf250-0126.cnf 0.690 92706 1625 821 59613 uf250-0500.cnf 0.590 92773 1336 668 48391 uf250-0915.cnf 0.660 93000 1318 666 50844 uf250-0476.cnf 0.670 93327 1539 781 57360 uf250-0396.cnf 0.650 93922 1342 676 51090 uf250-0235.cnf 0.630 94073 1421 718 52513 uf250-0342.cnf 0.650 94162 1452 737 54118 uf250-0323.cnf 0.700 94559 1537 786 57292 uf250-0609.cnf 0.700 95216 1488 747 56340 uf250-0541.cnf 0.690 95859 1413 717 55240 uf250-0475.cnf 0.730 96057 1595 808 63230 uf250-0916.cnf 0.640 96519 1291 651 49231 uf250-074.cnf 0.760 97076 1723 879 65006 uf250-0493.cnf 0.560 97352 1204 611 44898 uf250-011.cnf 0.600 97656 1310 660 49450 uf250-0526.cnf 0.670 97795 1433 722 55238 uf250-0528.cnf 0.660 97929 1398 704 54148 uf250-0869.cnf 0.730 98188 1541 781 58722 uf250-0665.cnf 0.640 98564 1370 691 50371 uf250-0825.cnf 0.620 98573 1310 658 48638 uf250-0880.cnf 0.670 98831 1401 707 53002 uf250-032.cnf 0.650 99281 1352 683 51846 uf250-0861.cnf 0.650 99457 1352 687 50706 uf250-0775.cnf 0.640 99957 1373 690 51550 uf250-0212.cnf 0.700 100075 1566 792 59128 uf250-0474.cnf 0.670 100451 1279 641 48586 uf250-0379.cnf 0.690 100594 1410 714 52918 uf250-019.cnf 0.710 101473 1595 809 59476 uf250-0453.cnf 0.610 101731 1321 667 48347 uf250-0812.cnf 0.730 102299 1494 761 58337 uf250-0573.cnf 0.700 102534 1619 821 59955 uf250-0785.cnf 0.740 102536 1592 809 59887 uf250-0467.cnf 0.700 103643 1494 753 56145 uf250-0951.cnf 0.680 104173 1486 748 55413 uf250-0779.cnf 0.820 104233 1692 858 66829 uf250-0483.cnf 0.640 104266 1417 715 51035 uf250-0524.cnf 0.740 104716 1495 752 57028 uf250-0939.cnf 0.780 104771 1683 852 63608 uf250-0241.cnf 0.720 105275 1545 785 59854 uf250-0168.cnf 0.720 105387 1590 801 60489 uf250-093.cnf 0.710 105661 1520 765 57406 uf250-0914.cnf 0.790 106200 1657 840 63283 uf250-0339.cnf 0.690 106222 1387 701 53926 uf250-0242.cnf 0.690 106232 1473 744 54715 uf250-0810.cnf 0.760 106265 1514 767 57930 uf250-0860.cnf 0.790 106471 1726 874 66808 uf250-082.cnf 0.640 106517 1340 671 50248 uf250-0209.cnf 0.680 107255 1481 749 54847 uf250-081.cnf 0.740 107455 1521 768 57787 uf250-0533.cnf 0.790 107762 1575 796 61149 uf250-0140.cnf 0.720 108248 1559 789 57475 uf250-0871.cnf 0.800 108303 1593 804 63416 uf250-0229.cnf 0.840 108749 1778 903 67323 uf250-0920.cnf 0.760 108791 1574 798 60161 uf250-0897.cnf 0.770 109194 1642 826 63290 uf250-0499.cnf 0.730 109724 1582 798 61285 uf250-058.cnf 0.760 109894 1712 867 64641 uf250-0847.cnf 0.690 110178 1582 802 58941 uf250-0648.cnf 0.850 110367 1700 856 64646 uf250-0736.cnf 0.760 110685 1633 825 62126 uf250-0159.cnf 0.760 110780 1537 777 58160 uf250-0507.cnf 0.770 112223 1633 829 62879 uf250-036.cnf 0.760 112473 1541 781 58425 uf250-0110.cnf 0.790 112635 1680 849 64786 uf250-049.cnf 0.710 113060 1526 771 56490 uf250-0536.cnf 0.860 114015 1929 982 72114 uf250-0888.cnf 0.730 114056 1554 784 57439 uf250-0273.cnf 0.810 114077 1574 792 60869 uf250-0807.cnf 0.770 114195 1645 832 60433 uf250-091.cnf 0.770 114596 1571 793 59355 uf250-0270.cnf 0.770 114623 1721 868 63271 uf250-0866.cnf 0.760 114680 1642 828 60800 uf250-079.cnf 0.780 115083 1789 903 68700 uf250-0758.cnf 0.770 115318 1761 890 65109 uf250-031.cnf 0.660 115427 1473 737 54576 uf250-0842.cnf 0.790 115451 1658 840 62147 uf250-0612.cnf 0.730 115566 1504 757 56704 uf250-0644.cnf 0.820 115595 1692 855 64392 uf250-0136.cnf 0.740 116046 1496 758 55344 uf250-0155.cnf 0.830 116319 1802 907 69406 uf250-0898.cnf 0.840 116392 1821 925 68716 uf250-0284.cnf 0.850 117116 1740 880 65947 uf250-0411.cnf 0.800 117564 1840 929 69672 uf250-0334.cnf 0.750 117709 1645 833 60431 uf250-056.cnf 0.830 118422 1746 891 67652 uf250-0389.cnf 0.800 118640 1708 866 65133 uf250-0776.cnf 0.860 119106 1817 919 69418 uf250-0370.cnf 0.850 119205 1820 919 67558 uf250-0756.cnf 0.760 119892 1580 802 59497 uf250-0111.cnf 0.790 120083 1767 888 64616 uf250-0765.cnf 0.800 120130 1649 834 62783 uf250-0540.cnf 0.790 120609 1648 826 61199 uf250-0617.cnf 0.850 120748 1896 961 71310 uf250-0224.cnf 0.710 120900 1462 732 55256 uf250-0894.cnf 0.890 121026 1876 945 72055 uf250-0318.cnf 0.790 121446 1764 883 66431 uf250-0690.cnf 0.890 122230 1895 955 70420 uf250-0816.cnf 0.770 123361 1588 806 59367 uf250-0614.cnf 0.850 123683 1701 860 65561 uf250-0186.cnf 0.860 123777 1867 939 68612 uf250-0887.cnf 0.810 124609 1859 940 69513 uf250-0278.cnf 0.760 125153 1698 858 61657 uf250-0506.cnf 0.840 125289 1864 942 70554 uf250-0114.cnf 0.750 125782 1635 819 58856 uf250-075.cnf 0.810 126217 1764 888 63975 uf250-0635.cnf 0.850 126232 1770 890 67481 uf250-0581.cnf 0.860 126381 1897 965 71295 uf250-0658.cnf 0.830 127291 1800 908 66405 uf250-0430.cnf 0.870 127690 1856 940 69591 uf250-0180.cnf 1.000 129188 2229 1130 84667 uf250-0298.cnf 0.870 129873 1923 971 72227 uf250-0437.cnf 0.780 130121 1623 817 60329 uf250-0864.cnf 0.980 130636 2259 1142 85150 uf250-069.cnf 0.850 131958 1797 910 66121 uf250-0843.cnf 0.990 132913 2003 1015 76780 uf250-0667.cnf 0.850 133223 1839 927 67455 uf250-0885.cnf 1.010 133361 2120 1070 82067 uf250-020.cnf 0.850 133555 1852 936 68014 uf250-0995.cnf 1.000 134286 2048 1038 80569 uf250-038.cnf 0.880 134460 1870 944 69764 uf250-0527.cnf 0.830 134878 1877 946 68101 uf250-0851.cnf 0.950 135947 2021 1022 77023 uf250-0647.cnf 0.880 136007 1889 953 70376 uf250-0160.cnf 0.920 136241 1978 996 73448 uf250-0692.cnf 0.870 136354 1955 991 73328 uf250-0373.cnf 0.950 136455 2005 1012 75759 uf250-0407.cnf 0.830 137002 1876 945 69449 uf250-0404.cnf 1.040 137387 2144 1086 82733 uf250-0219.cnf 0.850 137606 1877 947 68529 uf250-0721.cnf 1.010 138365 2080 1060 82203 uf250-0249.cnf 0.930 138649 2037 1034 75915 uf250-05.cnf 0.910 139257 1752 880 65202 uf250-0964.cnf 0.940 139751 2050 1035 78814 uf250-0207.cnf 0.990 139945 2388 1210 89565 uf250-0734.cnf 1.000 140185 2153 1088 79901 uf250-0732.cnf 1.000 140555 2201 1105 81262 uf250-0970.cnf 1.030 140988 2280 1157 86303 uf250-085.cnf 0.890 141240 2028 1027 72451 uf250-0427.cnf 1.050 141448 2169 1101 83429 uf250-0451.cnf 0.900 141844 1912 963 72819 uf250-0912.cnf 0.930 141873 2059 1041 76944 uf250-0589.cnf 1.040 142515 2224 1126 83950 uf250-0149.cnf 0.930 142596 2111 1067 78398 uf250-0622.cnf 1.020 142791 2108 1068 82108 uf250-0313.cnf 0.940 142807 2005 1020 78881 uf250-0403.cnf 0.880 143007 1905 955 68691 uf250-0892.cnf 1.050 143964 2281 1157 88637 uf250-0712.cnf 1.010 144064 2184 1108 83462 uf250-0795.cnf 1.040 144148 2288 1159 87397 uf250-0772.cnf 0.960 144313 2091 1064 80097 uf250-0301.cnf 0.950 144931 1928 972 71887 uf250-0562.cnf 0.850 144955 1895 957 68165 uf250-0717.cnf 1.060 145254 2314 1173 87758 uf250-0735.cnf 0.930 145560 2106 1065 78086 uf250-0987.cnf 0.880 145721 2000 1012 74260 uf250-0417.cnf 0.970 146049 2079 1048 77948 uf250-0846.cnf 0.910 146175 2035 1031 74696 uf250-0558.cnf 1.120 147011 2327 1186 89183 uf250-0355.cnf 1.070 147089 2269 1150 88426 uf250-0450.cnf 0.970 149806 2161 1090 78134 uf250-0899.cnf 1.020 151260 2179 1099 81005 uf250-0634.cnf 0.980 151377 2054 1037 76609 uf250-0621.cnf 0.970 151494 2146 1084 81546 uf250-0341.cnf 1.040 151724 2207 1121 84506 uf250-0539.cnf 0.970 152311 2065 1042 76781 uf250-0781.cnf 0.950 152763 2019 1020 74813 uf250-0947.cnf 0.990 153530 2133 1075 79219 uf250-0689.cnf 0.970 153587 2089 1057 77167 uf250-0605.cnf 0.920 155077 2009 1011 72982 uf250-045.cnf 1.120 155576 2396 1220 92821 uf250-0471.cnf 1.000 155847 2112 1067 78998 uf250-0953.cnf 1.160 157298 2652 1342 100430 uf250-0574.cnf 1.050 158095 2169 1098 82060 uf250-044.cnf 1.040 158412 2386 1208 87657 uf250-0135.cnf 0.980 158731 2197 1111 81597 uf250-0414.cnf 1.020 158904 2202 1111 83900 uf250-0295.cnf 1.120 160875 2414 1219 90215 uf250-016.cnf 1.090 162202 2495 1261 93484 uf250-0204.cnf 1.100 162529 2432 1231 91471 uf250-0720.cnf 1.060 162919 2366 1197 89467 uf250-0299.cnf 1.040 164198 2398 1208 87531 uf250-0571.cnf 1.040 164851 2298 1159 85499 uf250-040.cnf 1.040 165793 2437 1234 88101 uf250-0132.cnf 1.130 166918 2573 1306 98367 uf250-0616.cnf 1.070 167040 2362 1196 88674 uf250-0981.cnf 1.200 169709 2575 1312 98226 uf250-0190.cnf 1.100 170361 2280 1157 86447 uf250-0472.cnf 0.990 170441 2177 1099 80085 uf250-0129.cnf 1.080 170682 2514 1276 91210 uf250-0454.cnf 1.160 172258 2601 1314 96101 uf250-0514.cnf 1.210 175557 2632 1335 99208 uf250-0465.cnf 1.110 176326 2423 1226 89085 uf250-0495.cnf 1.250 176436 2783 1414 107250 uf250-0815.cnf 1.270 177365 2786 1411 105199 uf250-0484.cnf 1.080 177827 2337 1176 85093 uf250-0167.cnf 1.230 179273 2546 1285 97292 uf250-0377.cnf 1.140 179672 2529 1280 93284 uf250-0927.cnf 1.300 179921 2735 1386 104631 uf250-0246.cnf 1.070 181265 2298 1163 84936 uf250-0830.cnf 1.200 181845 2863 1450 104413 uf250-0518.cnf 1.270 182022 2726 1382 103100 uf250-0965.cnf 1.230 183280 2605 1318 99883 uf250-0489.cnf 1.230 184489 2752 1401 104579 uf250-0955.cnf 1.130 184949 2455 1238 90539 uf250-0157.cnf 1.340 185108 2753 1392 105683 uf250-0627.cnf 1.110 185553 2393 1210 90303 uf250-0592.cnf 1.260 186960 2713 1373 103182 uf250-0787.cnf 1.270 187825 2774 1409 106181 uf250-054.cnf 1.320 189270 3001 1520 110673 uf250-0125.cnf 1.320 189572 2922 1478 113371 uf250-0169.cnf 1.290 189663 2803 1422 106335 uf250-088.cnf 1.190 190601 2523 1286 97669 uf250-0739.cnf 1.340 190893 2979 1516 111885 uf250-0353.cnf 1.140 191581 2589 1313 94166 uf250-0147.cnf 1.250 192950 2784 1405 102113 uf250-0490.cnf 1.470 193990 3342 1699 127636 uf250-0859.cnf 1.290 194191 2900 1469 107731 uf250-0182.cnf 1.330 194942 3009 1532 113596 uf250-0749.cnf 1.520 195437 3445 1758 132342 uf250-0496.cnf 1.350 195891 2978 1510 113303 uf250-0968.cnf 1.300 196129 2777 1408 104665 uf250-0368.cnf 1.230 196281 2797 1410 103104 uf250-0857.cnf 1.280 196385 2781 1408 106697 uf250-01000.cnf 1.430 197281 3207 1631 120879 uf250-0486.cnf 1.330 197772 2865 1451 109398 uf250-0134.cnf 1.480 198166 3220 1641 123646 uf250-0287.cnf 1.220 198537 2795 1414 102392 uf250-0710.cnf 1.360 200199 2942 1491 110796 uf250-0624.cnf 1.570 200864 3620 1841 135594 uf250-0753.cnf 1.290 201270 2978 1509 109256 uf250-0179.cnf 1.520 201740 3468 1757 132716 uf250-0432.cnf 1.480 202388 3115 1585 119451 uf250-0699.cnf 1.320 202487 2850 1440 105225 uf250-0855.cnf 1.430 202665 3174 1610 120611 uf250-0218.cnf 1.420 202798 2963 1501 114792 uf250-0456.cnf 1.580 203032 3311 1680 128803 uf250-0961.cnf 1.210 204598 2812 1419 101557 uf250-0790.cnf 1.360 206866 2993 1512 109813 uf250-0835.cnf 1.420 208277 3190 1628 119631 uf250-0872.cnf 1.380 208384 2903 1478 108871 uf250-098.cnf 1.520 208495 3277 1671 124744 uf250-0131.cnf 1.370 209970 3003 1523 113921 uf250-0588.cnf 1.380 210528 3256 1649 117947 uf250-0397.cnf 1.250 214096 2782 1401 104734 uf250-0386.cnf 1.500 215018 3303 1673 126147 uf250-0966.cnf 1.350 215961 2947 1489 109382 uf250-0521.cnf 1.490 216482 3417 1744 128128 uf250-0763.cnf 1.600 218192 3242 1654 124284 uf250-0545.cnf 1.490 219946 3296 1669 123432 uf250-0663.cnf 1.430 220255 3220 1632 118483 uf250-0693.cnf 1.450 222182 3185 1609 117681 uf250-0412.cnf 1.640 225878 3603 1832 137796 uf250-0729.cnf 1.400 227783 3028 1532 110896 uf250-0367.cnf 1.540 228000 3308 1675 124893 uf250-09.cnf 1.630 229268 3571 1813 138954 uf250-0322.cnf 1.440 230565 3281 1662 119267 uf250-0650.cnf 1.540 234149 3553 1801 133864 uf250-0480.cnf 1.420 234683 3167 1606 117609 uf250-0337.cnf 1.610 234754 3343 1704 128663 uf250-0793.cnf 1.620 235811 3720 1888 136764 uf250-0768.cnf 1.610 235960 3581 1814 132998 uf250-0410.cnf 1.410 236902 3031 1540 113068 uf250-0265.cnf 1.600 237877 3628 1845 138451 uf250-0546.cnf 1.650 238004 3539 1800 135317 uf250-0128.cnf 1.640 238286 3555 1807 135692 uf250-0814.cnf 1.650 238595 3494 1773 133097 uf250-0139.cnf 1.560 239052 3425 1731 128689 uf250-0112.cnf 1.720 241241 3656 1846 140829 uf250-0387.cnf 1.590 242199 3715 1884 138099 uf250-02.cnf 1.720 242238 3751 1905 141803 uf250-0626.cnf 1.640 242961 3566 1813 132870 uf250-0684.cnf 1.790 245406 3936 1995 151749 uf250-0611.cnf 1.670 245780 3791 1919 141394 uf250-0343.cnf 1.860 246552 3813 1927 148902 uf250-0688.cnf 1.540 246978 3311 1677 122937 uf250-0619.cnf 1.630 249113 3610 1830 135509 uf250-0737.cnf 1.670 252599 3679 1857 137670 uf250-0171.cnf 1.810 254604 4008 2027 152335 uf250-0364.cnf 1.760 254923 3999 2028 151487 uf250-0662.cnf 1.740 257694 3778 1919 143876 uf250-0702.cnf 1.660 257710 3760 1900 139493 uf250-0654.cnf 1.710 257723 3742 1902 139525 uf250-0130.cnf 1.940 258235 4354 2210 164413 uf250-0468.cnf 1.710 259142 3724 1888 139302 uf250-0330.cnf 1.760 260523 3894 1984 144278 uf250-0113.cnf 1.710 261083 4057 2057 152585 uf250-0797.cnf 1.680 263396 3751 1899 141227 uf250-0385.cnf 1.700 265466 3804 1930 142600 uf250-0594.cnf 1.800 267110 4053 2050 151492 uf250-0345.cnf 1.750 267380 3952 2009 146868 uf250-0283.cnf 1.800 268807 4046 2057 150398 uf250-0316.cnf 1.950 273435 4263 2162 163183 uf250-0930.cnf 1.740 274695 3795 1920 141497 uf250-0804.cnf 1.800 274982 3799 1932 144287 uf250-0144.cnf 1.700 275635 3825 1930 137155 uf250-0122.cnf 2.010 276639 4462 2260 168455 uf250-0199.cnf 1.970 280978 4224 2147 160828 uf250-0931.cnf 1.860 281443 4223 2145 160815 uf250-0811.cnf 1.770 282530 4162 2122 153625 uf250-0568.cnf 1.940 286875 4395 2228 164814 uf250-0683.cnf 2.080 288668 4613 2351 173886 uf250-0108.cnf 2.280 292148 5007 2558 194328 uf250-0419.cnf 1.920 292527 4170 2108 155535 uf250-0382.cnf 2.090 293468 4482 2271 169610 uf250-0123.cnf 1.930 296179 4414 2240 165580 uf250-0642.cnf 2.120 298617 4676 2371 175558 uf250-0103.cnf 2.090 303442 4769 2419 176772 uf250-0997.cnf 1.940 303504 4377 2218 164313 uf250-0567.cnf 2.370 304992 5335 2704 202893 uf250-0913.cnf 2.230 309542 4909 2497 187189 uf250-0433.cnf 1.990 317122 4436 2253 167912 uf250-0895.cnf 2.140 317631 4709 2394 178295 uf250-0217.cnf 2.200 320482 5123 2607 191195 uf250-028.cnf 2.260 323630 4914 2497 189445 uf250-0487.cnf 2.110 323920 4900 2495 181007 uf250-0572.cnf 2.140 324599 4687 2383 176852 uf250-0504.cnf 2.300 326328 4883 2485 188466 uf250-0359.cnf 2.370 327154 5173 2630 194516 uf250-0189.cnf 2.220 337144 5083 2593 188671 uf250-0361.cnf 2.240 339824 5089 2591 189334 uf250-0944.cnf 2.290 341850 5165 2625 190083 uf250-087.cnf 2.580 356364 5665 2884 220087 uf250-0162.cnf 2.320 360987 5232 2654 196954 uf250-0198.cnf 2.560 365907 5770 2935 220423 uf250-0165.cnf 2.400 367871 5283 2683 197716 uf250-0510.cnf 2.820 383599 6280 3192 242794 uf250-0909.cnf 2.490 385505 5614 2855 213384 uf250-0166.cnf 2.850 397654 6528 3327 249730 uf250-0932.cnf 2.880 403562 6399 3244 244837 uf250-0839.cnf 3.320 496635 7590 3861 282848