Instances of family arithmetic solved by GhostQ___cegar_pcnf_2019
QBFEVAL'19 - Prenex CNF Track

InstanceResultTime
ceiling128FAIL900.01
decomposition256FAIL900.04
ceiling256FAIL900.05
decomposition128FAIL900.05
intermediate256FAIL900.05
intermediate128FAIL900.07
floor128FAIL900.07
floor256FAIL900.09