Use runtime interface in test_solver.cpp