Dataset supporting the paper 'Integration of SMT-LIB Support into Maple'

This dataset provides a listing of all distinct queries to the Maple commands is and coulditbe which occurred in the course of a complete run through the Maple library test suite using Maple 2017 on 26 July 2017. The results include:

24085 distinct queries to is (which tests if a given proposition holds universally) - see file is_queries.txt

5771 distinct queries to coulditbe (which tests if given proposition is satisfiable) - see file coulditbe_queries.txt

The files are plaintext and each line corresponds to a distinct query. Queries are in Maple syntax and adhere to one of the following patterns:

coulditbe(X)

coulditbe(X) assuming Y

is(X)

is(X) assuming Y

Here, X is the expression being tested (in Maple syntax) and Y is an expression sequence of one or more assumptions on symbols appearing in X.