Instances of family hyperLTL solved by qbfrelay-limited-depqbf
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
halfadder_match2.unsatUNSAT0.13
halfadder_match2.satSAT0.14