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

InstanceResultTime
floor256SAT0
ceiling256SAT0
decomposition128SAT0
floor128SAT0
ceiling128SAT0
decomposition256SAT0
intermediate128FAIL900.06
intermediate256FAIL900.06