Instances of family arithmetic solved by ijtihad
QBFEVAL'18 - Prenex CNF Track

InstanceResultTime
ceiling128SAT0
decomposition256SAT0
floor256SAT0
intermediate128FAIL900.07