Index of /pub/ATP_problems/puzzles/combinators/


../
README                                             24-Mar-1990 16:47    2752
bird1.desc                                         24-Mar-1990 16:47     536
bird1.ver1.clauses                                 24-Mar-1990 16:47    1054
bird1.ver1.in                                      24-Mar-1990 16:47    1429
bird1.ver1.out                                     24-Mar-1990 16:47    2820
bird2.desc                                         24-Mar-1990 16:47     505
bird2.ver1.clauses                                 24-Mar-1990 16:47     974
bird2.ver1.in                                      24-Mar-1990 16:47    1380
bird2.ver1.out                                     24-Mar-1990 16:47    2988
bird4.desc                                         24-Mar-1990 16:47     682
bird4.ver1.clauses                                 24-Mar-1990 16:47    1305
bird4.ver1.in                                      24-Mar-1990 16:47    1623
bird4.ver1.out                                     24-Mar-1990 16:47    3029
bird4.ver2.clauses                                 24-Mar-1990 16:47    1634
bird4.ver2.in                                      24-Mar-1990 16:47    1919
bird4.ver2.out                                     24-Mar-1990 16:47    3314
bird5.desc                                         24-Mar-1990 16:47     522
bird5.ver1.clauses                                 24-Mar-1990 16:47    1015
bird5.ver1.in                                      24-Mar-1990 16:47    1335
bird5.ver1.out                                     24-Mar-1990 16:47    2854
bird6.desc                                         24-Mar-1990 16:47     509
bird6.ver1.clauses                                 24-Mar-1990 16:47    1134
bird6.ver1.in                                      24-Mar-1990 16:47    1446
bird6.ver1.out                                     24-Mar-1990 16:47    2999
bird7.desc                                         24-Mar-1990 16:47     494
bird7.ver1.clauses                                 24-Mar-1990 16:47     959
bird7.ver1.in                                      24-Mar-1990 16:47    1261
bird7.ver1.out                                     24-Mar-1990 16:47    2687
bird8.desc                                         24-Mar-1990 16:47     483
bird8.ver1.clauses                                 24-Mar-1990 16:47    1096
bird8.ver1.in                                      24-Mar-1990 16:47    1442
bird8.ver1.out                                     24-Mar-1990 16:47    2802