Instances of family sketch solved by caqe_2017_v3
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
UserServiceImplUNSAT376.91
ActivityService2UNSAT547.86
LoginService2FAIL900
ProcessBeanFAIL900
ProjectService3FAIL900