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

Example 1 with COM008

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

the class ExamplesTest method testCOM008.

/**
 * Runs COM008.checkGoalToBeProved for 5.
 */
public void testCOM008() {
    final COM008 prob = new COM008();
    final Solution sol = solve(prob.checkGoalToBeProved(), prob.bounds(5));
    check(prob.getClass().getSimpleName(), sol, UNSATISFIABLE, 407, 6968, 15413);
}