TPTP Problem Domain: NLP


NLP001+1.p NLP001-1.p NLP001^7.p NLP002-10.p NLP002+1.p NLP002-1.p NLP002^7.p
NLP003-10.p NLP003+1.p NLP003-1.p NLP003^7.p NLP004+1.p NLP004-1.p NLP004^7.p
NLP005+1.p NLP005-1.p NLP005^7.p NLP006+1.p NLP006-1.p NLP006^7.p NLP007+1.p
NLP007-1.p NLP007^7.p NLP008+1.p NLP008-1.p NLP008^7.p NLP009+1.p NLP009-1.p
NLP009^7.p NLP010+1.rm NLP010-1.rm NLP011+1.p NLP011-1.p NLP011^7.p NLP012+1.p
NLP012-1.p NLP013+1.p NLP013-1.p NLP014-10.p NLP014+1.p NLP014-1.p NLP015-10.p
NLP015+1.p NLP015-1.p NLP016-10.p NLP016+1.p NLP016-1.p NLP017-10.p NLP017+1.p
NLP017-1.p NLP018-10.p NLP018+1.p NLP018-1.p NLP019-10.p NLP019+1.p NLP019-1.p
NLP020-10.p NLP020+1.p NLP020-1.p NLP021-10.p NLP021+1.p NLP021-1.p NLP022-10.p
NLP022+1.p NLP022-1.p NLP023-10.p NLP023+1.p NLP023-1.p NLP024-10.p NLP024+1.p
NLP024-1.p NLP025-10.p NLP025+1.p NLP025-1.p NLP026+1.p NLP026-1.p NLP027+1.p
NLP027-1.p NLP028+1.p NLP028-1.p NLP029+1.p NLP029-1.p NLP030+1.p NLP030-1.p
NLP031+1.p NLP031-1.p NLP032+1.p NLP032-1.p NLP033+1.p NLP033-1.p NLP034+1.p
NLP034-1.p NLP035+1.p NLP035-1.p NLP036+1.p NLP036-1.p NLP037+1.p NLP037-1.p
NLP038+1.p NLP038-1.p NLP039+1.p NLP039-1.p NLP040+1.p NLP040-1.p NLP041+1.p
NLP041-1.p NLP042-10.p NLP042+1.p NLP042-1.p NLP043+1.p NLP043-1.p NLP044+1.p
NLP044-1.p NLP045+1.p NLP045-1.p NLP046+1.p NLP046-1.p NLP047+1.p NLP047-1.p
NLP048+1.p NLP048-1.p NLP049+1.p NLP049-1.p NLP050+1.p NLP050-1.p NLP051+1.p
NLP051-1.p NLP052+1.p NLP052-1.p NLP053+1.p NLP053-1.p NLP054+1.p NLP054-1.p
NLP055+1.p NLP055-1.p NLP056+1.p NLP056-1.p NLP057+1.p NLP057-1.p NLP058+1.p
NLP058-1.p NLP059+1.p NLP059-1.p NLP060+1.p NLP060-1.p NLP061+1.p NLP061-1.p
NLP062+1.p NLP062-1.p NLP063+1.p NLP063-1.p NLP064+1.p NLP064-1.p NLP065+1.p
NLP065-1.p NLP066+1.p NLP066-1.p NLP067+1.p NLP067-1.p NLP068+1.p NLP068-1.p
NLP069+1.p NLP069-1.p NLP070+1.p NLP070-1.p NLP071+1.p NLP071-1.p NLP072+1.p
NLP072-1.p NLP073+1.p NLP073-1.p NLP074+1.p NLP074-1.p NLP075+1.p NLP075-1.p
NLP076+1.p NLP076-1.p NLP077+1.p NLP077-1.p NLP078+1.p NLP078-1.p NLP079+1.p
NLP079-1.p NLP080+1.p NLP080-1.p NLP081+1.p NLP081-1.p NLP082+1.p NLP082-1.p
NLP083+1.p NLP083-1.p NLP084+1.p NLP084-1.p NLP085+1.p NLP085-1.p NLP086+1.p
NLP086-1.p NLP087+1.p NLP087-1.p NLP088+1.p NLP088-1.p NLP089+1.p NLP089-1.p
NLP090+1.p NLP090-1.p NLP091+1.p NLP091-1.p NLP092+1.p NLP092-1.p NLP093+1.p
NLP093-1.p NLP094+1.p NLP094-1.p NLP095+1.p NLP095-1.p NLP096+1.p NLP096-1.p
NLP097+1.p NLP097-1.p NLP098+1.p NLP098-1.p NLP099+1.p NLP099-1.p NLP100+1.p
NLP100-1.p NLP101+1.p NLP101-1.p NLP102+1.p NLP102-1.p NLP103+1.p NLP103-1.p
NLP104+1.p NLP104-1.p NLP105+1.p NLP105-1.p NLP106+1.p NLP106-1.p NLP107+1.p
NLP107-1.p NLP108-10.p NLP108+1.p NLP108-1.p NLP109+1.p NLP109-1.p NLP110-10.p
NLP110+1.p NLP110-1.p NLP111-10.p NLP111+1.p NLP111-1.p NLP112-10.p NLP112+1.p
NLP112-1.p NLP113+1.p NLP113-1.p NLP114+1.p NLP114-1.p NLP115+1.p NLP115-1.p
NLP116+1.p NLP116-1.p NLP117+1.p NLP117-1.p NLP118+1.p NLP118-1.p NLP119+1.p
NLP119-1.p NLP120+1.p NLP120-1.p NLP121+1.p NLP121-1.p NLP122+1.p NLP122-1.p
NLP123+1.p NLP123-1.p NLP124-10.p NLP124+1.p NLP124-1.p NLP125-10.p NLP125+1.p
NLP125-1.p NLP126-10.p NLP126+1.p NLP126-1.p NLP127-10.p NLP127+1.p NLP127-1.p
NLP128-10.p NLP128+1.p NLP128-1.p NLP129-10.p NLP129+1.p NLP129-1.p NLP130+1.p
NLP130-1.p NLP131+1.p NLP131-1.p NLP132+1.p NLP132-1.p NLP133+1.p NLP133-1.p
NLP134+1.p NLP134-1.p NLP135+1.p NLP135-1.p NLP136+1.p NLP136-1.p NLP137+1.p
NLP137-1.p NLP138+1.p NLP138-1.p NLP139+1.p NLP139-1.p NLP140+1.p NLP140-1.p
NLP141+1.p NLP141-1.p NLP142+1.p NLP142-1.p NLP143+1.p NLP143-1.p NLP144+1.p
NLP144-1.p NLP145+1.p NLP145-1.p NLP146+1.p NLP146-1.p NLP147+1.p NLP147-1.p
NLP148+1.p NLP148-1.p NLP149+1.p NLP149-1.p NLP150+1.p NLP150-1.p NLP151+1.p
NLP151-1.p NLP152+1.p NLP152-1.p NLP153+1.p NLP153-1.p NLP154+1.p NLP154-1.p
NLP155+1.p NLP155-1.p NLP156+1.p NLP156-1.p NLP157+1.p NLP157-1.p NLP158+1.p
NLP158-1.p NLP159+1.p NLP159-1.p NLP160+1.p NLP160-1.p NLP161+1.p NLP161-1.p
NLP162+1.p NLP162-1.p NLP163+1.p NLP163-1.p NLP164+1.p NLP164-1.p NLP165+1.p
NLP165-1.p NLP166+1.p NLP166-1.p NLP167+1.p NLP167-1.p NLP168+1.p NLP168-1.p
NLP169+1.p NLP169-1.p NLP170+1.p NLP170-1.p NLP171+1.p NLP171-1.p NLP172+1.p
NLP172-1.p NLP173+1.p NLP173-1.p NLP174+1.p NLP174-1.p NLP175+1.p NLP175-1.p
NLP176+1.p NLP176-1.p NLP177+1.p NLP177-1.p NLP178+1.p NLP178-1.p NLP179+1.p
NLP179-1.p NLP180+1.p NLP180-1.p NLP181+1.p NLP181-1.p NLP182+1.p NLP182-1.p
NLP183+1.p NLP183-1.p NLP184+1.p NLP184-1.p NLP185+1.p NLP185-1.p NLP186+1.p
NLP186-1.p NLP187+1.p NLP187-1.p NLP188+1.p NLP188-1.p NLP189+1.p NLP189-1.p
NLP190+1.p NLP190-1.p NLP191+1.p NLP191-1.p NLP192+1.p NLP192-1.p NLP193+1.p
NLP193-1.p NLP194+1.p NLP194-1.p NLP195+1.p NLP195-1.p NLP196+1.p NLP196-1.p
NLP197+1.p NLP197-1.p NLP198+1.p NLP198-1.p NLP199+1.p NLP199-1.p NLP200+1.p
NLP200-1.p NLP201+1.p NLP201-1.p NLP202+1.p NLP202-1.p NLP203+1.p NLP203-1.p
NLP204+1.p NLP204-1.p NLP205+1.p NLP205-1.p NLP206+1.p NLP206-1.p NLP207+1.p
NLP207-1.p NLP208+1.p NLP208-1.p NLP209+1.p NLP209-1.p NLP210+1.p NLP210-1.p
NLP211+1.p NLP211-1.p NLP212+1.p NLP212-1.p NLP213+1.p NLP213-1.p NLP214+1.p
NLP214-1.p NLP215+1.p NLP215-1.p NLP216+1.p NLP216-1.p NLP217+1.p NLP217-1.p
NLP218+1.p NLP218-1.p NLP219+1.p NLP219-1.p NLP220-10.p NLP220+1.p NLP220-1.p
NLP221+1.p NLP221-1.p NLP222+1.p NLP222-1.p NLP223+1.p NLP223-1.p NLP224-10.p
NLP224+1.p NLP224-1.p NLP225-10.p NLP225+1.p NLP225-1.p NLP226-10.p NLP226+1.p
NLP226-1.p NLP227-10.p NLP227+1.p NLP227-1.p NLP228-10.p NLP228+1.p NLP228-1.p
NLP229-10.p NLP229+1.p NLP229-1.p NLP230+1.p NLP230-1.p NLP231+1.p NLP231-1.p
NLP232+1.p NLP232-1.p NLP233+1.p NLP233-1.p NLP234+1.p NLP234-1.p NLP235+1.p
NLP235-1.p NLP236+1.p NLP236-1.p NLP237+1.p NLP237-1.p NLP238+1.p NLP238-1.p
NLP239+1.p NLP239-1.p NLP240-10.p NLP240+1.p NLP240-1.p NLP241-10.p NLP241+1.p
NLP241-1.p NLP242-10.p NLP242+1.p NLP242-1.p NLP243-10.p NLP243+1.p NLP243-1.p
NLP244-10.p NLP244+1.p NLP244-1.p NLP245-10.p NLP245+1.p NLP245-1.p NLP246-10.p
NLP246+1.p NLP246-1.p NLP247-10.p NLP247+1.p NLP247-1.p NLP248-10.p NLP248+1.p
NLP248-1.p NLP249-10.p NLP249+1.p NLP249-1.p NLP250+1.p NLP250-1.p NLP251+1.p
NLP251-1.p NLP252+1.p NLP252-1.p NLP253+1.p NLP253-1.p NLP254+1.p NLP254-1.p
NLP255+1.p NLP255-1.p NLP256+1.p NLP256-1.p NLP257+1.p NLP257-1.p NLP258+1.p
NLP258-1.p NLP259+1.p NLP259-1.p NLP260+1.p NLP261+1.p NLP262+1.p NLP263+1.p
NLP264^7.p