Sota solver results for family irqlkeapclte
Prenex CNF Track


InstanceSolverResultTime
stmt17_62_98GhostQ___cegar_pcnf_2019SAT115.15
stmt17_63_82depqbf_pre_QxQBHSAT20.8
stmt17_70_90depqbf_pre_QxQBHSAT31.15
stmt17_70_98GhostQ___cegar_pcnf_2019SAT170.99
stmt17_82_98depqbf_pre_QxQBHSAT43.25
stmt17_86_98GhostQ___cegar_pcnf_2019SAT110.18
stmt19_64_99depqbf_pre_QxQBHSAT28.84
stmt23_66_96depqbf_pre_QxQBHSAT26.75
stmt23_72_76depqbf_pre_QxQBHSAT21.79
stmt28_68_81depqbf_pre_QxQBHSAT24.02