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

Example 1 with SET948

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

the class ExamplesTest method testSET948.

/**
 * Runs SET948.checkT101_zfmisc_1 for 3.
 */
public void testSET948() {
    final SET948 prob = new SET948();
    final Solution sol = solve(prob.checkT101_zfmisc_1(), prob.bounds(3));
    check(prob.getClass().getSimpleName(), sol, UNSATISFIABLE, 407, 6968, 15413);
}