TPTP Problem Domain: LAT


LAT001-1.p LAT002-1.p LAT003-1.p LAT004-1.p LAT005-10.p LAT005-1.p LAT005-2.p
LAT005-3.p LAT005-4.p LAT005-5.p LAT005-6.p LAT006-1.p LAT007-1.p LAT008-1.p
LAT009-1.p LAT010-1.p LAT011-1.p LAT012-1.p LAT013-1.p LAT014-1.p LAT015-1.p
LAT016-1.p LAT017-1.p LAT018-1.p LAT019-1.p LAT020-1.p LAT021-1.p LAT022-1.p
LAT023-1.p LAT024-1.p LAT025-1.p LAT026-1.p LAT027-1.p LAT028-1.p LAT029-1.p
LAT030-1.p LAT031-1.p LAT032-1.p LAT033-1.p LAT034-1.p LAT035-1.p LAT036-1.p
LAT037-1.p LAT038-1.p LAT039-1.p LAT039-2.p LAT040-1.p LAT041-1.p LAT042-1.p
LAT043-1.p LAT044-1.p LAT045-1.p LAT046-1.p LAT047-1.p LAT048-1.p LAT049-1.p
LAT050-1.p LAT051-1.p LAT052-1.p LAT053-1.p LAT054-1.p LAT055-1.p LAT055-2.p
LAT056-1.p LAT057-1.p LAT058-1.p LAT059-1.p LAT060-1.p LAT061-1.p LAT062-1.p
LAT063-1.p LAT064-1.p LAT065-10.p LAT065-1.p LAT066-1.p LAT067-1.p LAT068-1.p
LAT069-1.p LAT070-1.p LAT071-1.p LAT072-1.p LAT073-1.p LAT074-1.p LAT075-1.p
LAT076-1.p LAT077-1.p LAT078-1.p LAT079-1.p LAT080-1.p LAT081-1.p LAT082-1.p
LAT083-1.p LAT084-1.p LAT085-1.p LAT086-1.p LAT087-1.p LAT088-1.p LAT089-1.p
LAT090-1.p LAT091-1.p LAT092-1.p LAT093-1.p LAT094-1.p LAT095-1.p LAT096-1.p
LAT097-1.p LAT098-1.p LAT099-1.p LAT100-1.p LAT101-1.p LAT102-1.p LAT103-1.p
LAT104-1.p LAT105-1.p LAT106-1.p LAT107-1.p LAT108-1.p LAT109-1.p LAT110-1.p
LAT111-1.p LAT112-1.p LAT113-1.p LAT114-1.p LAT115-1.p LAT116-1.p LAT117-1.p
LAT118-1.p LAT119-1.p LAT120-1.p LAT121-1.p LAT122-1.p LAT123-1.p LAT124-1.p
LAT125-1.p LAT126-1.p LAT127-1.p LAT128-1.p LAT129-1.p LAT130-1.p LAT131-1.p
LAT132-1.p LAT133-1.p LAT134-1.p LAT135-1.p LAT136-1.p LAT137-1.p LAT138-1.p
LAT139-1.p LAT140-1.p LAT141-1.p LAT142-1.p LAT143-1.p LAT144-1.p LAT145-1.p
LAT146-1.p LAT147-1.p LAT148-1.p LAT149-1.p LAT150-1.p LAT151-1.p LAT152-1.p
LAT153-1.p LAT154-1.p LAT155-1.p LAT156-1.p LAT157-1.p LAT158-1.p LAT159-1.p
LAT160-1.p LAT161-1.p LAT162-1.p LAT163-1.p LAT164-1.p LAT165-1.p LAT166-1.p
LAT167-1.p LAT168-1.p LAT169-1.p LAT170-1.p LAT171-1.p LAT172-1.p LAT173-1.p
LAT174-1.p LAT175-1.p LAT176-1.p LAT177-1.p LAT178-1.p LAT179-1.p LAT180-1.p
LAT181-1.p LAT182-1.p LAT183-10.p LAT183-1.p LAT184-1.p LAT185-1.p LAT186-10.p
LAT186-1.p LAT187-1.p LAT188-1.p LAT189-1.p LAT190-10.p LAT190-1.p LAT191-1.p
LAT192-1.p LAT193-1.p LAT194-1.p LAT195-1.p LAT196-1.p LAT197-1.p LAT198-1.p
LAT199-1.p LAT200-1.p LAT201-1.p LAT202-1.p LAT203-1.p LAT204-1.p LAT205-1.p
LAT206-10.p LAT206-1.p LAT207-1.p LAT208-1.p LAT209-1.p LAT210-1.p LAT211-1.p
LAT212-1.p LAT213-1.p LAT214-1.p LAT215-1.p LAT216-1.p LAT217-1.p LAT218-1.p
LAT219-1.p LAT220-1.p LAT221-1.p LAT222-10.p LAT222-1.p LAT223-10.p LAT223-1.p
LAT224-10.p LAT224-1.p LAT225-1.p LAT226-1.p LAT227-1.p LAT228-1.p LAT229-10.p
LAT229-1.p LAT230-10.p LAT230-1.p LAT231-1.p LAT232-1.p LAT233-1.p LAT234-1.p
LAT235-1.p LAT236-1.p LAT237-1.p LAT238-1.p LAT239-1.p LAT240-1.p LAT241-10.p
LAT241-1.p LAT242-1.p LAT243-1.p LAT244-1.p LAT245-1.p LAT246-1.p LAT247-1.p
LAT248-1.p LAT249-1.p LAT250-1.p LAT251-1.p LAT252-1.p LAT253-1.p LAT254-1.p
LAT255-1.p LAT256-1.p LAT257-1.p LAT258+1.p LAT259-1.p LAT259-2.p LAT260-1.p
LAT260-2.p LAT261-1.p LAT261-2.p LAT262-1.p LAT262-2.p LAT263-1.p LAT263-2.p
LAT264-1.p LAT264-2.p LAT265-1.p LAT265-2.p LAT266-1.p LAT266-2.p LAT267-1.p
LAT267-2.p LAT268-10.p LAT268-1.p LAT268-2.p LAT269-1.p LAT269-2.p LAT270-1.p
LAT270-2.p LAT271-1.p LAT271-2.p LAT272-1.p LAT272-2.p LAT273-1.p LAT273-2.p
LAT274-1.p LAT274-2.p LAT275-1.p LAT275-2.p LAT276-1.p LAT276-2.p LAT277-1.p
LAT277-2.p LAT278-1.p LAT278-2.p LAT279-1.p LAT279-2.p LAT280-1.p LAT280-2.p
LAT281-1.p LAT281-2.p LAT282+1.p LAT282+2.p LAT282+3.p LAT282+4.p LAT283+1.p
LAT283+2.p LAT283+3.p LAT283+4.p LAT284+1.p LAT284+2.p LAT284+3.p LAT284+4.p
LAT285+1.p LAT285+2.p LAT285+3.p LAT285+4.p LAT286+1.p LAT286+2.p LAT286+3.p
LAT286+4.p LAT287+1.p LAT287+2.p LAT287+3.p LAT287+4.p LAT288+1.p LAT288+2.p
LAT288+3.p LAT288+4.p LAT289+1.p LAT289+2.p LAT289+3.p LAT289+4.p LAT290+1.p
LAT290+2.p LAT290+3.p LAT290+4.p LAT291+1.p LAT291+2.p LAT291+3.p LAT291+4.p
LAT292+1.p LAT292+2.p LAT292+3.p LAT292+4.p LAT293+1.p LAT293+2.p LAT293+3.p
LAT293+4.p LAT294+1.p LAT294+2.p LAT294+3.p LAT294+4.p LAT295+1.p LAT295+2.p
LAT295+3.p LAT295+4.p LAT296+1.p LAT296+2.p LAT296+3.p LAT296+4.p LAT297+1.p
LAT297+2.p LAT297+3.p LAT297+4.p LAT298+1.p LAT298+2.p LAT298+3.p LAT298+4.p
LAT299+1.p LAT299+2.p LAT299+3.p LAT299+4.p LAT300+1.p LAT300+2.p LAT300+3.p
LAT300+4.p LAT301+1.p LAT301+2.p LAT301+3.p LAT301+4.p LAT302+1.p LAT302+2.p
LAT302+3.p LAT302+4.p LAT303+1.p LAT303+2.p LAT303+3.p LAT303+4.p LAT304+1.p
LAT304+2.p LAT304+3.p LAT304+4.p LAT305+1.p LAT305+2.p LAT305+3.p LAT305+4.p
LAT306+1.p LAT306+2.p LAT306+3.p LAT306+4.p LAT307+1.p LAT307+2.p LAT307+3.p
LAT307+4.p LAT308+1.p LAT308+2.p LAT308+3.p LAT308+4.p LAT309+1.p LAT309+2.p
LAT309+3.p LAT309+4.p LAT310+1.p LAT310+2.p LAT310+3.p LAT310+4.p LAT311+1.p
LAT311+2.p LAT311+3.p LAT311+4.p LAT312+1.p LAT312+2.p LAT312+3.p LAT312+4.p
LAT313+1.p LAT313+2.p LAT313+3.p LAT313+4.p LAT314+1.p LAT314+2.p LAT314+3.p
LAT314+4.p LAT315+1.p LAT315+2.p LAT315+3.p LAT315+4.p LAT316+1.p LAT316+2.p
LAT316+3.p LAT316+4.p LAT317+1.p LAT317+2.p LAT317+3.p LAT317+4.p LAT318+1.p
LAT318+2.p LAT318+3.p LAT318+4.p LAT319+1.p LAT319+2.p LAT319+3.p LAT319+4.p
LAT320+1.p LAT320+2.p LAT320+3.p LAT320+4.p LAT321+1.p LAT321+2.p LAT321+3.p
LAT321+4.p LAT322+1.p LAT322+2.p LAT322+3.p LAT322+4.p LAT323+1.p LAT323+2.p
LAT323+3.p LAT323+4.p LAT324+1.p LAT324+2.p LAT324+3.p LAT324+4.p LAT325+1.p
LAT325+2.p LAT325+3.p LAT325+4.p LAT326+1.p LAT326+2.p LAT326+3.p LAT326+4.p
LAT327+1.p LAT327+2.p LAT327+3.p LAT327+4.p LAT328+1.p LAT328+2.p LAT328+3.p
LAT328+4.p LAT329+1.p LAT329+2.p LAT329+3.p LAT329+4.p LAT330+1.p LAT330+2.p
LAT330+3.p LAT330+4.p LAT331+1.p LAT331+2.p LAT331+3.p LAT331+4.p LAT332+1.p
LAT332+2.p LAT332+3.p LAT332+4.p LAT333+1.p LAT333+2.p LAT333+3.p LAT333+4.p
LAT334+1.p LAT334+2.p LAT334+3.p LAT334+4.p LAT335+1.p LAT335+2.p LAT335+3.p
LAT335+4.p LAT336+1.p LAT336+2.p LAT336+3.p LAT336+4.p LAT337+1.p LAT337+2.p
LAT337+3.p LAT337+4.p LAT338+1.p LAT338+2.p LAT338+3.p LAT338+4.p LAT339+1.p
LAT339+2.p LAT339+3.p LAT339+4.p LAT340+1.p LAT340+2.p LAT340+3.p LAT340+4.p
LAT341+1.p LAT341+2.p LAT341+3.p LAT341+4.p LAT342+1.p LAT342+2.p LAT342+3.p
LAT342+4.p LAT343+1.p LAT343+2.p LAT343+3.p LAT343+4.p LAT344+1.p LAT344+2.p
LAT344+3.p LAT344+4.p LAT345+1.p LAT345+2.p LAT345+3.p LAT345+4.p LAT346+1.p
LAT346+2.p LAT346+3.p LAT346+4.p LAT347+1.p LAT347+2.p LAT347+3.p LAT347+4.p
LAT348+1.p LAT348+2.p LAT348+3.p LAT348+4.p LAT349+1.p LAT349+2.p LAT349+3.p
LAT349+4.p LAT350+1.p LAT350+2.p LAT350+3.p LAT350+4.p LAT351+1.p LAT351+2.p
LAT351+3.p LAT351+4.p LAT352+1.p LAT352+2.p LAT352+3.p LAT352+4.p LAT353+1.p
LAT353+2.p LAT353+3.p LAT353+4.p LAT354+1.p LAT354+2.p LAT354+3.p LAT354+4.p
LAT355+1.p LAT355+2.p LAT355+3.p LAT355+4.p LAT356+1.p LAT356+2.p LAT356+3.p
LAT356+4.p LAT357+1.p LAT357+2.p LAT357+3.p LAT357+4.p LAT358+1.p LAT358+2.p
LAT358+3.p LAT358+4.p LAT359+1.p LAT359+2.p LAT359+3.p LAT359+4.p LAT360+1.p
LAT360+2.p LAT360+3.p LAT360+4.p LAT361+1.p LAT361+2.p LAT361+3.p LAT361+4.p
LAT362+1.p LAT362+2.p LAT362+3.p LAT362+4.p LAT363+1.p LAT363+2.p LAT363+3.p
LAT363+4.p LAT364+1.p LAT364+2.p LAT364+3.p LAT364+4.p LAT365+1.p LAT365+2.p
LAT365+3.p LAT365+4.p LAT366+1.p LAT366+2.p LAT366+3.p LAT366+4.p LAT367+1.p
LAT367+2.p LAT367+3.p LAT367+4.p LAT368+1.p LAT368+2.p LAT368+3.p LAT368+4.p
LAT369+1.p LAT369+2.p LAT369+3.p LAT369+4.p LAT370+1.p LAT370+2.p LAT370+3.p
LAT370+4.p LAT371+1.p LAT371+2.p LAT371+3.p LAT371+4.p LAT372+1.p LAT372+2.p
LAT372+3.p LAT372+4.p LAT373+1.p LAT373+2.p LAT373+3.p LAT373+4.p LAT374+1.p
LAT374+2.p LAT374+3.p LAT374+4.p LAT375+1.p LAT375+2.p LAT375+3.p LAT375+4.p
LAT376+1.p LAT376+2.p LAT376+3.p LAT376+4.p LAT377+1.p LAT377+2.p LAT377+3.p
LAT377+4.p LAT378+1.p LAT378+2.p LAT378+3.p LAT378+4.p LAT379+1.p LAT379+2.p
LAT379+3.p LAT379+4.p LAT380+1.p LAT380+2.p LAT380+3.p LAT380+4.p LAT381+1.p
LAT381+3.p LAT382+1.p LAT382+3.p LAT383+1.p LAT383+4.p LAT384+1.p LAT384+4.p
LAT385+1.p LAT385+4.p LAT386+1.p LAT386+4.p LAT387+1.p LAT387+4.p LAT388+1.p
LAT388+4.p LAT389-1.p LAT390-1.p LAT391-1.p LAT392-1.p LAT393-1.p LAT393-2.p
LAT394-1.p LAT394-2.p LAT395-1.p LAT396-1.p LAT397-1.p LAT397-2.p LAT398-1.p
LAT398-2.p LAT399-1.p LAT399-2.p LAT400-1.p LAT400-2.p LAT400-3.p LAT400-4.p
LAT401-1.p LAT401-2.p