%--------------------------------------------------------------------------
% File     : SYN101-3.020 : TPTP v8.2.0. Bugfixed v1.2.0.
% Domain   : Syntactic
% Problem  : Plaisted problem n(t(2,20),20)
% Version  : Biased.
%            Theorem formulation : Size 20, 20 variables.
% English  :

% Refs     : [Pla94] Plaisted (1994), The Search Efficiency of Theorem Prov
% Source   : [Pla94]
% Names    :

% Status   : Unsatisfiable
% Rating   : ? v2.0.0
% Syntax   :

% Comments : Biased away from various calculi.
% Bugfixes : v1.2.0 - Renamed to SYN101-1.020:020.
%--------------------------------------------------------------------------