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

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