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

InstanceResultTime
decomposition256FAIL900.01
intermediate256FAIL900.03
ceiling128FAIL900.03
floor128FAIL900.05
intermediate128FAIL900.06
decomposition128FAIL900.08
floor256FAIL900.08
ceiling256FAIL900.09