Instances of family arithmetic solved by xb-qsts_xbqsts1.0
QBFEVAL'17 - Prenex 2QBF Track

InstanceResultTime
floor128SAT0.05
decomposition128SAT0.06
equalization128SAT0.18
ceiling256SAT0.47
intermediate256FAIL900