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