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