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

InstanceResultTime
decomposition128FAIL900
equalization128FAIL900
floor128FAIL900
intermediate256FAIL900
ceiling256FAIL900