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

Example 1 with GEO092

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

the class ExamplesTest method testGEO092.

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