ILTP-set -------- 108 formulae 30 propositional 90 Theorems 48 Theorems Rating 0.0 0.01-0.25 0.26-0.50 0.51-0.75 0.76-0.99 1.0 Sum Theorem 59 11 10 8 1 1 90 Non-Theorem 0 0 5 9 3 1 18 Propositional 14 3 8 17 4 2 48 First-Order 45 8 7 0 0 0 60 ft1.1 Theorem 0.00 ft1.2 Theorem 0.00 ft1.3 Theorem 0.25 ft1.4 Theorem 0.00 ft1.5 Theorem 0.00 ft1.6 Theorem 0.00 ft1.7 Theorem 0.00 ft1.8 Theorem 0.25 ft2.1 Theorem 0.50 ft2.2 Theorem 0.50 ft2.3 Theorem 0.50 ft2.4 Theorem 0.50 ft4.1 Theorem 0.50 ft4.2 Theorem 0.50 ft4.3 Theorem 0.50 ft5.1 Theorem 0.00 ft5.2 Theorem 0.00 ft5.3 Theorem 0.25 ft6.1 Theorem 0.00 ft6.2 Theorem 0.00 ft6.3 Theorem 0.00 ft6.4 Theorem 0.00 ft6.5 Theorem 0.25 ft6.6 Theorem 0.00 ft6.7 Theorem 0.00 ft6.8 Theorem 0.00 ft6.9 Theorem 0.00 ft6.10 Theorem 0.00 ft6.11 Theorem 0.00 ft6.12 Theorem 0.25 ft6.13 Theorem 0.25 ft6.14 Theorem 0.00 ft6.15 Theorem 0.00 ft7a Theorem 0.00 ft7b Theorem 0.00 ft7c Theorem 0.00 ft7d Theorem 0.25 ft8.1 Theorem 0.00 ft8.2 Theorem 0.00 sch_ax_all Theorem 0.00 sch_all_exst Theorem 0.00 sch_jens_fo Theorem 0.00 sch_subst Theorem 0.00 sch_fv2 Theorem 0.00 sch_jens_fo_fv Theorem 0.00 sch_fun1 Theorem 0.00 sch_fun2 Theorem 0.00 sch_fo_n1 Theorem 0.00 sch_fo_n2 Theorem 0.00 sch_fo_n3 Theorem 0.00 sch_fo_n4 Theorem 0.00 sch_deadlock1 Theorem 0.00 sch_deadlock2 Theorem 0.00 sch_deadlock3 Theorem 0.00 sch_deadlock4 Theorem 0.00 sch_mult_no_rename Theorem 0.00 sch_mult_no_rename2 Theorem 0.00 sch_mult_eigen_del Theorem 0.00 sch_mult_rename Theorem 0.00 sch_agatha Theorem 0.25 debruijn_p2 Theorem 0.60 debruijn_p6 Theorem 0.60 debruijn_p10 Theorem 0.60 debruijn_n2 Non-Theorem 0.60 debruijn_n6 Non-Theorem 0.80 debruijn_n10 Non-Theorem 1.00 ph_p2 Theorem 0.00 ph_p6 Theorem 0.40 ph_p10 Theorem 1.00 ph_n2 Non-Theorem 0.40 ph_n6 Non-Theorem 0.60 ph_n10 Non-Theorem 0.80 con_p2 Theorem 0.20 con_p6 Theorem 0.60 con_p10 Theorem 0.60 con_n2 Non-Theorem 0.60 con_n6 Non-Theorem 0.60 con_n10 Non-Theorem 0.60 schwicht_p2 Theorem 0.00 schwicht_p6 Theorem 0.40 schwicht_p10 Theorem 0.40 schwicht_n2 Non-Theorem 0.40 schwicht_n6 Non-Theorem 0.40 schwicht_n10 Non-Theorem 0.40 kk_p2 Theorem 0.20 kk_p6 Theorem 0.60 kk_p10 Theorem 0.80 kk_n2 Non-Theorem 0.40 kk_n6 Non-Theorem 0.60 kk_n10 Non-Theorem 0.80 equiv_p2 Theorem 0.20 equiv_p6 Theorem 0.60 equiv_p10 Theorem 0.60 equiv_n2 Non-Theorem 0.60 equiv_n6 Non-Theorem 0.60 equiv_n10 Non-Theorem 0.60 sch_ax Theorem 0.00 sch_notnot Theorem 0.00 sch_notnot2 Theorem 0.00 sch_implies Theorem 0.00 sch_mult2 Theorem 0.00 sch_mult3 Theorem 0.00 sch_mult4 Theorem 0.00 sch_jens_prop Theorem 0.00 sch_prop_n1 Theorem 0.00 sch_prop_n2 Theorem 0.00 sch_prop_n3 Theorem 0.00 sch_prop_n4 Theorem 0.00