TPTP Problem Domain: MSC


MSC001-1.p MSC002-1.p MSC002-2.p MSC003-1.p MSC004-1.p MSC005-1.p MSC006-1.p
MSC007^1.003.004.p MSC007-1.005.rm MSC007-1.008.p MSC007-2.002.rm MSC007-2.005.p MSC008-1.002.p MSC008-1.002.rm
MSC008-1.010.p MSC008-2.002.p MSC009+1.p MSC009-1.p MSC010+1.p MSC011+1.p MSC012+1.p
MSC013-10.p MSC013+1.p MSC014-10.p MSC014+1.p MSC015-10.027.p MSC015-10.030.p MSC015-1.005.p
MSC015-1.010.p MSC015-1.015.p MSC015-1.020.p MSC015-1.022.p MSC015-1.025.p MSC015-1.027.p MSC015-1.030.p
MSC016+1.p MSC017+1.p MSC018-10.p MSC018+1.p MSC019+1.p MSC020^5.p MSC021^5.p
MSC022=1.rm MSC022=2.p MSC023=1.rm MSC023=2.p MSC024+1.p MSC024-1.p MSC025^1.p
MSC025^2.p MSC026-1.p MSC027-1.p MSC028=1.p MSC029^1.p MSC030^1.p MSC031^1.p
MSC032^1.p MSC033^1.p