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

InstanceResultTime
stmt23_66_67SAT2.2
stmt17_63_70SAT2.47
stmt23_66_76SAT2.52
stmt28_68_69SAT2.57
stmt28_68_73SAT2.84
stmt17_63_78SAT2.89
stmt17_62_78SAT3.06
stmt17_70_78SAT3.22
stmt19_65_87SAT3.35
stmt19_64_87SAT3.35
stmt17_74_78SAT3.38
stmt17_70_82SAT3.54
stmt28_73_85SAT3.73
stmt19_75_83SAT3.73
stmt19_64_91SAT3.78
stmt23_67_92SAT3.87
stmt19_79_83SAT3.9
stmt17_70_86SAT3.96
stmt17_74_90SAT4.1
stmt19_65_95SAT4.14
stmt19_79_87SAT4.14
stmt19_71_95SAT4.34
stmt19_75_95SAT4.46
stmt17_78_90SAT4.52
stmt17_82_86SAT4.53
stmt19_83_91SAT4.59
stmt17_78_94SAT4.65
stmt28_73_97SAT4.74
stmt23_88_92SAT4.88
stmt17_78_98SAT4.89
stmt17_82_94SAT5.14
stmt23_92_96SAT5.34
stmt19_87_95SAT5.38
stmt28_89_97SAT5.83
stmt17_94_98SAT6.15