Sota solver results for family k_grz_n
QBFEVAL'16 - Solver Portfolio Track.


InstanceSolverResultTime
k_grz_n-10caqe-portfolioSAT0.32
k_grz_n-18caqe-portfolioSAT0.52
k_grz_n-2caqe-portfolioSAT0.12
k_grz_n-20caqe-portfolioSAT0.62
k_grz_n-21caqe-portfolioSAT0.62
k_grz_n-4caqe-portfolioSAT0.12
k_grz_n-5caqe-portfolioSAT0.12
k_grz_n-6caqe-portfolioSAT0.22
k_grz_n-7caqe-portfolioSAT0.22
k_grz_n-8caqe-portfolioSAT0.22