Session average (2000 solves): 5.581, 7.864, 8.993, 7.064, 5.640, 7.584, 5.848, 7.800, 6.552, 6.536, 7.824, 7.032, 7.040, 11.208, 9.361, 5.928, 7.616, 6.001, 8.625, 6.336, 8.424, 4.816, 6.440, 7.113, 7.056, 4.640, 6.576, 7.056, 8.792, 7.440, 6.120, 5.624, 11.081, 7.752, 6.880, 7.912, 7.952, 5.888, 10.825, 6.496, 6.008, 9.729, 6.176, 6.704, 7.992, 10.112, 7.184, 5.944, 7.272, 6.952, 5.608, 7.000, 5.792, 8.056, 6.856, 9.224, 8.152, 10.440, 6.864, 7.744, 9.193, 6.400, 8.232, 8.992, 8.152, 6.632, 6.408, 8.832, 6.953, 9.600, 6.368, 9.105, 6.824, 7.632, 8.065, 8.832, 10.016, 6.264, 8.360, 7.616, 4.840, 5.472, 9.225, 7.544, 5.416, 6.448, 7.768, 6.824, 9.937, 5.632, 7.048, 9.369, 8.369, 6.656, 7.032, 7.312, 6.776, 7.224, 6.600, 5.240, 6.776, 4.480, 6.360, 8.455, 8.480, 6.632, 5.656, 9.713, 8.104, 7.992, 9.681, 7.120, 7.872, 6.888, 8.376, 5.800, 6.048, 6.528, 7.752, 4.255, 5.832, 7.432, 5.352, 7.224, 6.232, 11.345, 6.272, 6.336, 6.808, 6.832, 7.144, 6.088, 8.457, 7.000, 7.408, 5.568, 7.064, 7.376, 7.864, 7.104, 6.008, 7.552, 5.632, 6.768, 8.793, 7.288, 9.929, 7.920, 7.080, 5.728, 7.824, 10.009, 4.120, 11.888, 6.032, 6.688, 8.561, 9.745, 7.088, 7.088, 8.184, 7.648, 7.833, 6.336, 8.713, 10.073, 6.824, 3.936, 7.672, 7.832, 6.472, 9.064, 5.775, 6.624, 5.760, 6.384, 7.416, 8.896, 6.320, 5.712, 10.640, 5.928, 10.280, 7.840, 8.392, 11.160, 5.656, 4.671, 5.784, 5.112, 5.160, 6.768, 7.703, 5.856, 6.048, 6.736, 6.384, 6.176, 10.632, 6.872, 7.672, 6.576, 8.248, 4.336, 5.856, 4.576, 7.152, 9.904, 3.736, 6.040, 9.000, 4.375, 6.256, 7.424, 7.640, 9.480, 8.632, 8.695, 6.456, 8.408, 5.744, 7.144, 7.576, 10.968, 5.856, 6.048, 6.536, 7.200, 8.712, 6.952, 9.384, 9.072, 7.064, 7.264, 7.088, 7.160, 5.408, 6.536, 7.136, 6.616, 9.512, 5.936, 5.544, 8.264, 4.072, 6.375, 6.888, 5.368, 6.912, 11.264, 5.448, 5.296, 8.992, 9.552, 6.528, 7.384, 7.688, 7.416, 7.807, 6.104, 7.760, 7.200, 7.624, 10.312, 5.920, 4.999, 6.224, 5.512, 6.592, 6.192, 6.488, 9.032, 6.328, 8.928, 9.232, 7.736, 7.136, 6.151, 6.760, 7.192, 5.311, 3.855, 5.432, 7.472, 7.672, 7.976, 9.536, 3.903, 8.511, 6.831, 6.223, 8.304, 6.664, 9.976, 8.088, 11.592, 4.992, 8.440, 4.239, 8.447, 7.552, 7.896, 6.152, 4.215, 5.616, 5.672, 8.344, 6.576, 6.488, 5.312, 7.056, 12.233, 5.120, 5.319, 7.696, 9.120, 8.184, 8.536, 7.096, 4.848, 5.791, 6.736, 7.144, 10.560, 8.624, 8.168, 7.824, 7.664, 5.664, 8.928, 6.400, 5.343, 5.728, 5.720, 8.328, 5.239, 8.464, 7.520, 6.264, 7.576, 6.992, 8.200, 8.216, 7.568, 5.008, 7.568, 7.184, 5.312, 8.352, 7.512, 5.584, 7.696, 5.376, 5.687, 6.432, 7.784, 7.864, 9.432, 8.176, 4.095, 7.032, 8.048, 8.016, 9.344, 8.000, 11.105, 7.112, 7.168, 7.224, 7.880, 4.392, 6.656, 6.056, 6.664, 6.136, 9.024, 4.903, 7.768, 7.624, 5.192, 5.968, 7.952, 7.632, 7.216, 8.208, 8.064, 7.144, 10.528, 6.560, 8.015, 7.552, 4.848, 8.304, 7.072, 6.904, 6.480, 9.232, 6.392, 7.568, 6.144, 8.432, 6.440, 5.608, 6.824, 6.575, 10.024, 6.432, 8.640, 6.424, 4.848, 5.496, 5.704, 6.416, 7.440, 7.024, 7.264, 6.760, 9.696, 8.272, 8.712, 7.784, 4.680, 7.016, 6.392, 11.384, 5.279, 6.424, 9.672, 6.760, 8.016, 8.888, 6.920, 6.431, 12.176, 7.528, 12.016, 10.520, 7.471, 3.959, 6.288, 6.880, 6.936, 7.056, 6.615, 8.064, 7.160, 8.888, 8.640, 6.536, 6.712, 10.352, 6.632, 6.056, 5.672, 5.544, 7.968, 8.904, 6.440, 6.552, 6.744, 7.520, 7.592, 6.480, 7.656, 6.623, 7.736, 7.240, 9.672, 7.168, 11.696, 8.960, 7.080, 6.232, 7.056, 8.072, 5.136, 5.511, 9.768, 8.176, 6.496, 9.688, 8.232, 6.375, 7.568, 7.096, 6.712, 7.440, 9.976, 5.224, 5.832, 5.391, 5.128, 8.640, 5.968, 7.080, 8.304, 7.608, 5.815, 4.592, 8.296, 10.184, 7.040, 4.295, 7.352, 6.343, 5.000, 9.648, 5.112, 6.544, 12.080, 11.968, 7.400, 6.776, 6.456, 4.888, 7.280, 5.568, 7.056, 7.904, 5.432, 10.576, 6.991, 6.191, 6.120, 8.728, 10.568, 7.184, 5.920, 7.928, 6.256, 7.496, 6.976, 6.736, 7.696, 8.288, 8.656, 5.408, 9.392, 5.031, 10.200, 7.008, 5.496, 6.432, 6.887, 8.600, 8.960, 7.744, 7.656, 7.912, 8.192, 8.960, 6.920, 6.400, 9.440, 4.207, 8.064, 6.848, 6.311, 4.800, 8.344, 8.312, 10.464, 5.528, 8.119, 5.656, 8.328, 8.232, 6.808, 4.496, 6.000, 5.992, 8.984, 7.248, 5.808, 5.848, 5.152, 9.424, 4.880, 7.664, 7.496, 7.920, 6.616, 10.136, 7.247, 6.423, 7.616, 8.552, 6.568, 8.240, 5.208, (3.175), 4.975, 6.368, 8.104, 9.080, 7.120, 7.519, 9.096, 8.608, 6.672, 8.760, 7.383, 5.528, 5.832, 6.560, 6.200, 6.192, 8.792, 6.720, 9.800, 6.536, 7.896, 6.136, 7.128, 6.056, 6.704, 5.888, 7.504, 9.432, 7.520, 5.592, 6.848, 5.560, 7.360, 8.952, 6.192, 8.840, 6.576, 6.560, 4.544, 8.256, 6.551, 5.984, 6.744, 6.928, 7.728, 5.856, 7.144, 6.352, 9.488, 6.696, 6.703, 7.968, 8.256, 10.040, 6.840, 6.720, 6.432, 7.760, 5.752, 7.496, 5.928, 8.200, 5.584, 6.616, 5.879, 9.880, 8.904, 7.264, 5.672, 7.616, 5.136, 5.055, 7.328, 5.608, 7.880, 8.520, 7.576, 5.888, 6.208, 7.247, 7.256, 6.704, 7.928, 5.960, 5.968, 7.384, 7.143, 5.976, 9.024, 9.312, 7.480, 10.976, 5.815, 8.184, 7.720, 10.472, 7.080, 5.080, 9.648, 9.216, 7.000, 8.568, 9.000, 9.592, 5.880, 7.616, 9.032, 9.088, 7.512, 8.360, 5.608, 13.929, 6.280, 9.585, 7.592, 5.576, 9.000, 10.792, 7.768, 9.425, 7.352, 7.256, 7.064, 7.296, 8.784, 6.552, 5.352, 8.928, 8.256, 8.497, 6.200, 5.768, 6.576, 8.233, 7.952, 7.400, 7.320, 5.760, 6.904, 7.232, 4.768, 3.792, 5.480, 4.815, 5.680, 9.448, 5.008, 5.256, 6.752, 5.792, 6.288, 7.048, 4.392, 7.968, 6.624, 7.608, 5.712, 8.255, 8.928, 10.968, 6.160, 10.456, 8.592, 6.711, 7.808, 5.559, 8.280, 10.128, 9.312, 6.487, 6.392, 7.136, 8.120, 6.328, 7.536, 8.632, 7.896, 6.920, 7.920, 8.792, 7.416, 7.096, 8.880, 7.312, 5.440, 7.440, 5.568, 10.105, 5.984, 10.657, 9.409, 8.936, 8.777, 6.696, 10.433, 8.224, 8.672, 10.313, 9.560, 7.528, 12.113, 6.032, 6.336, 7.200, 6.056, 7.480, 8.616, 5.536, 8.360, 5.520, 8.632, 6.696, 6.584, 8.296, 7.872, 15.001, 13.609, 10.265, 10.424, 5.832, 11.537, 12.129, 9.712, 13.801, 5.896, 7.600, 8.440, 9.553, 10.249, 5.808, 7.072, 5.056, 8.240, 5.519, 10.353, 7.032, 7.464, 8.904, 9.921, 8.464, 9.145, 9.545, 6.328, 7.712, 7.088, 8.953, 6.336, 7.488, 6.944, 8.329, 7.776, 8.104, 6.048, 5.303, 5.992, 11.849, 9.337, 8.809, 9.465, 6.432, 7.776, 6.400, 5.736, 7.528, 6.632, 6.736, 9.473, 6.720, 7.120, 6.328, 8.705, 5.920, 7.728, 7.856, 8.344, 7.056, 9.409, 8.776, 8.889, 8.480, 8.040, 5.576, 7.808, 5.872, 8.248, 6.968, 4.984, 9.361, 8.384, 5.992, 7.248, 6.191, 9.433, 6.384, 7.512, 10.025, 5.936, 10.304, 10.257, 8.312, 6.712, 7.864, 11.489, (15.561), 7.440, 7.080, 7.344, 5.304, 7.648, 6.112, 7.624, 7.000, 5.304, 7.104, 4.888, 9.553, 6.288, 6.648, 9.536, 6.864, 5.712, 7.712, 5.904, 7.496, 8.448, 5.616, 5.680, 7.025, 5.120, 6.968, 13.497, 7.952, 5.304, 5.856, 11.041, 6.376, 7.768, 5.944, 5.632, 6.968, 9.000, 5.904, 7.288, 7.496, 7.080, 10.440, 5.688, 6.000, 11.441, 7.168, 4.936, 6.176, 8.088, 8.800, 6.960, 6.056, 5.704, 6.183, 8.617, 7.624, 9.416, 4.248, 9.529, 10.289, 6.128, 11.593, 6.928, 6.832, 5.456, 7.960, 9.048, 7.720, 5.304, 4.704, 10.329, 6.160, 9.465, 7.152, 6.440, 7.344, 8.008, 10.337, 6.080, 5.784, 12.120, 9.081, 7.320, 8.760, 8.800, 12.433, 5.544, 7.712, 12.817, 6.640, 7.040, 9.913, 8.336, 11.729, 7.296, 8.704, 6.552, 7.040, 5.192, 9.537, 8.785, 6.704, 7.000, 7.296, 7.200, 5.536, 8.016, 6.608, 4.688, 6.616, 6.792, 10.449, 7.072, 5.632, 7.569, 12.241, 7.736, 7.344, 8.153, 7.064, 5.584, 8.056, 7.096, 5.416, 11.024, 8.032, 6.264, 10.241, 10.545, 5.088, 5.208, 9.856, 10.521, 8.000, 7.432, 8.769, 5.896, 5.256, 5.200, 7.192, 11.849, 6.920, 9.049, 8.752, 5.760, 5.536, 7.480, 6.792, 6.072, 11.097, 7.592, 6.816, 7.344, 7.264, 9.713, 5.672, 7.688, 8.816, 5.256, 7.304, 7.432, 9.841, 7.040, 6.240, 7.744, 5.592, 8.849, 7.056, 4.216, 4.952, 7.432, 6.648, 7.136, 8.865, 6.264, 8.953, 6.144, 6.385, 9.073, 7.936, 4.344, 9.081, 7.008, 8.193, 5.672, 8.496, 9.568, 7.080, 8.368, 5.224, 7.528, 7.712, 8.536, 6.128, 7.760, 4.976, 6.368, 9.520, 6.576, 7.048, 7.336, 7.920, 8.848, 6.016, 5.424, 6.736, 7.152, 5.168, 5.416, 5.416, 9.464, 5.736, 7.248, 6.248, 8.361, 5.520, 5.272, 7.000, 7.344, 7.544, 6.376, 10.137, 6.928, 8.280, 7.840, 5.336, 5.872, 7.976, 6.224, 11.897, 8.720, 6.512, 7.256, 6.591, 7.864, 5.960, 6.352, 6.056, 14.801, 10.713, 8.184, 5.736, 10.953, 9.873, 6.672, 8.736, 6.888, 4.072, 6.336, 6.296, 5.344, 5.776, 10.129, 6.728, 7.640, 8.016, 5.856, 4.120, 7.080, 6.656, 6.568, 7.056, 6.600, 8.464, 7.040, 6.528, 7.760, 6.560, 6.408, 7.600, 4.559, 6.968, 7.816, 8.361, 9.697, 6.616, 5.720, 6.664, 6.152, 9.512, 12.297, 6.432, 6.968, 7.112, 10.889, 6.960, 9.024, 9.184, 9.697, 5.200, 5.960, 4.728, 7.976, 10.665, 5.704, 6.488, 7.312, 7.848, 7.200, 6.576, 6.936, 6.080, 10.385, 6.472, 8.800, 8.560, 8.032, 6.216, 9.016, 6.976, 6.648, 6.720, 9.888, 6.200, 7.696, 7.088, 10.393, 8.320, 7.296, 7.496, 6.720, 7.208, 6.456, 10.113, 6.144, 5.928, 10.328, 6.952, 9.009, 10.081, 10.369, 5.632, 7.752, 6.624, 6.160, 8.728, 7.224, 8.201, 6.448, 9.408, 8.904, 8.904, 7.048, 7.776, 8.696, 6.831, 5.096, 7.224, 7.048, 5.616, 6.888, 8.369, 5.368, 9.760, 5.256, 7.864, 6.864, 7.616, 7.192, 8.104, 6.240, 5.880, 5.304, 7.240, 7.520, 6.320, 6.248, 9.321, 8.840, 12.073, 7.920, 10.896, 10.009, 7.792, 6.888, 4.736, 9.096, 6.439, 6.984, 7.968, 6.904, 7.144, 5.608, 7.576, 10.880, 6.744, 4.960, 5.848, 5.888, 5.432, 6.664, 6.600, 10.464, 7.512, 7.272, 6.768, 5.936, 6.200, 5.496, 8.680, 6.040, 9.609, 6.648, 9.897, 7.672, 5.679, 6.632, 7.472, 7.544, 10.609, 5.688, 8.889, 9.568, 5.496, 5.088, 8.880, 7.560, 6.832, 6.175, 9.392, 7.168, 5.528, 7.656, 8.840, 9.040, 6.824, 8.664, 7.232, 6.568, 7.088, 9.344, 7.840, 5.712, 7.376, 5.792, 7.056, 5.336, 8.824, 5.440, 7.992, 7.152, 8.120, 5.712, 5.384, 6.736, 8.921, 8.816, 7.184, 3.920, 5.984, 5.432, 7.256, 5.920, 5.640, 8.656, 7.880, 7.344, 9.849, 11.160, 6.664, 7.552, 7.856, 9.424, 6.848, 8.257, 8.472, 8.929, 7.584, 8.288, 6.904, 12.793, 10.921, 5.728, 10.329, 6.831, 7.472, 7.648, 10.873, 7.008, 11.001, 12.441, 7.280, 5.448, 8.849, 8.368, 7.808, 6.592, 7.008, 7.792, 4.920, 6.152, 10.161, 8.744, 10.432, 4.904, 7.544, 6.552, 4.784, 7.064, 8.016, 9.256, 6.064, 7.224, 7.264, 9.921, 9.001, 10.352, 8.704, 4.688, 8.200, 7.088, 14.065, 6.080, 6.639, 5.912, 6.952, 6.768, 9.000, 6.976, 4.632, 6.256, 8.928, 5.168, 8.400, 5.264, 7.280, 7.960, 6.255, 8.464, 8.488, 4.864, 12.489, 9.961, 8.176, 6.048, 6.608, 8.168, 4.912, 7.328, 4.312, 6.208, 6.344, 7.976, 7.776, 8.608, 6.712, 7.728, 6.576, 9.169, 8.465, 7.760, 10.281, 5.896, 6.344, 7.016, 8.152, 6.768, 6.504, 7.392, 6.592, 5.496, 7.496, 6.200, 6.696, 7.872, 5.632, 8.432, 8.720, 5.024, 4.064, 4.952, 6.440, 6.848, 5.088, 6.824, 7.456, 6.008, 4.560, 10.129, 8.096, 9.153, 5.383, 6.432, 6.672, 10.561, 6.904, 7.408, 6.600, 6.464, 5.192, 8.840, 5.984, 8.760, 10.329, 7.272, 4.464, 8.304, 8.072, 5.832, 8.616, 9.016, 5.576, 7.152, 9.304, 7.440, 7.200, 4.992, 9.072, 7.328, 7.168, 9.744, 6.872, 11.673, 8.136, 5.600, 9.792, 6.728, 6.800, 10.681, 5.752, 5.376, 6.896, 6.936, 8.728, 6.520, 7.600, 5.808, 5.648, 9.137, 4.928, 6.856, 8.336, 9.665, 9.417, 6.416, 5.320, 6.720, 7.232, 6.880, 6.672, 8.505, 6.368, 6.992, 8.593, 5.656, 10.633, 8.360, 6.240, 7.272, 7.464, 5.104, 5.472, 5.656, 5.408, 9.897, 7.400, 6.400, 5.056, 6.575, 6.264, 6.984, 7.480, 5.944, 6.127, 5.960, 7.184, 7.928, 5.768, 6.016, 6.016, 5.600, 7.672, 6.736, 9.977, 4.832, 5.752, 7.216, 3.568, 4.984, 6.447, 5.735, 6.408, 4.960, 4.856, 8.640, 7.368, 7.840, 7.848, 11.184, 7.000, 10.944, 7.416, 5.944, 6.576, 5.520, 8.569, 9.609, 4.279, 8.440, 5.488, 7.712, 8.512, 5.392, 8.585, 6.064, 7.920, 7.512, 4.432, 6.752, 6.712, 7.896, 7.559, 12.464, 6.720, 5.776, 10.593, 5.128, 5.799, 7.601, 6.536, 8.392, 9.145, 6.968, 7.200, 6.512, 7.152, 10.817, 8.688, 5.496, 6.664, 6.816, 5.352, 7.616, 9.032, 8.680, 6.064, 5.408, 8.783, 6.192, 7.504, 4.920, 7.648, 6.584, 9.745, 6.207, 7.560, 7.016, 6.256, 6.816, 10.785, 12.825, 6.456, 6.512, 7.944, 7.112, 10.177, 11.416, 6.688, 7.360, 5.872, 9.496, 6.224, 7.663, 4.439, 6.528, 7.320, 7.360, 7.912, 7.960, 9.224, 7.032, 6.656, 7.744, 7.800, 5.664, 5.904, 8.704, 12.945, 7.224, 7.584, 5.872, 6.464, 6.568, 4.912, 8.112, 9.400, 6.568, 7.784, 6.896, 7.224, 7.688, 6.128, 9.216, 5.232, 7.304, 7.624, 10.040, 8.624, 6.912, 7.376, 7.792, 6.264, 8.944, 11.569, 8.848, 6.303, 4.896, 6.216, 8.881, 8.128, 10.489, 4.608, 12.353, 4.816, 4.248, 6.992, 7.104, 6.512, 9.304, 7.432, 6.095, 6.031, 6.776, 10.856, 5.624, 9.104, 9.528, 10.672, 4.304, 6.544, 8.568, 6.047, 6.200, 7.648, 5.808, 6.880, 6.864, 6.624, 6.504, 4.783, 6.936, 5.472, 7.432, 12.456, 5.432, 8.824, 8.736, 7.544, 7.912, 4.928, 6.168, 5.688, 5.560, 6.224, 6.112, 6.640, 5.184, 10.289, 7.624, 6.320, 9.184, 6.104, 4.168, 6.920, 6.184, 6.008, 5.280, 4.864, 8.880, 4.368, 7.720, 6.495, 6.064, 5.800, 7.192, 5.791, 9.376, 5.736, 6.112, 7.728, 7.168, 8.944, 6.992, 6.552, 7.408, 6.200, 7.224, 8.304, 7.736, 9.776, 8.256, 5.680, 7.128, 4.672, 5.440, 7.888, 7.504, 5.384, 7.904, 7.832, 6.744, 10.464, 7.600, 7.976, 5.808, 4.952, 5.408, 7.024, 6.744, 7.424, 7.088, 7.056, 5.976, 5.448, 7.112, 7.680, 4.224, 9.528, 9.816, 5.176, 9.624, 5.704, 8.688, 7.568, 7.120, 4.791, 6.624, 8.928, 5.352, 6.584, 7.288, 6.448, 8.000, 10.201, 7.672, 8.768, 6.992, 6.328, 5.431, 5.152, 11.001, 8.752, 7.320, 8.865, 7.528, 4.855, 7.808, 5.504, 7.376, 10.992, 8.672, 6.688, 6.728, 8.624, 5.512, 7.264, 6.175, 11.745, 7.016, 8.864, 11.281, 4.783, 5.872, 7.656, 6.392, 7.416, 13.937, 7.096, 5.656, 8.656, 8.400, 6.496, 7.512, 9.384, 10.200, 9.320, 4.552, 5.232, 7.040, 7.136, 8.864, 6.584, 6.784, 8.167, 7.856, 9.144, 13.280, 10.608, 5.527, 5.207, 10.840, 8.112, 7.336, 4.527, 6.952, 6.280, 8.232, 7.792, 6.280, 6.712, 4.744, 7.047, 11.024, 7.408, 6.272, 8.776, 9.520, 6.063, 7.016, 8.128, 11.904, 4.992, 4.919, 6.168, 9.880, 9.336, 7.720, 8.232, 6.816, 6.192, 6.568, 5.560, 8.224, 7.880, 9.552, 5.744, 9.353, 9.576, 7.920, 5.984, 7.064, 11.833, 6.496, 5.680, 9.144, 8.528, 8.208, 10.961, 5.592, 4.224, 7.008, 8.064, 7.344, 8.008, 7.472, 12.345, 7.632, 7.752, 8.392, 6.616, 8.376, 10.072, 7.920, 9.161, 6.656, 6.088, 8.768, 7.849, 9.944, 4.832, 7.416, 5.615, 5.208, 8.488, 6.232, 6.808, 6.136, 7.048, 7.624, 6.072, 6.504, 9.465, 7.280, 5.688, 8.377, 7.576, 5.784, 7.000, 7.920, 8.824, 9.096, 8.408, 7.848, 5.040, 7.216, 7.297, 5.368, 7.505, 5.368, 7.568, 6.040, 6.984, 5.200, 5.424, 4.672, 6.440, 8.457, 6.256, 7.752, 9.665, 7.904, 6.664, 6.712, 5.559, 7.816