runClassic

Solves query against theory using the classic, single-threaded solver built via it.unibo.tuprolog.solve.classic.ClassicSolverFactory.solverWithDefaultBuiltins, and prints the elapsed time in milliseconds.