Instances of family irqlkeapclte solved by DynQBF-bloqqer-variant
QBFEVAL'17 - Prenex 2QBF Track

InstanceResultTime
stmt23_66_67SAT3.82
stmt17_63_70SAT4.15
stmt28_68_69SAT5.68
stmt19_64_87SAT6.06
stmt28_68_73SAT8.14
stmt17_63_78SAT8.71
stmt17_62_78SAT8.81
stmt17_70_78SAT8.84
stmt23_67_92SAT9.95
stmt19_65_95SAT10.1
stmt19_65_87SAT10.56
stmt17_70_82SAT10.85
stmt19_79_83SAT10.99
stmt17_74_90SAT11.27
stmt23_66_76SAT11.39
stmt28_73_85SAT11.44
stmt17_78_90SAT11.63
stmt17_70_86SAT12.27
stmt17_74_78SAT12.48
stmt19_75_83SAT13.85
stmt19_79_87SAT13.98
stmt19_75_95SAT14.27
stmt19_71_95SAT14.84
stmt19_87_95SAT14.85
stmt23_92_96SAT15.71
stmt17_78_94SAT16.56
stmt17_82_86SAT16.68
stmt28_89_97SAT18.5
stmt19_64_91SAT18.9
stmt23_88_92SAT19
stmt19_83_91SAT19.17
stmt17_82_94SAT21.96
stmt17_78_98SAT23.52
stmt17_94_98SAT25.73
stmt28_73_97SAT27.93