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