%--------------------------------------------------------------------------
% File     : SYN101-3.005 : TPTP v9.0.0. Bugfixed v1.2.0.
% Domain   : Syntactic
% Problem  : Plaisted problem n(t(2,5),20)
% Version  : Biased.
%            Theorem formulation : Size 5, 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.005:020.
%--------------------------------------------------------------------------