Index of /pub/ATP_problems/pelletier/


../
README                                             24-Mar-1990 16:48    3909
p35.clauses                                        24-Mar-1990 16:49     358
p35.desc                                           24-Mar-1990 16:49     390
p35.in                                             24-Mar-1990 16:49     449
p35.out                                            24-Mar-1990 16:49    1669
p36.clauses                                        24-Mar-1990 16:49     588
p36.desc                                           24-Mar-1990 16:49     497
p36.in                                             24-Mar-1990 16:49     680
p36.out                                            24-Mar-1990 16:49    2058
p37.clauses                                        24-Mar-1990 16:49     689
p37.desc                                           24-Mar-1990 16:49     523
p37.in                                             24-Mar-1990 16:49     780
p37.out                                            24-Mar-1990 16:49    1846
p38.desc                                           24-Mar-1990 16:49     968
p38a.clauses                                       24-Mar-1990 16:49     902
p38a.in                                            24-Mar-1990 16:48     999
p38a.out                                           24-Mar-1990 16:49    3991
p38b.clauses                                       24-Mar-1990 16:49     930
p38b.in                                            24-Mar-1990 16:49    1064
p38b.out                                           24-Mar-1990 16:49    3287
p39.clauses                                        24-Mar-1990 16:49     491
p39.desc                                           24-Mar-1990 16:49     509
p39.in                                             24-Mar-1990 16:49     582
p39.out                                            24-Mar-1990 16:49    1705
p40.clauses                                        24-Mar-1990 16:49     599
p40.desc                                           24-Mar-1990 16:49     577
p40.in                                             24-Mar-1990 16:48     690
p40.out                                            24-Mar-1990 16:49    1966
p41.clauses                                        24-Mar-1990 16:49     804
p41.desc                                           24-Mar-1990 16:49     769
p41.in                                             24-Mar-1990 16:48     896
p41.out                                            24-Mar-1990 16:49    1834
p42.clauses                                        24-Mar-1990 16:49     547
p42.desc                                           24-Mar-1990 16:49     575
p42.in                                             24-Mar-1990 16:49     625
p42.out                                            24-Mar-1990 16:49    1722
p43.clauses                                        24-Mar-1990 16:49     612
p43.desc                                           24-Mar-1990 16:49     628
p43.in                                             24-Mar-1990 16:49     702
p43.out                                            24-Mar-1990 16:49    2503
p44.clauses                                        24-Mar-1990 16:49     598
p44.desc                                           24-Mar-1990 16:49     477
p44.in                                             24-Mar-1990 16:49     676
p44.out                                            24-Mar-1990 16:49    1846
p45.clauses                                        24-Mar-1990 16:49     791
p45.desc                                           24-Mar-1990 16:49     562
p45.in                                             24-Mar-1990 16:49     868
p45.out                                            24-Mar-1990 16:49    2384
p46.clauses                                        24-Mar-1990 16:49     738
p46.desc                                           24-Mar-1990 16:49     549
p46.in                                             24-Mar-1990 16:49     837
p46.out                                            24-Mar-1990 16:49    2272