Sota solver results for family terminator
QBFEVAL'17 - Prenex CNF Track


InstanceSolverResultTime
stmt19_313_412ijtihad_v2UNSAT1.46
stmt19_83_412caqe_2017_v2UNSAT0.28
stmt21_181_369caqe_2017_v2UNSAT0.27
stmt21_310_360ijtihad_v2UNSAT1.45
stmt21_319_418qbfrelaySAT5.41
stmt29_226_376caqe_2017_v2UNSAT0.26
stmt32_329_378Qute_defaultUNSAT2.31
stmt39_285_335ijtihad_v2UNSAT0.71
stmt41_160_235caqe_2017_v2UNSAT0.31