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

InstanceResultTime
ceiling128SAT0
decomposition256SAT0
floor256SAT0
decomposition128SAT0
floor128SAT0
ceiling256SAT0.62
intermediate128SAT12.67
intermediate256SAT48.22