TPTP Problem Domain: HEN
HEN001-1.p
HEN001-3.p
HEN001-5.p
HEN002-1.p
HEN002-2.p
HEN002-3.p
HEN002-4.p
HEN002-5.p
HEN003-1.p
HEN003-2.p
HEN003-3.p
HEN003-4.p
HEN003-5.p
HEN004-1.p
HEN004-2.p
HEN004-3.p
HEN004-4.p
HEN004-5.p
HEN004-6.p
HEN005-1.p
HEN005-2.p
HEN005-3.p
HEN005-4.p
HEN005-5.p
HEN005-6.p
HEN006-1.p
HEN006-2.p
HEN006-3.p
HEN006-4.p
HEN006-5.p
HEN006-6.p
HEN006-7.p
HEN007-1.p
HEN007-2.p
HEN007-3.p
HEN007-4.p
HEN007-5.p
HEN007-6.p
HEN008-1.p
HEN008-2.p
HEN008-3.p
HEN008-4.p
HEN008-5.p
HEN008-6.p
HEN009-1.p
HEN009-2.p
HEN009-3.p
HEN009-4.p
HEN009-5.p
HEN009-6.p
HEN010-10.p
HEN010-1.p
HEN010-2.p
HEN010-3.p
HEN010-4.p
HEN010-5.p
HEN010-6.p
HEN010-7.p
HEN011-1.p
HEN011-2.p
HEN011-3.p
HEN011-4.p
HEN011-5.p
HEN012-1.p
HEN012-3.p
HEN013-1.p
HEN013-2.p
HEN013-3.p