message: Better heuristic
diff: @@ -60,17 +60,17 @@ struct BakeOff
  bool is_runnable() const
  {
  const long long int gB = 1073741824/8;
  - const int mem_size = Device::IsEnabled()?8:256;
  + const int mem_size = Device::IsEnabled()?16:256;
  const long long int max_mem = mem_size * gB;
  const int num_elems = fes.GetNE();
  long long int mem = num_elems * pow(p+1, dim+1) * 8;
  if (assembly == AssemblyLevel::ELEMENT)
  {
  - mem += 2 * num_elems * pow(p+1, 2*dim) * 8;
  + mem += num_elems * pow(p+1, 2*dim) * 8;
  }
  if (assembly == AssemblyLevel::FULL)
  {
  - mem += 3 * 2 * num_elems * pow(p+1, 2*dim) * 8;
  + mem += 3 * num_elems * pow(p+1, 2*dim) * 8;
  }
  // std::cout << "mem = " << mem << " , max_mem = " << max_mem << std::endl;
  return mem < max_mem;
  