Sota solver results for family irqlkeapclte
QBFEVAL'17 - Prenex 2QBF Track


InstanceSolverResultTime
stmt17_62_78CADET_2017SAT3.06
stmt17_63_70CADET_2017SAT2.47
stmt17_63_78CADET_2017SAT2.89
stmt17_70_78CADET_2017SAT3.22
stmt17_70_82CADET_2017SAT3.54
stmt17_70_86CADET_2017SAT3.96
stmt17_74_78CADET_2017SAT3.38
stmt17_74_90CADET_2017SAT4.1
stmt17_78_90CADET_2017SAT4.52
stmt17_78_94CADET_2017SAT4.65
stmt17_78_98CADET_2017SAT4.89
stmt17_82_86CADET_2017SAT4.53
stmt17_82_94CADET_2017SAT5.14
stmt17_94_98CADET_2017SAT6.15
stmt19_64_87CADET_2017SAT3.35
stmt19_64_91CADET_2017SAT3.78
stmt19_65_87CADET_2017SAT3.35
stmt19_65_95CADET_2017SAT4.14
stmt19_71_95CADET_2017SAT4.34
stmt19_75_83CADET_2017SAT3.73
stmt19_75_95CADET_2017SAT4.46
stmt19_79_83CADET_2017SAT3.9
stmt19_79_87CADET_2017SAT4.14
stmt19_83_91CADET_2017SAT4.59
stmt19_87_95CADET_2017SAT5.38
stmt23_66_67CADET_2017SAT2.2
stmt23_66_76CADET_2017SAT2.52
stmt23_67_92CADET_2017SAT3.87
stmt23_88_92CADET_2017SAT4.88
stmt23_92_96CADET_2017SAT5.34
stmt28_68_69CADET_2017SAT2.57
stmt28_68_73CADET_2017SAT2.84
stmt28_73_85CADET_2017SAT3.73
stmt28_73_97CADET_2017SAT4.74
stmt28_89_97CADET_2017SAT5.83