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

InstanceResultTime
stmt23_66_67SAT3.83
stmt17_63_70SAT4.11
stmt19_64_87SAT6.43
stmt28_68_69SAT6.86
stmt17_62_78SAT7.82
stmt17_63_78SAT7.88
stmt28_68_73SAT8.93
stmt17_70_78SAT9.07
stmt23_66_76SAT9.72
stmt23_67_92SAT10.02
stmt17_70_82SAT10.32
stmt17_70_86SAT10.79
stmt17_74_90SAT11.12
stmt17_74_78SAT13.12
stmt28_73_85SAT13.15
stmt19_83_91SAT13.35
stmt17_82_86SAT13.72
stmt19_64_91SAT13.77
stmt17_78_90SAT14.14
stmt17_82_94SAT14.69
stmt19_71_95SAT14.82
stmt19_75_83SAT16.36
stmt19_65_95SAT16.67
stmt19_65_87SAT17.18
stmt17_78_94SAT17.29
stmt19_79_87SAT17.43
stmt17_94_98SAT18.5
stmt28_89_97SAT19.83
stmt23_92_96SAT20.11
stmt23_88_92SAT21.58
stmt19_87_95SAT22.1
stmt19_75_95SAT23.94
stmt17_78_98SAT24.95
stmt19_79_83SAT25.12
stmt28_73_97SAT27.72