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


InstanceSolverResultTime
mvs16y.satQute_hybridSAT0.09
mvs16y.unsatcqestoUNSAT0.01
stay24n.satQute_hybridSAT0.36
stay24n.unsatcqestoUNSAT0.05