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


InstanceSolverResultTime
ActivityServiceRareqs_2018UNSAT318.77
ActivityService2Rareqs_2018UNSAT320.7
GuidanceServiceCADET_2017UNSAT0
GuidanceService2CADET_2017UNSAT0
IssueServiceImplCued_3_2018UNSAT33.18
IterationServiceRareqs_2018UNSAT318.26
PhaseServiceRareqs_2018UNSAT352.86
UserServiceImplCued_2_2018UNSAT134.38