Sota solver results for family sketch
QBFEVAL'17 - Prenex 2QBF Track


InstanceSolverResultTime
ActivityServicexb-qsts_bqsts2.0UNSAT36.91
ConcreteActivityServicecaqe_2017_v3UNSAT279.62
GuidanceServiceCADET_2017UNSAT0.15
GuidanceService2CADET_2017UNSAT0.15
IssueServiceImplcaqe_2017_v3UNSAT7.57
IterationServicexb-qsts_bqsts2.0UNSAT36.81
NotificationServiceImpl2xb-qsts_bqsts2.0UNSAT42.92
PhaseServicexb-qsts_bqsts2.0UNSAT36.75