Instances of family arithmetic solved by Qute_opt500
QBFEVAL'18 - Prenex 2QBF Track

InstanceResultTime
floor128SAT0
decomposition256SAT0
floor256SAT0
decomposition128SAT0
ceiling128FAIL900.01
ceiling256FAIL900.01
intermediate256FAIL900.05
intermediate128FAIL900.06