Sota solver results for family k_grz_n
QBFEVAL'16 - Prenex non-CNF Track.


InstanceSolverResultTime
k_grz_n-10qstsSAT0.02
k_grz_n-2qstsSAT0.02
k_grz_n-20qstsSAT0.04
k_grz_n-21qstsSAT0.04
k_grz_n-5qstsSAT0.02