Instances of family arithmetic solved by Heretiq-cube
QBFEVAL'18 - Prenex CNF Track

InstanceResultTime
ceiling128SAT0
decomposition256SAT0
floor256SAT0
intermediate128FAIL473.01