Instances of family arithmetic solved by caqe_2017_v1
QBFEVAL'17 - Prenex 2QBF Track

InstanceResultTime
decomposition128SAT0
floor128SAT0
equalization128SAT0.01
ceiling256SAT0.03
intermediate256FAIL900