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

InstanceResultTime
halfadder_match2.satSAT0
halfadder_match2.unsatUNSAT0.01