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

InstanceResultTime
halfadder_match2.satSAT0.01
halfadder_match2.unsatUNSAT0.01