Finding applications that are useful in our society is the major goal of this team. To explore the real-world application, we develop the mapping algorithms and efficient backend simulators of coherent Ising machines and coherent k-SAT machines, which are running on CPUs, GPUs, and FPGAs (see Figure 1). And we design benchmark problem instances for performance evaluation in speed and computational resources. Theoretical understanding of when and how classical and quantum computational resources can play a beneficial role in optimization, is vital for the evaluation and the benchmark design (see Figure 2).