Sota solver results for family k_grz_n
QBFEVAL'10 - Competitive Track.


InstanceSolverResultTime
k_grz_n-10AIGSolveSAT0.52
k_grz_n-13qmaigaSAT0.8
k_grz_n-14qmaigaSAT1.04
k_grz_n-21AIGSolveSAT2.5