Dataset Supporting The Paper 'Integration Of Smt-Lib Support Into Maple'

This dataset provides a listing of all distinct queries to the Maple commands <strong>is</strong> and <strong>coulditbe </strong>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 <strong>is</strong> (which tests if a given proposition holds universally) - see file is_queries.txt 5771 distinct queries to <strong>coulditbe</strong> (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: <strong>coulditbe(</strong><em>X</em><strong>)</strong> <strong>coulditbe(</strong><em>X</em><strong>) assuming </strong><em>Y</em> <strong>is(</strong><em>X</em><strong>)</strong> <strong>is(</strong><em>X</em><strong>) assuming </strong><em>Y</em> Here, <em>X</em> is the expression being tested (in Maple syntax) and <em>Y</em> is an expression sequence of one or more assumptions on symbols appearing in <em>X</em>.