TPTP Problem Domain: SCT


SCT001-1.p SCT002-1.p SCT003-1.p SCT004-1.p SCT005-1.p SCT006-1.p SCT007-1.p
SCT008-1.p SCT009-1.p SCT010-1.p SCT011-1.p SCT012-1.p SCT013-1.p SCT014-1.p
SCT015-1.p SCT016-1.p SCT017-1.p SCT018-1.p SCT019-1.p SCT020-1.p SCT021-1.p
SCT022-1.p SCT023-1.p SCT024-1.p SCT025-1.p SCT026-1.p SCT027-1.p SCT028-1.p
SCT029-1.p SCT030-1.p SCT031-1.p SCT032-1.p SCT033-1.p SCT034-1.p SCT035-1.p
SCT036-1.p SCT037-1.p SCT038-1.p SCT039-1.p SCT040-1.p SCT041-1.p SCT042-1.p
SCT043-1.p SCT044-1.p SCT045-1.p SCT046-1.p SCT047-1.p SCT048-1.p SCT049-1.p
SCT050-1.p SCT051-1.p SCT052-1.p SCT053-1.p SCT054-1.p SCT055-1.p SCT056-1.p
SCT057-1.p SCT058-1.p SCT059-1.p SCT060-1.p SCT061-1.p SCT062-1.p SCT063-1.p
SCT064-1.p SCT065-1.p SCT066-1.p SCT067-1.p SCT068-1.p SCT069-1.p SCT070-1.p
SCT071-1.p SCT072-1.p SCT073-1.p SCT074-1.p SCT075-1.p SCT076-1.p SCT077-1.p
SCT078-1.p SCT079-1.p SCT080-1.p SCT081-1.p SCT082-1.p SCT083-1.p SCT084-1.p
SCT085-1.p SCT086-1.p SCT087-1.p SCT088-1.p SCT089-1.p SCT090-1.p SCT091-1.p
SCT092-1.p SCT093-1.p SCT094-1.p SCT095-1.p SCT096-1.p SCT097-1.p SCT098-1.p
SCT099-1.p SCT100-1.p SCT101-1.p SCT102+1.p SCT103+1.p SCT104+1.p SCT105+1.p
SCT106+1.p SCT107+1.p SCT108+1.p SCT109+1.p SCT110+1.p SCT111+1.p SCT112+1.p
SCT113+1.p SCT114+1.p SCT115+1.p SCT116+1.p SCT117+1.p SCT118+1.p SCT119+1.p
SCT120+1.p SCT121+1.p SCT122+1.p SCT123+1.p SCT124+1.p SCT125+1.p SCT126+1.p
SCT127+1.p SCT128+1.p SCT129+1.p SCT130+1.p SCT131+1.p SCT132+1.p SCT133+1.p
SCT134+1.p SCT135+1.p SCT136+1.p SCT137+1.p SCT138+1.p SCT139+1.p SCT140+1.p
SCT141+1.p SCT142+1.p SCT143+1.p SCT144+1.p SCT145+1.p SCT146+1.p SCT147+1.p
SCT148+1.p SCT149+1.p SCT150+1.p SCT151+1.p SCT152+1.p SCT153+1.p SCT154+1.p
SCT155+1.p SCT156+1.p SCT157+1.p SCT158+1.p SCT159+1.p SCT160+1.p SCT161+1.p
SCT162+1.p SCT163+1.p SCT164+1.p SCT165+1.p SCT166+1.p SCT167+1.p SCT168+1.p
SCT169+1.p SCT169^1.p SCT169_1.p SCT169+2.p SCT169^2.p SCT169_2.p SCT169+3.p
SCT169^3.p SCT169_3.p SCT169+5.p SCT169_5.p SCT169+6.p SCT169+7.p SCT170+1.p
SCT170^1.p SCT170_1.p SCT170+2.p SCT170^2.p SCT170_2.p SCT170+3.p SCT170^3.p
SCT170_3.p SCT170+5.p SCT170_5.p SCT170+6.p SCT170+7.p SCT171+1.p SCT171^1.p
SCT171_1.p SCT171+2.p SCT171^2.p SCT171_2.p SCT171+3.p SCT171^3.p SCT171_3.p
SCT171+5.p SCT171+6.p SCT171+7.p SCT172_5.p SCT173_5.p SCT174_5.p SCT175_5.p
SCT176_5.p SCT177_5.p SCT178_5.p SCT179_5.p SCT180_5.p SCT181_5.p SCT182_5.p
SCT183_5.p SCT184_5.p SCT185_5.p SCT186_5.p SCT187_5.p SCT188_5.p SCT189_5.p
SCT190_5.p SCT191_5.p SCT192_5.p SCT193_5.p SCT194_5.p SCT195_5.p SCT196_5.p
SCT197_5.p SCT198_5.p SCT199_5.p SCT200_5.p SCT201_5.p SCT202_5.p SCT203_5.p
SCT204_5.p SCT205_5.p SCT206_5.p SCT207_5.p SCT208_5.p SCT209_5.p SCT210_5.p
SCT211_5.p SCT212_5.p SCT213_5.p SCT214_5.p SCT215_5.p SCT216_5.p SCT217_5.p
SCT218_5.p SCT219_5.p SCT220_5.p SCT221_5.p SCT222_5.p SCT223_5.p SCT224_5.p
SCT225_5.p SCT226_5.p SCT227_5.p SCT228_5.p SCT229_5.p SCT230_5.p SCT231_5.p
SCT232_5.p SCT233_5.p SCT234_5.p SCT235_5.p SCT236_5.p SCT237_5.p SCT238_5.p
SCT239_5.p SCT240_5.p SCT241_5.p SCT242_5.p SCT243_5.p SCT244_5.p SCT245_5.p
SCT246_5.p SCT247_5.p SCT248_5.p SCT249_5.p SCT250_5.p SCT251_5.p SCT252_5.p
SCT253_5.p SCT254_5.p SCT255_5.p SCT256_5.p SCT257_5.p SCT258_5.p SCT259_5.p
SCT260_5.p SCT261_5.p SCT262_5.p SCT263_5.p SCT264_5.p SCT265_5.p