Sota solver results for family genbuf
QBFEVAL'18 - Prenex 2QBF Track


InstanceSolverResultTime
genbuf9b4n.satQute_defaultSAT7.74