%--------------------------------------------------------------------------
% File     : SYN102-3.020 : TPTP v9.0.0. Bugfixed v1.2.0.
% Domain   : Syntactic
% Problem  : Plaisted problem n(t(3,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 SYN102-1.020:020.
%--------------------------------------------------------------------------