Instances of family arithmetic solved by iProver-qbf-2017-07-27-v3
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
equalization32SAT0.72
ceiling128SAT8.19
decomposition256SAT14.06
floor256SAT15.81
intermediate128FAIL900