Instances of family arithmetic solved by ijtihad_v1
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
floor256SAT0.01
equalization32SAT0.01
ceiling128SAT0.02
decomposition256SAT0.02
intermediate128FAIL900