Instances of family sketch solved by aspq3_hit18
QBFEVAL'18 - Hard Instances Track

InstanceResultTime
ProjectService3UNSAT2886.5
LoginService2FAIL3600
ProcessBeanFAIL3600
LoginServiceFAIL3600