@@ -0,0 +1,1091 @@
+package alpha.benchmarks.generators.justification;%0A%0Aimport alpha.benchmarks.Generator;%0A%0Aimport java.io.IOException;%0Aimport java.util.Arrays;%0A%0A/**%0A * Copyright (c) 2018, the Alpha Team.%0A */%0Apublic class JustificationExponential extends Generator %7B%0A%0A%09@Override%0A%09public void generate(String%5B%5D parameters) throws IOException %7B%0A%09%09System.out.println(%22This generator expects: %3CnumRandomInstancesPerSetting%3E %5BdomainSize%5D ...%22);%0A%09%09int numRandomInstancesPerSetting = Integer.parseInt(parameters%5B0%5D);%0A%09%09for (String parameter : Arrays.copyOfRange(parameters, 1, parameters.length)) %7B%0A%09%09%09int domainSize = Integer.parseInt(parameter);%0A%09%09%09for (int i = 1; i %3C= numRandomInstancesPerSetting; i++) %7B%0A%09%09%09%09String instance = generateInstance(domainSize);%0A%09%09%09%09String fileName = %22instance%22 + parameter + %22_%22 + i + %22.lp%22;%0A%09%09%09%09writeInstanceToFile(instance, fileName);%0A%09%09%09%7D%0A%09%09%7D%0A%09%7D%0A%0A%09private String generateInstance(int domainSize) %7B%0A%09%09return %22dom(1..%22 + domainSize + %22).%22 +%0A%09%09%09%09%22%7Bq(X)%7D :- dom(X).%5Cn%22 +%0A%09%09%09%09%22p(X) :- q(X).%22 +%0A%09%09%09%09%22r(X) :- q(X).%22 +%0A%09%09%09%09%22p(X) :- r(X).%22 +%0A%09%09%09%09%22:- not p(5).%22 +%0A%09%09%09%09%22:- not p(7).%5Cn%22;%0A%09%7D%0A%0A%7D%0A

Add justification benchmark generator.