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


InstanceSolverResultTime
k_t4p_n-13qstsSAT0.14
k_t4p_n-14qstsSAT0.16
k_t4p_n-15qstsSAT0.16
k_t4p_n-2qstsSAT0.02
k_t4p_n-5qstsSAT0.05