runConcurrent

Solves query against theory using a concurrent solver built via it.unibo.tuprolog.solve.concurrent.ConcurrentSolverFactory.solverWithDefaultBuiltins, and prints the elapsed time in milliseconds.