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


InstanceSolverResultTime
uclid-pipe2Qute_opt617SAT66.92
uclid-pipe3acqestoSAT2.04