Instances of family sketch solved by iProver-qbf-2017-07-27-v3
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
LoginService2FAIL900
ProcessBeanFAIL900
ProjectService3FAIL900
UserServiceImplFAIL900
ActivityService2FAIL900