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


InstanceSolverResultTime
stmt17_63_82cqestoSAT26.96
stmt17_70_90cqestoSAT35.33
stmt17_86_98cqestoSAT50.08
stmt19_64_99cqestoSAT37.33
stmt28_68_81cqestoSAT30.92