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.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