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


InstanceSolverResultTime
filesys_smbmrx_cvsndrcv.ccqestoUNSAT0.66