Instances of family irqlkeapclte solved by rev_qfun0.1
QBFEVAL'17 - Prenex 2QBF Track

InstanceResultTime
stmt23_66_67SAT34.74
stmt17_63_70SAT37.08
stmt17_62_78SAT38.5
stmt17_63_78SAT39.06
stmt23_66_76SAT39.14
stmt28_68_73SAT39.57
stmt28_68_69SAT41.19
stmt19_65_87SAT43.29
stmt19_64_91SAT43.79
stmt19_64_87SAT44.31
stmt23_67_92SAT44.44
stmt19_65_95SAT50.12
stmt17_70_82SAT51.38
stmt17_70_78SAT53.18
stmt17_70_86SAT53.55
stmt17_74_78SAT57.57
stmt19_75_83SAT57.68
stmt19_75_95SAT58.05
stmt17_74_90SAT58.56
stmt28_73_85SAT58.58
stmt19_71_95SAT58.75
stmt19_79_83SAT59.65
stmt17_78_90SAT62.77
stmt17_82_86SAT62.88
stmt19_79_87SAT63.78
stmt28_73_97SAT67.63
stmt17_78_94SAT68.05
stmt17_78_98SAT68.57
stmt19_83_91SAT69.01
stmt23_88_92SAT69.81
stmt19_87_95SAT73.55
stmt17_82_94SAT79.54
stmt23_92_96SAT81.46
stmt28_89_97SAT84.4
stmt17_94_98SAT84.69