Examples with GEO091 examples.tptp.GEO091 used on opensource projects

Example 1 with GEO091

use of examples.tptp.GEO091 in project org.alloytools.alloy by AlloyTools.

the class ExamplesTest method testGEO091.

/**
 * Runs GEO091.checkTheorem_2_13 for 6.
 */
public void testGEO091() {
    final GEO091 prob = new GEO091();
    final Solution sol = solve(prob.checkTheorem_2_13(), prob.bounds(6));
    check(prob.getClass().getSimpleName(), sol, UNSATISFIABLE, 407, 6968, 15413);
}