Slow tests

[gciatto]

• it.unibo.tuprolog.solve.CurrentTimeInstantKtJsTest.currentTimeReturnsActualTimeInMillis

  • on JS14/Win

• it.unibo.tuprolog.solve.problog.prolog.TestProblogSolver.testTimeout4

  • on JVM18/Mac

• it.unibo.tuprolog.solve.problog.prolog.TestProblogClassicFindAll.testFindXtoDoubleAssigment

  • on JS16/Mac

• it.unibo.tuprolog.solve.classic.TestClassicSolver.testTermNotSame

  • on JVM11/Win

• it.unibo.tuprolog.solve.classic.TestClassicRecursion.testNonTailRecursion

  • on JS18/Mac