Instances of family irqlkeapclte solved by ghostq-cegar
QBFEVAL'16 - 2QBF Track.

InstanceResultTime
stmt7_33_34SAT0.43
stmt23_66_67SAT49.58
stmt17_63_70SAT55.43
stmt28_68_69SAT57.27
stmt23_66_76SAT57.28
stmt28_68_73SAT64.28
stmt17_62_78SAT64.71
stmt17_63_78SAT64.79
stmt17_74_78SAT69.38
stmt28_68_81SAT70.48
stmt23_72_76SAT71.34
stmt19_64_91SAT76.62
stmt19_65_87SAT77.19
stmt17_70_78SAT82.49
stmt28_73_85SAT87.3
stmt17_63_82SAT90.53
stmt19_79_83SAT91.58
stmt19_64_87SAT93.04
stmt17_70_86SAT94.82
stmt19_83_91SAT101.81
stmt17_70_82SAT102.03
stmt23_66_96SAT102.96
stmt19_64_99SAT103.84
stmt19_75_95SAT110.69
stmt19_79_87SAT115.32
stmt19_75_83SAT117.16
stmt23_67_92SAT124.4
stmt17_62_98SAT124.78
stmt17_74_90SAT128.19
stmt19_71_95SAT132.77
stmt17_82_98SAT133.71
stmt23_88_92SAT138.83
stmt17_70_90SAT143.98
stmt19_87_95SAT161.3
stmt28_73_97SAT163.6
stmt17_82_86SAT164.4
stmt17_94_98SAT169.34
stmt17_70_98SAT170.71
stmt17_78_94SAT177.56
stmt17_78_90SAT183.08
stmt23_92_96SAT185.72
stmt17_86_98SAT207.22
stmt17_82_94SAT208.79
stmt17_78_98SAT238.49
stmt19_65_95SAT313.55
stmt28_89_97FAIL599.81