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

InstanceResultTime
equalization32SAT0.05
floor256SAT0.14
decomposition256SAT0.16
ceiling128SAT0.22
intermediate128FAIL900