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


InstanceSolverResultTime
ActivityService2xb-qsts_bqsts2.0UNSAT36.76
UserServiceImplcaqe_2017_v3UNSAT376.91