TPTP Problem Domain: COM


COM001-1.p COM001_1.p COM002-1.p COM002_1.p COM002-2.p COM002_2.p COM003+1.p
COM003-1.p COM003_1.p COM003+2.p COM003-2.p COM003+3.p COM004-1.p COM005-1.p
COM006-1.p COM007+1.p COM007+2.p COM008+1.p COM008+2.p COM009-1.p COM009-2.p
COM010-1.p COM010-2.p COM011-1.p COM011-2.p COM012+1.p COM012+3.p COM013+1.p
COM013+4.p COM014+1.p COM014+4.p COM015+1.p COM015+4.p COM016+1.p COM016+4.p
COM017+1.p COM017+4.p COM018+1.p COM018+4.p COM019+1.p COM019+4.p COM020+1.p
COM020+4.p COM021+1.p COM021+4.p COM022+1.p COM022+4.p COM023+1.p COM023+4.p
COM024^5.p COM025_5.p COM026_5.p COM027_5.p COM028_5.p COM029_5.p COM030_5.p
COM031_5.p COM032_5.p COM033_5.p COM034_5.p COM035_5.p COM036_5.p COM037_5.p
COM038_5.p COM039_5.p COM040_5.p COM041_5.p COM042_5.p COM043_5.p COM044_5.p
COM045_5.p COM046_5.p COM047_5.p COM048_5.p COM049_5.p COM050_5.p COM051_5.p
COM052_5.p COM053_5.p COM054_5.p COM055_5.p COM056_5.p COM057_5.p COM058_5.p
COM059_5.p COM060_5.p COM061_5.p COM062_5.p COM063_5.p COM064_5.p COM065_5.p
COM066_5.p COM067_5.p COM068_5.p COM069_5.p COM070_5.p COM071_5.p COM072_5.p
COM073_5.p COM074_5.p COM075_5.p COM076_5.p COM077_5.p COM078_5.p COM079_5.p
COM080_5.p COM081_5.p COM082_5.p COM083_5.p COM084_5.p COM085_5.p COM086_5.p
COM087_5.p COM088_5.p COM089_5.p COM090_5.p COM091_5.p COM092_5.p COM093_5.p
COM094_5.p COM095_5.p COM096_5.p COM097_5.p COM098_5.p COM099_5.p COM100_5.p
COM101_5.p COM102_5.p COM103_5.p COM104_5.p COM105_5.p COM106_5.p COM107_5.p
COM108_5.p COM109_5.p COM110_5.p COM111_5.p COM112_5.p COM113_5.p COM114_5.p
COM115_5.p COM116_5.p COM117_5.p COM118_5.p COM119_5.p COM120_5.p COM121_5.p
COM122_5.p COM123+1.p COM124+1.p COM125+1.p COM126+1.p COM127+1.p COM128+1.p
COM129+1.p COM130+1.p COM131+1.p COM132+1.p COM132+2.p COM133+1.p COM134+1.p
COM135+1.p COM136+1.p COM137+1.p COM138+1.p COM139+1.p COM140+1.p COM141+1.p
COM142+1.p COM143+1.p COM144+1.p COM145+1.p COM146+1.p COM147+1.p COM148+1.p
COM149+1.p COM150+1.p COM151+1.p COM152^1.p COM153^1.p COM154^1.p COM155^1.p
COM156^1.p COM157^1.p COM158^1.p COM159^1.p COM160^1.p COM161^1.p COM162^1.p
COM163^1.p COM164^1.p COM165^1.p COM166^1.p COM167^1.p COM168^1.p COM169^1.p
COM170^1.p COM171^1.p COM172^1.p COM173^1.p COM174^1.p COM175^1.p COM176^1.p
COM177^1.p COM178^1.p COM179^1.p COM180^1.p COM181^1.p COM182^1.p COM183^1.p
COM184^1.p COM185^1.p COM186^1.p COM187^1.p COM188^1.p COM189^1.p COM190^1.p
COM191^1.p COM192^1.p COM193^1.p COM194^1.p COM195^1.p COM196^1.p COM197^1.p
COM198^1.p COM199^1.p COM200^1.p COM201^1.p COM202^1.p COM203^1.p COM204^1.p
COM205^1.p COM206^1.p COM207^1.p COM208^1.p COM209^1.p COM210^1.p COM211^1.p