Index of /code.haskell.org/folkung/Problems/

../
bugequinox.tptp                                    15-Feb-2019 12:44                1034
casc2006                                           15-Feb-2019 12:44                5449
clausifytest1.tptp                                 15-Feb-2019 12:44                 611
diff.tptp                                          15-Feb-2019 12:44                3330
fault_1_1.tptp                                     15-Feb-2019 12:44                 285
fault_1_2.tptp                                     15-Feb-2019 12:44                 394
fault_2_1.tptp                                     15-Feb-2019 12:44                 669
fault_2_2.tptp                                     15-Feb-2019 12:44                 965
fault_2_3.tptp                                     15-Feb-2019 12:44                1321
fault_3_3.tptp                                     15-Feb-2019 12:44                2579
fault_4_3.tptp                                     15-Feb-2019 12:44                4395
fault_5_3.tptp                                     15-Feb-2019 12:44                6865
fault_5_4.tptp                                     15-Feb-2019 12:44                8970
fault_6_4.tptp                                     15-Feb-2019 12:44               13133
fault_7_4.tptp                                     15-Feb-2019 12:44               18372
fault_7_5.tptp                                     15-Feb-2019 12:44               23083
incomplete1.tptp                                   15-Feb-2019 12:44                  91
incomplete2.tptp                                   15-Feb-2019 12:44                 121
incomplete3.tptp                                   15-Feb-2019 12:44                 152
incomplete4.tptp                                   15-Feb-2019 12:44                 189
incomplete5.tptp                                   15-Feb-2019 12:44                 224
monad.tptp                                         15-Feb-2019 12:44                 862
union.tptp                                         15-Feb-2019 12:44                 541