TPTP Problem Domain: SWB


SWB001+1.p SWB001+2.p SWB001+3.p SWB001+4.p SWB002+1.p SWB002+2.p SWB002+3.p
SWB002+4.p SWB003+1.p SWB003+2.p SWB003+3.p SWB003+4.p SWB004-10.p SWB004+1.p
SWB004+2.p SWB004+3.p SWB004+4.p SWB005-10.p SWB005+1.p SWB005+2.p SWB005+3.p
SWB005+4.p SWB006-10.p SWB006+1.p SWB006+2.p SWB006+3.p SWB006+4.p SWB007-10.p
SWB007+1.p SWB007+2.p SWB007+3.p SWB007+4.p SWB008-10.p SWB008+1.p SWB008+2.p
SWB008+3.p SWB008+4.p SWB009-10.p SWB009+1.p SWB009+2.p SWB009+3.p SWB009+4.p
SWB010-10.p SWB010+1.p SWB010+2.p SWB010+3.p SWB010+4.p SWB011+1.p SWB011+2.p
SWB011+3.p SWB011+4.p SWB012-10.p SWB012+1.p SWB012+2.p SWB012+3.p SWB012+4.p
SWB013-10.p SWB013+1.p SWB013+2.p SWB013+3.p SWB013+4.p SWB014-10.p SWB014+1.p
SWB014+2.p SWB014+3.p SWB014+4.p SWB015-10.p SWB015+1.p SWB015+2.p SWB015+3.p
SWB015+4.p SWB016-10.p SWB016+1.p SWB016+2.p SWB016+3.p SWB016+4.p SWB017-10.p
SWB017+1.p SWB017+2.p SWB017+3.p SWB017+4.p SWB018-10.p SWB018+1.p SWB018+2.p
SWB018+3.p SWB018+4.p SWB019+1.p SWB019+2.p SWB019+3.p SWB019+4.p SWB020-10.p
SWB020+1.p SWB020+2.p SWB020+3.p SWB020+4.p SWB021-10.p SWB021+1.p SWB021+2.p
SWB021+3.p SWB021+4.p SWB022-10.p SWB022+1.p SWB022+2.p SWB022+3.p SWB022+4.p
SWB023-10.p SWB023+1.p SWB023+2.p SWB023+3.p SWB023+4.p SWB024-10.p SWB024+1.p
SWB024+2.p SWB024+3.p SWB024+4.p SWB025-10.p SWB025+1.p SWB025+2.p SWB025+3.p
SWB025+4.p SWB026-10.p SWB026+1.p SWB026+2.p SWB026+3.p SWB026+4.p SWB027-10.p
SWB027+1.p SWB027+2.p SWB027+3.p SWB027+4.p SWB028-10.p SWB028+1.p SWB028+2.p
SWB028+3.p SWB028+4.p SWB029-10.p SWB029+1.p SWB029+2.p SWB029+3.p SWB029+4.p
SWB030+1.p SWB030+2.p SWB030+3.p SWB030+4.p SWB031+1.p SWB031+2.p SWB031+3.p
SWB031+4.p SWB032-10.p SWB032+1.p SWB032+2.p SWB032+3.p SWB032+4.p SWB033+1.p
SWB034+1.p SWB035+1.p SWB036+1.p SWB037+1.p SWB038+1.p SWB039+1.p SWB040+1.p
SWB041+1.p SWB042+1.p SWB043+1.p SWB044+1.p SWB045+1.p SWB046+1.p SWB047+1.p
SWB048+1.p SWB049+1.p SWB050+1.p SWB051+1.p SWB052+1.p SWB053+1.p SWB054+1.p
SWB055+1.p SWB056+1.p SWB057+1.p SWB058+1.p SWB059+1.p SWB060+1.p SWB061+1.p
SWB062+1.p SWB063+1.p SWB064+1.p SWB065+1.p SWB066+1.p SWB067+1.p SWB068+1.p
SWB069+1.p SWB070+1.p SWB071+1.p SWB072+1.p SWB073+1.p SWB074+1.p SWB075+1.p
SWB076+1.p SWB077+1.p SWB078+1.p SWB079+1.p SWB080+1.p SWB081+1.p SWB082+1.p
SWB083+1.p SWB084+1.p SWB085+1.p SWB086+1.p SWB087+1.p SWB088+1.p SWB089+1.p
SWB090+1.p SWB091+1.p SWB092+1.p SWB093+1.p SWB094+1.p SWB095+1.p SWB096+1.p
SWB097+1.p SWB098+1.p SWB099+1.p SWB100+1.p SWB101+1.p SWB102+1.p SWB103+1.p
SWB104+1.p SWB105+1.p SWB106+1.p SWB107+1.p SWB108+1.p SWB109^15.p SWB109_15.p
SWB109^3.p SWB109_3.p