Example 1 with MED007
use of examples.tptp.MED007 in project org.alloytools.alloy by AlloyTools.
the class ExamplesTest method testMED007.
/**
* Runs MED007.checkTranssls2_qilt27 for 6.
*/
public void testMED007() {
final MED007 prob = new MED007();
final Solution sol = solve(prob.checkTranssls2_qilt27(), prob.bounds(6));
check(prob.getClass().getSimpleName(), sol, UNSATISFIABLE, 407, 6968, 15413);
}