TPTP Problem Domain: SWC


SWC001+1.p SWC001-1.p SWC002+1.p SWC002-1.p SWC003+1.p SWC003-1.p SWC004+1.p
SWC004-1.p SWC005+1.p SWC005-1.p SWC006+1.p SWC006-1.p SWC007+1.p SWC007-1.p
SWC008+1.p SWC008-1.p SWC009+1.p SWC009-1.p SWC010+1.p SWC010-1.p SWC011+1.p
SWC011-1.p SWC012+1.p SWC012-1.p SWC013+1.p SWC013-1.p SWC014+1.p SWC014-1.p
SWC015+1.p SWC015-1.p SWC016+1.p SWC016-1.p SWC017+1.p SWC017-1.p SWC018+1.p
SWC018-1.p SWC019+1.p SWC019-1.p SWC020+1.p SWC020-1.p SWC021+1.p SWC021-1.p
SWC022+1.p SWC022-1.p SWC023+1.p SWC023-1.p SWC024+1.p SWC024-1.p SWC025+1.p
SWC025-1.p SWC026+1.p SWC026-1.p SWC027+1.p SWC027-1.p SWC028+1.p SWC028-1.p
SWC029+1.p SWC029-1.p SWC030+1.p SWC030-1.p SWC031+1.p SWC031-1.p SWC032+1.p
SWC032-1.p SWC033+1.p SWC033-1.p SWC034+1.p SWC034-1.p SWC035+1.p SWC035-1.p
SWC036+1.p SWC036-1.p SWC037+1.p SWC037-1.p SWC038+1.p SWC038-1.p SWC039+1.p
SWC039-1.p SWC040+1.p SWC040-1.p SWC041+1.p SWC041-1.p SWC042+1.p SWC042-1.p
SWC043+1.p SWC043-1.p SWC044+1.p SWC044-1.p SWC045+1.p SWC045-1.p SWC046+1.p
SWC046-1.p SWC047+1.p SWC047-1.p SWC048+1.p SWC048-1.p SWC049+1.p SWC049-1.p
SWC050+1.p SWC050-1.p SWC051+1.p SWC051-1.p SWC052+1.p SWC052-1.p SWC053+1.p
SWC053-1.p SWC054+1.p SWC054-1.p SWC055+1.p SWC055-1.p SWC056+1.p SWC056-1.p
SWC057+1.p SWC057-1.p SWC058+1.p SWC058-1.p SWC059+1.p SWC059-1.p SWC060+1.p
SWC060-1.p SWC061+1.p SWC061-1.p SWC062+1.p SWC062-1.p SWC063+1.p SWC063-1.p
SWC064+1.p SWC064-1.p SWC065+1.p SWC065-1.p SWC066+1.p SWC066-1.p SWC067+1.p
SWC067-1.p SWC068+1.p SWC068-1.p SWC069+1.p SWC069-1.p SWC070+1.p SWC070-1.p
SWC071+1.p SWC071-1.p SWC072+1.p SWC072-1.p SWC073+1.p SWC073-1.p SWC074+1.p
SWC074-1.p SWC075+1.p SWC075-1.p SWC076+1.p SWC076-1.p SWC077+1.p SWC077-1.p
SWC078+1.p SWC078-1.p SWC079+1.p SWC079-1.p SWC080+1.p SWC080-1.p SWC081+1.p
SWC081-1.p SWC082+1.p SWC082-1.p SWC083+1.p SWC083-1.p SWC084+1.p SWC084-1.p
SWC085+1.p SWC085-1.p SWC086+1.p SWC086-1.p SWC087+1.p SWC087-1.p SWC088+1.p
SWC088-1.p SWC089+1.p SWC089-1.p SWC090+1.p SWC090-1.p SWC091+1.p SWC091-1.p
SWC092+1.p SWC092-1.p SWC093+1.p SWC093-1.p SWC094+1.p SWC094-1.p SWC095+1.p
SWC095-1.p SWC096+1.p SWC096-1.p SWC097+1.p SWC097-1.p SWC098+1.p SWC098-1.p
SWC099+1.p SWC099-1.p SWC100+1.p SWC100-1.p SWC101+1.p SWC101-1.p SWC102+1.p
SWC102-1.p SWC103+1.p SWC103-1.p SWC104+1.p SWC104-1.p SWC105+1.p SWC105-1.p
SWC106+1.p SWC106-1.p SWC107+1.p SWC107-1.p SWC108+1.p SWC108-1.p SWC109+1.p
SWC109-1.p SWC110+1.p SWC110-1.p SWC111+1.p SWC111-1.p SWC112+1.p SWC112-1.p
SWC113+1.p SWC113-1.p SWC114+1.p SWC114-1.p SWC115+1.p SWC115-1.p SWC116+1.p
SWC116-1.p SWC117+1.p SWC117-1.p SWC118+1.p SWC118-1.p SWC119+1.p SWC119-1.p
SWC120+1.p SWC120-1.p SWC121+1.p SWC121-1.p SWC122+1.p SWC122-1.p SWC123+1.p
SWC123-1.p SWC124+1.p SWC124-1.p SWC125+1.p SWC125-1.p SWC126+1.p SWC126-1.p
SWC127+1.p SWC127-1.p SWC128+1.p SWC128-1.p SWC129+1.p SWC129-1.p SWC130+1.p
SWC130-1.p SWC131+1.p SWC131-1.p SWC132+1.p SWC132-1.p SWC133+1.p SWC133-1.p
SWC134+1.p SWC134-1.p SWC135+1.p SWC135-1.p SWC136+1.p SWC136-1.p SWC137+1.p
SWC137-1.p SWC138+1.p SWC138-1.p SWC139+1.p SWC139-1.p SWC140+1.p SWC140-1.p
SWC141+1.p SWC141-1.p SWC142+1.p SWC142-1.p SWC143+1.p SWC143-1.p SWC144+1.p
SWC144-1.p SWC145+1.p SWC145-1.p SWC146+1.p SWC146-1.p SWC147+1.p SWC147-1.p
SWC148+1.p SWC148-1.p SWC149+1.p SWC149-1.p SWC150+1.p SWC150-1.p SWC151+1.p
SWC151-1.p SWC152+1.p SWC152-1.p SWC153+1.p SWC153-1.p SWC154+1.p SWC154-1.p
SWC155+1.p SWC155-1.p SWC156+1.p SWC156-1.p SWC157+1.p SWC157-1.p SWC158+1.p
SWC158-1.p SWC159+1.p SWC159-1.p SWC160+1.p SWC160-1.p SWC161+1.p SWC161-1.p
SWC162+1.p SWC162-1.p SWC163+1.p SWC163-1.p SWC164+1.p SWC164-1.p SWC165+1.p
SWC165-1.p SWC166+1.p SWC166-1.p SWC167+1.p SWC167-1.p SWC168+1.p SWC168-1.p
SWC169+1.p SWC169-1.p SWC170+1.p SWC170-1.p SWC171+1.p SWC171-1.p SWC172+1.p
SWC172-1.p SWC173+1.p SWC173-1.p SWC174+1.p SWC174-1.p SWC175+1.p SWC175-1.p
SWC176+1.p SWC176-1.p SWC177+1.p SWC177-1.p SWC178+1.p SWC178-1.p SWC179+1.p
SWC179-1.p SWC180+1.p SWC180-1.p SWC181+1.p SWC181-1.p SWC182+1.p SWC182-1.p
SWC183+1.p SWC183-1.p SWC184+1.p SWC184-1.p SWC185+1.p SWC185-1.p SWC186+1.p
SWC186-1.p SWC187+1.p SWC187-1.p SWC188+1.p SWC188-1.p SWC189+1.p SWC189-1.p
SWC190+1.p SWC190-1.p SWC191+1.p SWC191-1.p SWC192+1.p SWC192-1.p SWC193+1.p
SWC193-1.p SWC194+1.p SWC194-1.p SWC195+1.p SWC195-1.p SWC196+1.p SWC196-1.p
SWC197+1.p SWC197-1.p SWC198+1.p SWC198-1.p SWC199+1.p SWC199-1.p SWC200+1.p
SWC200-1.p SWC201+1.p SWC201-1.p SWC202+1.p SWC202-1.p SWC203+1.p SWC203-1.p
SWC204+1.p SWC204-1.p SWC205+1.p SWC205-1.p SWC206+1.p SWC206-1.p SWC207+1.p
SWC207-1.p SWC208+1.p SWC208-1.p SWC209+1.p SWC209-1.p SWC210+1.p SWC210-1.p
SWC211+1.p SWC211-1.p SWC212+1.p SWC212-1.p SWC213+1.p SWC213-1.p SWC214+1.p
SWC214-1.p SWC215+1.p SWC215-1.p SWC216+1.p SWC216-1.p SWC217+1.p SWC217-1.p
SWC218+1.p SWC218-1.p SWC219+1.p SWC219-1.p SWC220+1.p SWC220-1.p SWC221+1.p
SWC221-1.p SWC222+1.p SWC222-1.p SWC223+1.p SWC223-1.p SWC224+1.p SWC224-1.p
SWC225+1.p SWC225-1.p SWC226+1.p SWC226-1.p SWC227+1.p SWC227-1.p SWC228+1.p
SWC228-1.p SWC229+1.p SWC229-1.p SWC230+1.p SWC230-1.p SWC231+1.p SWC231-1.p
SWC232+1.p SWC232-1.p SWC233+1.p SWC233-1.p SWC234+1.p SWC234-1.p SWC235+1.p
SWC235-1.p SWC236+1.p SWC236-1.p SWC237+1.p SWC237-1.p SWC238+1.p SWC238-1.p
SWC239+1.p SWC239-1.p SWC240+1.p SWC240-1.p SWC241+1.p SWC241-1.p SWC242+1.p
SWC242-1.p SWC243+1.p SWC243-1.p SWC244+1.p SWC244-1.p SWC245+1.p SWC245-1.p
SWC246+1.p SWC246-1.p SWC247+1.p SWC247-1.p SWC248+1.p SWC248-1.p SWC249+1.p
SWC249-1.p SWC250+1.p SWC250-1.p SWC251+1.p SWC251-1.p SWC252+1.p SWC252-1.p
SWC253+1.p SWC253-1.p SWC254+1.p SWC254-1.p SWC255+1.p SWC255-1.p SWC256+1.p
SWC256-1.p SWC257+1.p SWC257-1.p SWC258+1.p SWC258-1.p SWC259+1.p SWC259-1.p
SWC260+1.p SWC260-1.p SWC261+1.p SWC261-1.p SWC262+1.p SWC262-1.p SWC263+1.p
SWC263-1.p SWC264+1.p SWC264-1.p SWC265+1.p SWC265-1.p SWC266+1.p SWC266-1.p
SWC267+1.p SWC267-1.p SWC268+1.p SWC268-1.p SWC269+1.p SWC269-1.p SWC270+1.p
SWC270-1.p SWC271+1.p SWC271-1.p SWC272+1.p SWC272-1.p SWC273+1.p SWC273-1.p
SWC274+1.p SWC274-1.p SWC275+1.p SWC275-1.p SWC276+1.p SWC276-1.p SWC277+1.p
SWC277-1.p SWC278+1.p SWC278-1.p SWC279+1.p SWC279-1.p SWC280+1.p SWC280-1.p
SWC281+1.p SWC281-1.p SWC282+1.p SWC282-1.p SWC283+1.p SWC283-1.p SWC284+1.p
SWC284-1.p SWC285+1.p SWC285-1.p SWC286+1.p SWC286-1.p SWC287+1.p SWC287-1.p
SWC288+1.p SWC288-1.p SWC289+1.p SWC289-1.p SWC290+1.p SWC290-1.p SWC291+1.p
SWC291-1.p SWC292+1.p SWC292-1.p SWC293+1.p SWC293-1.p SWC294+1.p SWC294-1.p
SWC295+1.p SWC295-1.p SWC296+1.p SWC296-1.p SWC297+1.p SWC297-1.p SWC298+1.p
SWC298-1.p SWC299+1.p SWC299-1.p SWC300+1.p SWC300-1.p SWC301+1.p SWC301-1.p
SWC302+1.p SWC302-1.p SWC303+1.p SWC303-1.p SWC304+1.p SWC304-1.p SWC305+1.p
SWC305-1.p SWC306+1.p SWC306-1.p SWC307+1.p SWC307-1.p SWC308+1.p SWC308-1.p
SWC309+1.p SWC309-1.p SWC310+1.p SWC310-1.p SWC311+1.p SWC311-1.p SWC312+1.p
SWC312-1.p SWC313+1.p SWC313-1.p SWC314+1.p SWC314-1.p SWC315+1.p SWC315-1.p
SWC316+1.p SWC316-1.p SWC317+1.p SWC317-1.p SWC318+1.p SWC318-1.p SWC319+1.p
SWC319-1.p SWC320+1.p SWC320-1.p SWC321+1.p SWC321-1.p SWC322+1.p SWC322-1.p
SWC323+1.p SWC323-1.p SWC324+1.p SWC324-1.p SWC325+1.p SWC325-1.p SWC326+1.p
SWC326-1.p SWC327+1.p SWC327-1.p SWC328+1.p SWC328-1.p SWC329+1.p SWC329-1.p
SWC330+1.p SWC330-1.p SWC331+1.p SWC331-1.p SWC332+1.p SWC332-1.p SWC333+1.p
SWC333-1.p SWC334+1.p SWC334-1.p SWC335+1.p SWC335-1.p SWC336+1.p SWC336-1.p
SWC337+1.p SWC337-1.p SWC338+1.p SWC338-1.p SWC339+1.p SWC339-1.p SWC340+1.p
SWC340-1.p SWC341+1.p SWC341-1.p SWC342+1.p SWC342-1.p SWC343+1.p SWC343-1.p
SWC344+1.p SWC344-1.p SWC345+1.p SWC345-1.p SWC346+1.p SWC346-1.p SWC347+1.p
SWC347-1.p SWC348+1.p SWC348-1.p SWC349+1.p SWC349-1.p SWC350+1.p SWC350-1.p
SWC351+1.p SWC351-1.p SWC352+1.p SWC352-1.p SWC353+1.p SWC353-1.p SWC354+1.p
SWC354-1.p SWC355+1.p SWC355-1.p SWC356+1.p SWC356-1.p SWC357+1.p SWC357-1.p
SWC358+1.p SWC358-1.p SWC359+1.p SWC359-1.p SWC360+1.p SWC360-1.p SWC361+1.p
SWC361-1.p SWC362+1.p SWC362-1.p SWC363+1.p SWC363-1.p SWC364+1.p SWC364-1.p
SWC365+1.p SWC365-1.p SWC366+1.p SWC366-1.p SWC367+1.p SWC367-1.p SWC368+1.p
SWC368-1.p SWC369+1.p SWC369-1.p SWC370+1.p SWC370-1.p SWC371+1.p SWC371-1.p
SWC372+1.p SWC372-1.p SWC373+1.p SWC373-1.p SWC374+1.p SWC374-1.p SWC375+1.p
SWC375-1.p SWC376+1.p SWC376-1.p SWC377+1.p SWC377-1.p SWC378+1.p SWC378-1.p
SWC379+1.p SWC379-1.p SWC380+1.p SWC380-1.p SWC381+1.p SWC381-1.p SWC382+1.p
SWC382-1.p SWC383+1.p SWC383-1.p SWC384+1.p SWC384-1.p SWC385+1.p SWC385-1.p
SWC386+1.p SWC386-1.p SWC387+1.p SWC387-1.p SWC388+1.p SWC388-1.p SWC389+1.p
SWC389-1.p SWC390+1.p SWC390-1.p SWC391+1.p SWC391-1.p SWC392+1.p SWC392-1.p
SWC393+1.p SWC393-1.p SWC394+1.p SWC394-1.p SWC395+1.p SWC395-1.p SWC396+1.p
SWC396-1.p SWC397+1.p SWC397-1.p SWC398+1.p SWC398-1.p SWC399+1.p SWC399-1.p
SWC400+1.p SWC400-1.p SWC401+1.p SWC401-1.p SWC402+1.p SWC402-1.p SWC403+1.p
SWC403-1.p SWC404+1.p SWC404-1.p SWC405+1.p SWC405-1.p SWC406+1.p SWC406-1.p
SWC407+1.p SWC407-1.p SWC408+1.p SWC408-1.p SWC409+1.p SWC409-1.p SWC410+1.p
SWC410-1.p SWC411+1.p SWC411-1.p SWC412+1.p SWC412-1.p SWC413+1.p SWC413-1.p
SWC414+1.p SWC414-1.p SWC415+1.p SWC415-1.p SWC416+1.p SWC416-1.p SWC417+1.p
SWC417-1.p SWC418+1.p SWC418-1.p SWC419+1.p SWC419-1.p SWC420+1.p SWC420-1.p
SWC421+1.p SWC421-1.p SWC422+1.p SWC422-1.p SWC423+1.p SWC423-1.p SWC424-1.001.001.rm
SWC424-1.001.002.rm SWC424-1.002.001.rm SWC424-1.002.002.rm SWC424-1.002.003.rm SWC424-1.003.003.rm SWC424-1.004.003.rm SWC424-1.005.003.rm
SWC424-1.005.004.rm SWC424-1.006.004.rm SWC424-1.007.004.rm SWC424-1.007.005.rm SWC425^7.p