Instances of family hyperLTL solved by CUED1919_NNL
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
halfadder_match2.unsatFAIL0
halfadder_match2.satSAT0.03