TPTP Problem Domain: CSR


CSR001+1.p CSR001+2.p CSR002+1.p CSR002+2.p CSR003+1.p CSR004+1.p CSR004+2.p
CSR005+1.p CSR005+2.p CSR006+1.p CSR007+1.p CSR008+1.p CSR009+1.p CSR010+1.p
CSR011+1.p CSR012+1.p CSR013+1.p CSR014+1.p CSR015+1.p CSR016+1.p CSR017+1.p
CSR018+1.p CSR019+1.p CSR020+1.p CSR021+1.p CSR022+1.p CSR023+1.p CSR024+1.009.p
CSR024+1.010.p CSR025+1.p CSR025+2.p CSR025+3.p CSR025+4.p CSR025+5.p CSR025+6.p
CSR026+1.p CSR026+2.p CSR026+3.p CSR026+4.p CSR026+5.p CSR026+6.p CSR027-10.p
CSR027+1.p CSR027+2.p CSR027+3.p CSR027+4.p CSR027+5.p CSR027+6.p CSR028+1.p
CSR028+2.p CSR028+3.p CSR028+4.p CSR028+5.p CSR028+6.p CSR029+1.p CSR029+2.p
CSR029+3.p CSR029+4.p CSR029+5.p CSR029+6.p CSR030+1.p CSR030+2.p CSR030+3.p
CSR030+4.p CSR030+5.p CSR030+6.p CSR031+1.p CSR031+2.p CSR031+3.p CSR031+4.p
CSR031+5.p CSR031+6.p CSR032+1.p CSR032+2.p CSR032+3.p CSR032+4.p CSR032+5.p
CSR032+6.p CSR033+1.p CSR033+2.p CSR033+3.p CSR033+4.p CSR033+5.p CSR033+6.p
CSR034-10.p CSR034+1.p CSR034+2.p CSR034+3.p CSR034+4.p CSR034+5.p CSR034+6.p
CSR035+1.p CSR035+2.p CSR035+3.p CSR035+4.p CSR035+5.p CSR035+6.p CSR036-10.p
CSR036+1.p CSR036+2.p CSR036+3.p CSR036+4.p CSR036+5.p CSR036+6.p CSR037+1.p
CSR037+2.p CSR037+3.p CSR037+4.p CSR037+5.p CSR037+6.p CSR038-10.p CSR038+1.p
CSR038+2.p CSR038+3.p CSR038+4.p CSR038+5.p CSR038+6.p CSR039-10.p CSR039+1.p
CSR039+2.p CSR039+3.p CSR039+4.p CSR039+5.p CSR039+6.p CSR040-10.p CSR040+1.p
CSR040+2.p CSR040+3.p CSR040+4.p CSR040+5.p CSR040+6.p CSR041-10.p CSR041+1.p
CSR041+2.p CSR041+3.p CSR041+4.p CSR041+5.p CSR041+6.p CSR042+1.p CSR042+2.p
CSR042+3.p CSR042+4.p CSR042+5.p CSR042+6.p CSR043+1.p CSR043+2.p CSR043+3.p
CSR043+4.p CSR043+5.p CSR043+6.p CSR044-10.p CSR044+1.p CSR044+2.p CSR044+3.p
CSR044+4.p CSR044+5.p CSR044+6.p CSR045+1.p CSR045+2.p CSR045+3.p CSR045+4.p
CSR045+5.p CSR045+6.p CSR046+1.p CSR046+2.p CSR046+3.p CSR046+4.p CSR046+5.p
CSR046+6.p CSR047+1.p CSR047+2.p CSR047+3.p CSR047+4.p CSR047+5.p CSR047+6.p
CSR048+1.p CSR048+2.p CSR048+3.p CSR048+4.p CSR048+5.p CSR048+6.p CSR049-10.p
CSR049+1.p CSR049+2.p CSR049+3.p CSR049+4.p CSR049+5.p CSR049+6.p CSR050+1.p
CSR050+2.p CSR050+3.p CSR050+4.p CSR050+5.p CSR050+6.p CSR051-10.p CSR051+1.p
CSR051+2.p CSR051+3.p CSR051+4.p CSR051+5.p CSR051+6.p CSR052+1.p CSR052+2.p
CSR052+3.p CSR052+4.p CSR052+5.p CSR052+6.p CSR053+1.p CSR053+2.p CSR053+3.p
CSR053+4.p CSR053+5.p CSR053+6.p CSR054+1.p CSR054+2.p CSR054+3.p CSR054+4.p
CSR054+5.p CSR054+6.p CSR055-10.p CSR055+1.p CSR055+2.p CSR055+3.p CSR055+4.p
CSR055+5.p CSR055+6.p CSR056+1.p CSR056+2.p CSR056+3.p CSR056+4.p CSR056+5.p
CSR056+6.p CSR057-10.p CSR057+1.p CSR057+2.p CSR057+3.p CSR057+4.p CSR057+5.p
CSR057+6.p CSR058-10.p CSR058+1.p CSR058+2.p CSR058+3.p CSR058+4.p CSR058+5.p
CSR058+6.p CSR059-10.p CSR059+1.p CSR059+2.p CSR059+3.p CSR059+4.p CSR059+5.p
CSR059+6.p CSR060+1.p CSR060+2.p CSR060+3.p CSR060+4.p CSR060+5.p CSR060+6.p
CSR061+1.p CSR061+2.p CSR061+3.p CSR061+4.p CSR061+5.p CSR061+6.p CSR062+1.p
CSR062+2.p CSR062+3.p CSR062+4.p CSR062+5.p CSR062+6.p CSR063+1.p CSR063+2.p
CSR063+3.p CSR063+4.p CSR063+5.p CSR063+6.p CSR064+1.p CSR064+2.p CSR064+3.p
CSR064+4.p CSR064+5.p CSR064+6.p CSR065-10.p CSR065+1.p CSR065+2.p CSR065+3.p
CSR065+4.p CSR065+5.p CSR065+6.p CSR066+1.p CSR066+2.p CSR066+3.p CSR066+4.p
CSR066+5.p CSR066+6.p CSR067+1.p CSR067+2.p CSR067+3.p CSR067+4.p CSR067+5.p
CSR067+6.p CSR068-10.p CSR068+1.p CSR068+2.p CSR068+3.p CSR068+4.p CSR068+5.p
CSR068+6.p CSR069+1.p CSR069+2.p CSR069+3.p CSR069+4.p CSR069+5.p CSR069+6.p
CSR070+1.p CSR070+2.p CSR070+3.p CSR070+4.p CSR070+5.p CSR070+6.p CSR071+1.p
CSR071+2.p CSR071+3.p CSR071+4.p CSR071+5.p CSR071+6.p CSR072-10.p CSR072+1.p
CSR072+2.p CSR072+3.p CSR072+4.p CSR072+5.p CSR072+6.p CSR073-10.p CSR073+1.p
CSR073+2.p CSR073+3.p CSR073+4.p CSR073+5.p CSR073+6.p CSR074+1.p CSR074+2.p
CSR074+3.p CSR074+4.p CSR074+5.p CSR074+6.p CSR075+1.p CSR075+2.p CSR075+3.p
CSR075+4.p CSR075+5.p CSR075+6.p CSR076+1.p CSR076+2.p CSR076+3.p CSR076+4.p
CSR076+5.p CSR076+6.p CSR076+7.p CSR077+1.p CSR077+2.p CSR077+3.p CSR077+4.p
CSR077+5.p CSR077+6.p CSR078+1.p CSR078+2.p CSR078+3.p CSR078+4.p CSR078+5.p
CSR078+6.p CSR079+1.p CSR079+2.p CSR079+3.p CSR079+4.p CSR079+5.p CSR079+6.p
CSR079+7.p CSR080+1.p CSR080+2.p CSR080+3.p CSR080+4.p CSR080+5.p CSR080+6.p
CSR081+1.p CSR081+2.p CSR081+3.p CSR081+4.p CSR081+5.p CSR081+6.p CSR081+7.p
CSR082+1.p CSR082+2.p CSR082+3.p CSR082+4.p CSR082+5.p CSR082+6.p CSR083+1.p
CSR083+2.p CSR083+3.p CSR083+4.p CSR083+5.p CSR083+6.p CSR084+1.p CSR084+2.p
CSR084+3.p CSR084+4.p CSR084+5.p CSR084+6.p CSR084+7.p CSR085+1.p CSR085+2.p
CSR085+3.p CSR085+4.p CSR085+5.p CSR085+6.p CSR085+7.p CSR086+1.p CSR086+2.p
CSR086+3.p CSR086+4.p CSR086+5.p CSR086+6.p CSR087+1.p CSR087+2.p CSR087+3.p
CSR087+4.p CSR087+5.p CSR087+6.p CSR088+1.p CSR088+2.p CSR088+3.p CSR088+4.p
CSR088+5.p CSR088+6.p CSR088+7.p CSR089+1.p CSR089+2.p CSR089+3.p CSR089+4.p
CSR089+5.p CSR089+6.p CSR089+7.p CSR090+1.p CSR090+2.p CSR090+3.p CSR090+4.p
CSR090+5.p CSR090+6.p CSR091+1.p CSR091+2.p CSR091+3.p CSR091+4.p CSR091+5.p
CSR091+6.p CSR092+1.p CSR092+2.p CSR092+3.p CSR092+4.p CSR092+5.p CSR092+6.p
CSR093+1.p CSR093+2.p CSR093+3.p CSR093+4.p CSR093+5.p CSR093+6.p CSR093+7.p
CSR094+1.p CSR094+2.p CSR094+3.p CSR094+4.p CSR094+5.p CSR094+6.p CSR094+7.p
CSR095+1.p CSR095+2.p CSR095+3.p CSR095+4.p CSR095+5.p CSR095+6.p CSR096+1.p
CSR096+2.p CSR096+3.p CSR096+4.p CSR096+5.p CSR096+6.p CSR096+7.p CSR097+1.p
CSR097+2.p CSR097+3.p CSR097+4.p CSR097+5.p CSR097+6.p CSR098+1.p CSR098+2.p
CSR098+3.p CSR098+4.p CSR098+5.p CSR098+6.p CSR098+7.p CSR099+1.p CSR099+2.p
CSR099+3.p CSR099+4.p CSR099+5.p CSR099+6.p CSR100+1.p CSR100+2.p CSR100+3.p
CSR100+4.p CSR100+5.p CSR100+6.p CSR100+7.p CSR101+1.p CSR101+2.p CSR101+3.p
CSR101+4.p CSR101+5.p CSR101+6.p CSR102+1.p CSR102+2.p CSR102+3.p CSR102+4.p
CSR102+5.p CSR102+6.p CSR103+1.p CSR103+2.p CSR103+3.p CSR103+4.p CSR103+5.p
CSR103+6.p CSR103+7.p CSR104+1.p CSR104+2.p CSR104+3.p CSR104+4.p CSR104+5.p
CSR104+6.p CSR104+7.p CSR105+1.p CSR105+2.p CSR105+3.p CSR105+4.p CSR105+5.p
CSR105+6.p CSR105+7.p CSR106+1.p CSR106+2.p CSR106+3.p CSR106+4.p CSR106+5.p
CSR106+6.p CSR106+7.p CSR107+1.p CSR107+2.p CSR107+3.p CSR107+4.p CSR107+5.p
CSR107+6.p CSR107+7.p CSR108+1.p CSR108+2.p CSR108+3.p CSR108+4.p CSR108+5.p
CSR108+6.p CSR108+7.p CSR109+1.p CSR109+2.p CSR109+3.p CSR109+4.p CSR109+5.p
CSR109+6.p CSR109+7.p CSR110+1.p CSR110+2.p CSR110+3.p CSR111-10.p CSR111+2.p
CSR111+3.p CSR111+4.p CSR111+5.p CSR111+6.p CSR112+1.p CSR113+10.p CSR113+11.p
CSR113+12.p CSR113+13.p CSR113+14.p CSR113+15.p CSR113+16.p CSR113+17.p CSR113+18.p
CSR113+19.p CSR113+1.p CSR113+20.p CSR113+21.p CSR113+22.p CSR113+23.p CSR113+24.p
CSR113+25.p CSR113+26.p CSR113+27.p CSR113+28.p CSR113+29.p CSR113+2.p CSR113+30.p
CSR113+31.p CSR113+3.p CSR113+4.p CSR113+5.p CSR113+6.p CSR113+7.p CSR113+8.p
CSR113+9.p CSR114+10.p CSR114+11.p CSR114+12.p CSR114+13.p CSR114+14.p CSR114+15.p
CSR114+16.p CSR114+17.p CSR114+18.p CSR114+19.p CSR114+1.p CSR114+20.p CSR114+21.p
CSR114+22.p CSR114+23.p CSR114+24.p CSR114+25.p CSR114+26.p CSR114+27.p CSR114+28.p
CSR114+29.p CSR114+2.p CSR114+30.p CSR114+3.p CSR114+4.p CSR114+5.p CSR114+6.p
CSR114+7.p CSR114+8.p CSR114+9.p CSR115+100.p CSR115+10.p CSR115+11.p CSR115+12.p
CSR115+13.p CSR115+14.p CSR115+15.p CSR115+16.p CSR115+17.p CSR115+18.p CSR115+19.p
CSR115+1.p CSR115+20.p CSR115+21.p CSR115+22.p CSR115+23.p CSR115+24.p CSR115+25.p
CSR115+26.p CSR115+27.p CSR115+28.p CSR115+29.p CSR115+2.p CSR115+30.p CSR115+31.p
CSR115+32.p CSR115+33.p CSR115+34.p CSR115+35.p CSR115+36.p CSR115+37.p CSR115+38.p
CSR115+39.p CSR115+3.p CSR115+40.p CSR115+41.p CSR115+42.p CSR115+43.p CSR115+44.p
CSR115+45.p CSR115+46.p CSR115+47.p CSR115+48.p CSR115+49.p CSR115+4.p CSR115+50.p
CSR115+51.p CSR115+52.p CSR115+53.p CSR115+54.p CSR115+55.p CSR115+56.p CSR115+57.p
CSR115+58.p CSR115+59.p CSR115+5.p CSR115+60.p CSR115+61.p CSR115+62.p CSR115+63.p
CSR115+64.p CSR115+65.p CSR115+66.p CSR115+67.p CSR115+68.p CSR115+69.p CSR115+6.p
CSR115+70.p CSR115+71.p CSR115+72.p CSR115+73.p CSR115+74.p CSR115+75.p CSR115+76.p
CSR115+77.p CSR115+78.p CSR115+79.p CSR115+7.p CSR115+80.p CSR115+81.p CSR115+82.p
CSR115+83.p CSR115+84.p CSR115+85.p CSR115+86.p CSR115+87.p CSR115+88.p CSR115+89.p
CSR115+8.p CSR115+90.p CSR115+91.p CSR115+92.p CSR115+93.p CSR115+94.p CSR115+95.p
CSR115+96.p CSR115+97.p CSR115+98.p CSR115+99.p CSR115+9.p CSR116+10.p CSR116+11.p
CSR116+12.p CSR116+13.p CSR116+14.p CSR116+15.p CSR116+16.p CSR116+17.p CSR116+18.p
CSR116+19.p CSR116+1.p CSR116+20.p CSR116+21.p CSR116+22.p CSR116+23.p CSR116+24.p
CSR116+25.p CSR116+26.p CSR116+27.p CSR116+28.p CSR116+29.p CSR116+2.p CSR116+30.p
CSR116+31.p CSR116+32.p CSR116+33.p CSR116+34.p CSR116+35.p CSR116+36.p CSR116+37.p
CSR116+38.p CSR116+39.p CSR116+3.p CSR116+40.p CSR116+41.p CSR116+42.p CSR116+43.p
CSR116+44.p CSR116+45.p CSR116+46.p CSR116+47.p CSR116+4.p CSR116+5.p CSR116+6.p
CSR116+7.p CSR116+8.p CSR116+9.p CSR117+1.p CSR118+1.p CSR118+2.p CSR118+3.p
CSR118+4.p CSR118+5.p CSR118+6.p CSR118+7.p CSR119^1.p CSR119^2.p CSR119^3.p
CSR119_8.p CSR120^1.p CSR120^2.p CSR120^3.p CSR120_8.p CSR121^1.p CSR121^2.p
CSR121_8.p CSR122^1.p CSR122^2.p CSR122_8.p CSR123^1.p CSR123^2.p CSR124^1.p
CSR124^2.p CSR124_8.p CSR125^1.p CSR125^2.p CSR125_8.p CSR126^1.p CSR126^2.p
CSR126_8.p CSR127^1.p CSR127^2.p CSR127_8.p CSR128^1.p CSR128^2.p CSR128_8.p
CSR129^1.p CSR129^2.p CSR130^1.p CSR130^2.p CSR131^1.p CSR131^2.p CSR132^1.p
CSR132^2.p CSR133^1.p CSR133^2.p CSR134^1.p CSR134^2.p CSR135^1.p CSR135^2.p
CSR136^1.p CSR136^2.p CSR137^1.p CSR137^2.p CSR138^1.p CSR138^2.p CSR139^1.p
CSR139^2.p CSR140^1.p CSR140^2.p CSR141^1.p CSR141^2.p CSR141^3.p CSR141_8.p
CSR142^1.p CSR142^2.p CSR142^3.p CSR143^1.p CSR143^2.p CSR143^3.p CSR143_8.p
CSR144^1.p CSR144^2.p CSR144^3.p CSR144_8.p CSR145^1.p CSR145^2.p CSR145^3.p
CSR146^1.p CSR146^2.p CSR146^3.p CSR147+1.p CSR148^1.p CSR148^2.p CSR148^3.p
CSR148_8.p CSR149^1.p CSR149^2.p CSR149^3.p CSR149_8.p CSR150^1.p CSR150^2.p
CSR150^3.p CSR151^1.p CSR151^2.p CSR151^3.p CSR151_8.p CSR152^1.p CSR152^2.p
CSR152^3.p CSR152_8.p CSR153^1.p CSR153^2.p CSR153^3.p CSR154+1.p CSR155+1.p
CSR156+1.p CSR157+1.p CSR158+1.p CSR159+1.p CSR160+1.p CSR161+1.p CSR162+1.p
CSR163+1.p CSR164+1.p CSR165+1.p CSR166+1.p CSR167+1.p CSR168+1.p CSR169+1.p
CSR170+1.p CSR171+1.p CSR172+1.p CSR173+1.p CSR174+1.p CSR175+1.p CSR176+1.p
CSR177+1.p CSR178+1.p CSR179+1.p CSR180+1.p CSR181+1.p CSR182+1.p CSR183+1.p
CSR184+1.p CSR185+1.p CSR186+1.p CSR187+1.p CSR188+1.p CSR189+1.p CSR190+1.p
CSR191+1.p CSR192+1.p CSR193+1.p CSR194+1.p CSR195+1.p CSR196+1.p CSR197+1.p
CSR198+1.p CSR199+1.p CSR200+1.p CSR201+1.p CSR202+1.p CSR203+1.p CSR204+1.p
CSR205+1.p CSR206+1.p CSR207+1.p CSR208+1.p CSR209+1.p CSR210+1.p CSR211+1.p
CSR212+1.p CSR213+1.p CSR214+1.p CSR215+1.p CSR216+1.p CSR217+1.p CSR218+1.p
CSR219+1.p CSR220+1.p CSR221+1.p CSR222+1.p CSR223+1.p CSR224+1.p CSR225+1.p
CSR226+1.p CSR227+1.p CSR228+1.p CSR229+1.p CSR230+1.p CSR231+1.p CSR232+1.p
CSR233+1.p CSR234+1.p CSR235+1.p CSR236+1.p CSR237+1.p CSR238+1.p CSR239+1.p
CSR240+1.p CSR241+1.p CSR242+1.p CSR243+1.p CSR244+1.p CSR245+1.p CSR246+1.p
CSR247+1.p CSR248+1.p CSR249+1.p CSR250+1.p CSR251+1.p CSR252+1.p CSR253+1.p
CSR254+1.p CSR255+1.p CSR256+1.p CSR257+1.p CSR258+1.p CSR259+1.p CSR260+1.p
CSR261+1.p CSR262+1.p CSR263+1.p CSR264+1.p CSR265+1.p CSR266+1.p CSR267+1.p
CSR268+1.p CSR269+1.p CSR270+1.p CSR271+1.p CSR272+1.p CSR273+1.p CSR274+1.p
CSR275+1.p CSR276+1.p CSR277+1.p CSR278+1.p CSR279+1.p CSR280+1.p CSR281+1.p
CSR282+1.p CSR283+1.p CSR284+1.p CSR285+1.p CSR286+1.p CSR287+1.p CSR288+1.p
CSR289+1.p CSR290+1.p CSR291+1.p CSR292+1.p CSR293+1.p CSR294+1.p CSR295+1.p
CSR296+1.p CSR297+1.p CSR298+1.p CSR299+1.p CSR300+1.p CSR301+1.p CSR302+1.p
CSR303+1.p CSR304+1.p CSR305+1.p CSR306+1.p