bgestp
ACTION/EXPECTED{sp}RESPONSE
RESPONSE{sp}NOT{sp}OBTAINED
{sp}{sp}{sp}{sp}{sp}{sp}{sp}
{sp}{sp}{sp}{sp}{sp}{sp}{sp}
{sp}{sp}SRO{sp}{sp}
ZD{sp}ZE{sp}ZF{sp}ZG
A{sp}{sp}B{sp}{sp}C{sp}{sp}D
AB{sp}AC{sp}AD
BC{sp}BD{sp}CD
{sp}{sp}{sp}B{sp}{sp}{sp}{sp}{sp}D
{sp}{sp}YES{sp}/{sp}NO{sp}{sp}
(circle{sp}one)
{sp}{sp}{sp}{sp}{sp}{sp}{sp}
{sp}{sp}SRO{sp}{sp}
{sp}YES{sp}/{sp}NO{sp}/{sp}N/A{sp}
{sp}{sp}(circle{sp}one)
{sp}{sp}{sp}{sp}{sp}{sp}{sp}
{sp}{sp}SRO{sp}{sp}
{sp}SAT{sp}/{sp}UNSAT{sp}{sp}
{sp}(circle{sp}one)
{sp}{sp}{sp}{sp}{sp}{sp}{sp}
{sp}{sp}SRO{sp}{sp}
A{sp}{sp}{sp}{sp}{sp}C{sp}{sp}{sp}