Sota solver results for family irqlkeapclte
QBFEVAL'16 - 2QBF Track.


InstanceSolverResultTime
stmt17_62_78areqsSAT10.66
stmt17_62_98areqsSAT17.13
stmt17_63_70xb-bid-qstsSAT4.13
stmt17_63_78depqbf-v2SAT6.51
stmt17_63_82depqbf-v2SAT6.91
stmt17_70_78areqsSAT11.2
stmt17_70_82areqsSAT12.38
stmt17_70_86areqsSAT14.28
stmt17_70_90areqsSAT15.04
stmt17_70_98areqsSAT17.97
stmt17_74_78hiqqer3SAT3.14
stmt17_74_90areqsSAT16.16
stmt17_78_90areqsSAT16.35
stmt17_78_94areqsSAT19.5
stmt17_78_98areqsSAT19.14
stmt17_82_86areqsSAT15.4
stmt17_82_94areqsSAT18.91
stmt17_82_98areqsSAT19.32
stmt17_86_98areqsSAT21.42
stmt17_94_98areqsSAT21.97
stmt19_64_87iprover-QBF-bloqqerSAT5.96
stmt19_64_91hiqqer3SAT1.92
stmt19_64_99areqsSAT16.33
stmt19_65_87areqsSAT13.45
stmt19_65_95areqsSAT15.65
stmt19_71_95areqsSAT15.79
stmt19_75_83areqsSAT13.15
stmt19_75_95areqsSAT16.43
stmt19_79_83areqsSAT14.68
stmt19_79_87areqsSAT15.56
stmt19_83_91areqsSAT17.72
stmt19_87_95areqsSAT19.93
stmt23_66_67hiqqer1ldsqSAT1.05
stmt23_66_76depqbf-v2SAT5.91
stmt23_66_96areqsSAT15.33
stmt23_67_92areqsSAT14.25
stmt23_72_76hiqqer3SAT1.45
stmt23_88_92areqsSAT17.7
stmt23_92_96xb-bid-qstsUNSAT13.88
stmt28_68_69areqsSAT8.64
stmt28_68_73hiqqer1ldsqSAT1.09
stmt28_68_81areqsSAT12.51
stmt28_73_85areqsSAT14.73
stmt28_73_97areqsSAT18.06
stmt28_89_97areqsSAT22.22
stmt7_33_34qestosSAT0.02