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

InstanceResultTime
halfadder_match2.unsatUNSAT0.01
halfadder_match2.satSAT0.02