/home/graph/tptp/TPTP/Problems/ALG/ALG214+1.p /home/graph/tptp/tmp/LTBResults/MZR/BLuNT---1.0/ALG214+1
/home/graph/tptp/TPTP/Problems/ALG/ALG215+1.p /home/graph/tptp/tmp/LTBResults/MZR/BLuNT---1.0/ALG215+1
/home/graph/tptp/TPTP/Problems/ALG/ALG216+1.p /home/graph/tptp/tmp/LTBResults/MZR/BLuNT---1.0/ALG216+1
/home/graph/tptp/TPTP/Problems/ALG/ALG217+1.p /home/graph/tptp/tmp/LTBResults/MZR/BLuNT---1.0/ALG217+1
/home/graph/tptp/TPTP/Problems/ALG/ALG218+1.p /home/graph/tptp/tmp/LTBResults/MZR/BLuNT---1.0/ALG218+1
/home/graph/tptp/TPTP/Problems/ALG/ALG219+1.p /home/graph/tptp/tmp/LTBResults/MZR/BLuNT---1.0/ALG219+1
/home/graph/tptp/TPTP/Problems/ALG/ALG220+1.p /home/graph/tptp/tmp/LTBResults/MZR/BLuNT---1.0/ALG220+1
/home/graph/tptp/TPTP/Problems/ALG/ALG221+1.p /home/graph/tptp/tmp/LTBResults/MZR/BLuNT---1.0/ALG221+1
/home/graph/tptp/TPTP/Problems/ALG/ALG222+1.p /home/graph/tptp/tmp/LTBResults/MZR/BLuNT---1.0/ALG222+1
/home/graph/tptp/TPTP/Problems/ALG/ALG223+1.p /home/graph/tptp/tmp/LTBResults/MZR/BLuNT---1.0/ALG223+1
/home/graph/tptp/TPTP/Problems/ALG/ALG224+1.p /home/graph/tptp/tmp/LTBResults/MZR/BLuNT---1.0/ALG224+1
/home/graph/tptp/TPTP/Problems/ALG/ALG225+1.p /home/graph/tptp/tmp/LTBResults/MZR/BLuNT---1.0/ALG225+1
/home/graph/tptp/TPTP/Problems/ALG/ALG226+1.p /home/graph/tptp/tmp/LTBResults/MZR/BLuNT---1.0/ALG226+1
/home/graph/tptp/TPTP/Problems/ALG/ALG227+1.p /home/graph/tptp/tmp/LTBResults/MZR/BLuNT---1.0/ALG227+1
/home/graph/tptp/TPTP/Problems/ALG/ALG228+1.p /home/graph/tptp/tmp/LTBResults/MZR/BLuNT---1.0/ALG228+1
/home/graph/tptp/TPTP/Problems/ALG/ALG229+1.p /home/graph/tptp/tmp/LTBResults/MZR/BLuNT---1.0/ALG229+1
/home/graph/tptp/TPTP/Problems/ALG/ALG230+1.p /home/graph/tptp/tmp/LTBResults/MZR/BLuNT---1.0/ALG230+1
/home/graph/tptp/TPTP/Problems/ALG/ALG231+1.p /home/graph/tptp/tmp/LTBResults/MZR/BLuNT---1.0/ALG231+1
/home/graph/tptp/TPTP/Problems/ALG/ALG232+1.p /home/graph/tptp/tmp/LTBResults/MZR/BLuNT---1.0/ALG232+1
/home/graph/tptp/TPTP/Problems/ALG/ALG233+1.p /home/graph/tptp/tmp/LTBResults/MZR/BLuNT---1.0/ALG233+1
/home/graph/tptp/TPTP/Problems/ALG/ALG234+1.p /home/graph/tptp/tmp/LTBResults/MZR/BLuNT---1.0/ALG234+1