Index of /pub/ATP_problems/algebra/henkin.models/


../
README                                             24-Mar-1990 16:48    2847
axioms.ver1                                        24-Mar-1990 16:48    1798
axioms.ver2                                        24-Mar-1990 16:48    1285
axioms.ver3                                        24-Mar-1990 16:48    1506
hp1.desc                                           24-Mar-1990 16:48     715
hp1.ver1.clauses                                   24-Mar-1990 16:48    1518
hp1.ver1.in                                        24-Mar-1990 16:48    1583
hp1.ver1.out                                       24-Mar-1990 16:48    2272
hp1.ver2.clauses                                   24-Mar-1990 16:48    1062
hp1.ver2.in                                        24-Mar-1990 16:48    1127
hp1.ver2.out                                       24-Mar-1990 16:48    1852
hp1.ver3.clauses                                   24-Mar-1990 16:48    1017
hp1.ver3.in                                        24-Mar-1990 16:48    1146
hp1.ver3.out                                       24-Mar-1990 16:48    1768
hp10.desc                                          24-Mar-1990 16:48     842
hp10.ver1.clauses                                  24-Mar-1990 16:48    1745
hp10.ver1.in                                       24-Mar-1990 16:48    2075
hp10.ver1.out                                      24-Mar-1990 16:48    3288
hp10.ver2.clauses                                  24-Mar-1990 16:48    1338
hp10.ver2.in                                       24-Mar-1990 16:48    1584
hp10.ver2.out                                      24-Mar-1990 16:48     969
hp10.ver3.clauses                                  24-Mar-1990 16:48    1251
hp10.ver3.in                                       24-Mar-1990 16:48    1614
hp10.ver3.out                                      24-Mar-1990 16:48    3193
hp11.desc                                          24-Mar-1990 16:48     933
hp11.ver1.clauses                                  24-Mar-1990 16:48    2443
hp11.ver1.in                                       24-Mar-1990 16:48    2906
hp11.ver1.out                                      24-Mar-1990 16:48    3072
hp11.ver2.clauses                                  24-Mar-1990 16:48    1580
hp11.ver2.in                                       24-Mar-1990 16:48    1915
hp11.ver2.out                                      24-Mar-1990 16:48    4244
hp11.ver3.clauses                                  24-Mar-1990 16:48    1535
hp11.ver3.in                                       24-Mar-1990 16:48    2138
hp11.ver3.out                                      24-Mar-1990 16:48    2773
hp2.desc                                           24-Mar-1990 16:48     715
hp2.ver1.clauses                                   24-Mar-1990 16:48    1518
hp2.ver1.in                                        24-Mar-1990 16:48    1582
hp2.ver1.out                                       24-Mar-1990 16:48    2272
hp2.ver2.clauses                                   24-Mar-1990 16:48    1061
hp2.ver2.in                                        24-Mar-1990 16:48    1126
hp2.ver2.out                                       24-Mar-1990 16:48    1922
hp2.ver3.clauses                                   24-Mar-1990 16:48    1018
hp2.ver3.in                                        24-Mar-1990 16:48    1147
hp2.ver3.out                                       24-Mar-1990 16:48    1769
hp3.desc                                           24-Mar-1990 16:48     754
hp3.ver1.clauses                                   24-Mar-1990 16:48    1555
hp3.ver1.in                                        24-Mar-1990 16:48    1621
hp3.ver1.out                                       24-Mar-1990 16:48     16K
hp3.ver2.clauses                                   24-Mar-1990 16:48    1106
hp3.ver2.in                                        24-Mar-1990 16:48    1296
hp3.ver2.out                                       24-Mar-1990 16:48     19K
hp3.ver3.clauses                                   24-Mar-1990 16:48    1017
hp3.ver3.in                                        24-Mar-1990 16:48    1249
hp3.ver3.out                                       24-Mar-1990 16:48    2174
hp4.desc                                           24-Mar-1990 16:48     774
hp4.ver1.clauses                                   24-Mar-1990 16:48    1634
hp4.ver1.in                                        24-Mar-1990 16:48    1734
hp4.ver1.out                                       24-Mar-1990 16:48     13K
hp4.ver2.clauses                                   24-Mar-1990 16:48    1106
hp4.ver2.in                                        24-Mar-1990 16:48    1296
hp4.ver2.out                                       24-Mar-1990 16:48    3045
hp4.ver3.clauses                                   24-Mar-1990 16:48    1040
hp4.ver3.in                                        24-Mar-1990 16:48    1286
hp4.ver3.out                                       24-Mar-1990 16:48    2415
hp5.desc                                           24-Mar-1990 16:48     795
hp5.ver1.clauses                                   24-Mar-1990 16:48    1533
hp5.ver1.in                                        24-Mar-1990 16:48    1613
hp5.ver1.out                                       24-Mar-1990 16:48    2929
hp5.ver2.clauses                                   24-Mar-1990 16:48    1117
hp5.ver2.in                                        24-Mar-1990 16:48    1326
hp5.ver2.out                                       24-Mar-1990 16:48    9300
hp5.ver3.clauses                                   24-Mar-1990 16:48    1043
hp5.ver3.in                                        24-Mar-1990 16:48    1306
hp5.ver3.out                                       24-Mar-1990 16:48    2305
hp6.desc                                           24-Mar-1990 16:48     804
hp6.ver1.clauses                                   24-Mar-1990 16:48    1703
hp6.ver1.in                                        24-Mar-1990 16:48    1887
hp6.ver1.out                                       24-Mar-1990 16:48    3190
hp6.ver2.clauses                                   24-Mar-1990 16:48    1151
hp6.ver2.in                                        24-Mar-1990 16:48    1374
hp6.ver2.out                                       24-Mar-1990 16:48    2806
hp6.ver3.clauses                                   24-Mar-1990 16:48    1072
hp6.ver3.in                                        24-Mar-1990 16:48    1308
hp6.ver3.out                                       24-Mar-1990 16:48    2502
hp7.desc                                           24-Mar-1990 16:48     827
hp7.ver1.clauses                                   24-Mar-1990 16:48    1703
hp7.ver1.in                                        24-Mar-1990 16:48    1927
hp7.ver1.out                                       24-Mar-1990 16:48    2914
hp7.ver2.clauses                                   24-Mar-1990 16:48    1253
hp7.ver2.in                                        24-Mar-1990 16:48    1506
hp7.ver2.out                                       24-Mar-1990 16:48    2421
hp7.ver3.clauses                                   24-Mar-1990 16:48    1103
hp7.ver3.in                                        24-Mar-1990 16:48    1365
hp7.ver3.out                                       24-Mar-1990 16:48    2240
hp8.desc                                           24-Mar-1990 16:48     784
hp8.ver1.clauses                                   24-Mar-1990 16:48    1554
hp8.ver1.in                                        24-Mar-1990 16:48    1635
hp8.ver1.out                                       24-Mar-1990 16:48     25K
hp8.ver2.clauses                                   24-Mar-1990 16:48    1151
hp8.ver2.in                                        24-Mar-1990 16:48    1358
hp8.ver2.out                                       24-Mar-1990 16:48    4202
hp8.ver3.clauses                                   24-Mar-1990 16:48    1048
hp8.ver3.in                                        24-Mar-1990 16:48    1297
hp8.ver3.out                                       24-Mar-1990 16:48    2046
hp9.desc                                           24-Mar-1990 16:48     791
hp9.ver1.clauses                                   24-Mar-1990 16:48    1738
hp9.ver1.in                                        24-Mar-1990 16:48    2068
hp9.ver1.out                                       24-Mar-1990 16:48    3230
hp9.ver2.clauses                                   24-Mar-1990 16:48    1277
hp9.ver2.in                                        24-Mar-1990 16:48    1500
hp9.ver2.out                                       24-Mar-1990 16:48    3570
hp9.ver3.clauses                                   24-Mar-1990 16:48    1239
hp9.ver3.in                                        24-Mar-1990 16:48    1517
hp9.ver3.out                                       24-Mar-1990 16:48    2980
new.desc                                           24-Mar-1990 16:48     547
new.ver1.clauses                                   24-Mar-1990 16:48    1516
new.ver1.in                                        24-Mar-1990 16:48    1580
new.ver1.out                                       24-Mar-1990 16:48    2665
new.ver2.clauses                                   24-Mar-1990 16:48    1059
new.ver2.in                                        24-Mar-1990 16:48    1152
new.ver2.out                                       24-Mar-1990 16:48    1891