Instances of family hyperLTL solved by prefix-opt-depqbf
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
halfadder_match2.satSAT0
halfadder_match2.unsatUNSAT0.01