[
(False, "ljt/con_n.002.ljt"),
(False, "ljt/con_n.006.ljt"),
(False, "ljt/con_n.010.ljt"),
(True, "ljt/con_p.002.ljt"),
(True, "ljt/con_p.006.ljt"),
(True, "ljt/con_p.010.ljt"),
(False, "ljt/debruijn_n.002.ljt"),
(False, "ljt/debruijn_n.006.ljt"),
(False, "ljt/debruijn_n.010.ljt"),
(True, "ljt/debruijn_p.002.ljt"),
(True, "ljt/debruijn_p.006.ljt"),
(True, "ljt/debruijn_p.010.ljt"),
(False, "ljt/equiv_n.002.ljt"),
(False, "ljt/equiv_n.006.ljt"),
(False, "ljt/equiv_n.010.ljt"),
(True, "ljt/equiv_p.002.ljt"),
(True, "ljt/equiv_p.006.ljt"),
(True, "ljt/equiv_p.010.ljt"),
(False, "ljt/kk_n.002.ljt"),
(False, "ljt/kk_n.006.ljt"),
(False, "ljt/kk_n.010.ljt"),
(True, "ljt/kk_p.002.ljt"),
(True, "ljt/kk_p.006.ljt"),
(True, "ljt/kk_p.010.ljt"),
(False, "ljt/ph_n.002.ljt"),
(False, "ljt/ph_n.006.ljt"),
(False, "ljt/ph_n.010.ljt"),
(True, "ljt/ph_p.002.ljt"),
(True, "ljt/ph_p.006.ljt"),
(True, "ljt/ph_p.010.ljt"),
(True, "ljt/sch_ax.ljt"),
(True, "ljt/sch_implies.ljt"),
(True, "ljt/sch_jens_prop.ljt"),
(True, "ljt/sch_mult.002.ljt"),
(True, "ljt/sch_mult.003.ljt"),
(True, "ljt/sch_mult.004.ljt"),
(True, "ljt/sch_notnot.ljt"),
(True, "ljt/sch_notnot2.ljt"),
(True, "ljt/sch_prop_n.001.ljt"),
(True, "ljt/sch_prop_n.002.ljt"),
(True, "ljt/sch_prop_n.003.ljt"),
(True, "ljt/sch_prop_n.004.ljt"),
(False, "ljt/schwicht_n.002.ljt"),
(False, "ljt/schwicht_n.006.ljt"),
(False, "ljt/schwicht_n.010.ljt"),
(True, "ljt/schwicht_p.002.ljt"),
(True, "ljt/schwicht_p.006.ljt"),
(True, "ljt/schwicht_p.010.ljt")
]