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

InstanceResultTime
decomposition128SAT0.01
floor128SAT0.01
equalization128SAT0.02
ceiling256SAT0.04
intermediate256FAIL900