TimeRelatedTheories
A theory whose resolution takes a predictable amount of time (via nested sleep/1 calls), and the expected Solutions of resolving it against maximum durations that fall just below/above each of its timing thresholds; used by TestSolver to check that a Solver.solve(goal, maxDuration) call's timeout is honored as soon as it is exceeded, without waiting for the whole (deeper) computation to finish first.
Properties
Notable request goal over timeRelatedTheory and respective expected Solutions. In particular the requested goal assumes the resolution terminates in less than 500 ms, thus a TimeOutException is returned as the first solution
Notable request goal over timeRelatedTheory and respective expected Solutions. In particular the requested goal assumes the resolution terminates in slightly more than 500 ms (and, in any case, within 600 ms), thus a TimeOutException is returned as the second solution
Notable request goal over timeRelatedTheory and respective expected Solutions. In particular the requested goal assumes the resolution terminates in slightly more than 600 ms (and, in any case, within 700 ms), thus a TimeOutException is returned as the third solution
Notable request goal over timeRelatedTheory and respective expected Solutions. In particular the requested goal assumes the resolution terminates in slightly more than 700 ms, thus no TimeOutException is returned and 3 positive solutions are returned instead
Clause database used for time-related tests: