ResultOfGegeven

nl

ResultOfTest

nl

run

TestUtils

runAndExtractFact

TestUtils

runTest

BerekeningenTester HeuristicTester