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

Example 1 with GEO158

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

the class ExamplesTest method testGEO158.

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