TPTP Problem File: GRA075+1.p
View Solutions
- Solve Problem
%------------------------------------------------------------------------------
% File : GRA075+1 : TPTP v8.2.0. Released v6.4.0.
% Domain : Graph Theory
% Problem : Directed graphs and paths
% Version : [TPTP] axioms : Especial.
% English :
% Refs :
% Source : [TPTP]
% Names :
% Status : Satisfiable
% Rating : 0.20 v8.2.0, 0.00 v6.4.0
% Syntax : Number of formulae : 12 ( 0 unt; 0 def)
% Number of atoms : 72 ( 21 equ)
% Maximal formula atoms : 9 ( 6 avg)
% Number of connectives : 66 ( 6 ~; 3 |; 38 &)
% ( 2 <=>; 12 =>; 2 <=; 3 <~>)
% Maximal formula depth : 13 ( 10 avg)
% Maximal term depth : 2 ( 1 avg)
% Number of predicates : 11 ( 10 usr; 1 prp; 0-3 aty)
% Number of functors : 5 ( 5 usr; 1 con; 0-2 aty)
% Number of variables : 48 ( 39 !; 9 ?)
% SPC : FOF_SAT_RFO_SEQ
% Comments :
%------------------------------------------------------------------------------
%----Directed graphs and paths
include('Axioms/GRA001+0.ax').
%------------------------------------------------------------------------------