Searched refs:time_solve (Results 1 – 1 of 1) sorted by relevance
111 float time_solve = timer.value(); in main() local112 cout<< " Time to solve " << time_solve << endl; in main()