Sota solver results for family terminator
Prenex CNF Track


InstanceSolverResultTime
stmt19_313_412caqe-preUNSAT1.62
stmt19_83_412Caqe-hqspreUNSAT0
stmt21_181_369Caqe-hqspreUNSAT0
stmt21_310_360GhostQ___plain_pcnf_2019UNSAT1.88
stmt21_319_418depqbf_pre_QxQBHSAT2.33
stmt29_226_376Caqe-hqspreUNSAT0
stmt32_329_378Qute_defaultUNSAT2.57
stmt39_285_335caqe-preUNSAT1.42
stmt41_160_235Caqe-hqspreUNSAT0
stmt52_295_394Qute_rrsUNSAT2.42