TPTP Problem Domain: ANA


ANA001-1.p ANA002-1.p ANA002-2.p ANA002-3.p ANA002-4.p ANA003-1.p ANA003-2.p
ANA003-3.p ANA003-4.p ANA004-10.p ANA004-1.p ANA004-2.p ANA004-3.p ANA004-4.p
ANA004-5.p ANA005-10.p ANA005-1.p ANA005-2.p ANA005-3.p ANA005-4.p ANA005-5.p
ANA006-1.p ANA006-2.p ANA007-1.p ANA007-2.p ANA008-1.rm ANA008-2.rm ANA009-1.p
ANA009-2.p ANA010-1.p ANA010-2.p ANA011-1.rm ANA011-2.rm ANA012-1.p ANA012-2.p
ANA013-1.p ANA013-2.p ANA014-1.p ANA014-2.p ANA015-1.p ANA015-2.p ANA016-1.p
ANA016-2.p ANA017-1.p ANA017-2.p ANA018-1.p ANA018-2.p ANA019-1.p ANA019-2.p
ANA020-1.p ANA020-2.p ANA021-1.p ANA021-2.p ANA022-1.p ANA022-2.p ANA023-10.p
ANA023-1.p ANA023-2.p ANA024-1.p ANA024-2.p ANA025-1.p ANA025-2.p ANA026-1.p
ANA026-2.p ANA027-1.p ANA027-2.p ANA028-1.p ANA028-2.p ANA029-1.p ANA029-2.p
ANA030-1.p ANA030-2.p ANA031-1.p ANA031-2.p ANA032-1.p ANA032-2.p ANA033-1.p
ANA034-10.p ANA034-1.p ANA034-2.p ANA035-1.p ANA035-2.p ANA036-1.p ANA037-1.p
ANA037-2.p ANA038-1.p ANA038-2.p ANA039-1.p ANA039-2.p ANA040-1.rm ANA040-2.rm
ANA041-1.p ANA041-2.p ANA042-1.p ANA042-2.p ANA043-1.p ANA043-2.p ANA044-1.p
ANA044-2.p ANA045-1.p ANA045-2.p ANA046^1.p ANA047^1.p ANA048^1.p ANA049^1.p
ANA050^1.p ANA051^1.p ANA052^1.p ANA053^1.p ANA054^1.p ANA055^1.p ANA056^1.p
ANA057^1.p ANA058^1.p ANA059^1.p ANA060^1.p ANA061^1.p ANA062^1.p ANA063^1.p
ANA064^1.p ANA065^1.p ANA066^1.p ANA067^1.p ANA068^1.p ANA069^1.p ANA070^1.p
ANA071^1.p ANA072^1.p ANA073^1.p ANA074^1.p ANA075^1.p ANA076^1.p ANA077^1.p
ANA078^1.p ANA079^1.p ANA080^1.p ANA081^1.p ANA082^1.p ANA083^1.p ANA084^1.p
ANA085^1.p ANA086^1.p ANA087^1.p ANA088^1.p ANA089^1.p ANA090^1.p ANA091^1.p
ANA092^1.p ANA093^1.p ANA094^1.p ANA095^1.p ANA096^1.p ANA097^1.p ANA098^1.p
ANA099^1.p ANA100^1.p ANA101^1.p ANA102^1.p ANA103^1.p ANA104^1.p ANA105^1.p
ANA106^1.p ANA107^1.p ANA108^1.p ANA109^1.p ANA110^1.p ANA111^1.p ANA112^1.p
ANA113^1.p ANA114^1.p ANA115^1.p ANA116^1.p ANA117^1.p ANA118^1.p ANA119^1.p
ANA120^1.p ANA121^1.p ANA122^1.p ANA123^1.p ANA124^1.p ANA125^1.p ANA126^1.p
ANA127^1.p ANA128^1.p ANA129^1.p ANA130^1.p ANA131^1.p ANA132^1.p