Instances of family irqlkeapclte solved by CADET_2017
QBFEVAL'18 - Prenex 2QBF Track

InstanceResultTime
stmt23_66_67SAT2.1
stmt17_63_70SAT2.44
stmt23_66_76SAT2.5
stmt28_68_69SAT2.58
stmt28_68_73SAT2.8
stmt17_63_78SAT2.88
stmt23_72_76SAT3.01
stmt17_62_78SAT3.02
stmt17_63_82SAT3.18
stmt17_70_78SAT3.2
stmt28_68_81SAT3.3
stmt19_65_87SAT3.33
stmt19_64_87SAT3.36
stmt17_74_78SAT3.37
stmt17_70_82SAT3.51
stmt19_75_83SAT3.72
stmt28_73_85SAT3.74
stmt19_64_91SAT3.77
stmt23_67_92SAT3.85
stmt19_79_83SAT3.88
stmt17_70_86SAT3.95
stmt17_74_90SAT4.07
stmt19_79_87SAT4.1
stmt19_65_95SAT4.1
stmt23_66_96SAT4.14
stmt17_70_90SAT4.14
stmt19_64_99SAT4.16
stmt19_71_95SAT4.33
stmt19_75_95SAT4.45
stmt17_78_90SAT4.5
stmt17_82_86SAT4.5
stmt19_83_91SAT4.51
stmt17_62_98SAT4.55
stmt17_78_94SAT4.6
stmt28_73_97SAT4.7
stmt23_88_92SAT4.81
stmt17_78_98SAT4.88
stmt17_70_98SAT4.9
stmt17_82_94SAT5.11
stmt23_92_96SAT5.28
stmt17_86_98SAT5.35
stmt19_87_95SAT5.38
stmt17_82_98SAT5.44
stmt28_89_97SAT5.77
stmt17_94_98SAT6.08