Index of /pub/ATP_problems/algebra/boolean/


../
README                                             24-Mar-1990 16:48    2259
prob1.desc                                         24-Mar-1990 16:48     787
prob1.ver1.clauses                                 24-Mar-1990 16:48    2511
prob1.ver1.in                                      24-Mar-1990 16:48    2600
prob1.ver1.out                                     24-Mar-1990 16:48    2547
prob1.ver2.clauses                                 24-Mar-1990 16:48    1246
prob1.ver2.in                                      24-Mar-1990 16:48    1902
prob1.ver2.out                                     24-Mar-1990 16:48    2072
prob2.desc                                         24-Mar-1990 16:48    1285
prob2_part1.ver1.clauses                           24-Mar-1990 16:48    2355
prob2_part1.ver1.in                                24-Mar-1990 16:48    2591
prob2_part1.ver1.out                               24-Mar-1990 16:48    3781
prob2_part1.ver2.clauses                           24-Mar-1990 16:48    1036
prob2_part1.ver2.in                                24-Mar-1990 16:48    1859
prob2_part1.ver2.out                               24-Mar-1990 16:48    2912
prob2_part2.ver1.clauses                           24-Mar-1990 16:48    2423
prob2_part2.ver1.in                                24-Mar-1990 16:48    2542
prob2_part2.ver1.out                               24-Mar-1990 16:48    3725
prob2_part2.ver2.clauses                           24-Mar-1990 16:48    1034
prob2_part2.ver2.in                                24-Mar-1990 16:48    1710
prob2_part2.ver2.out                               24-Mar-1990 16:48    3487
prob3.desc                                         24-Mar-1990 16:48    1253
prob3_part1.ver1.clauses                           24-Mar-1990 16:48    2364
prob3_part1.ver1.in                                24-Mar-1990 16:48    2548
prob3_part1.ver1.out                               24-Mar-1990 16:48    2568
prob3_part1.ver2.clauses                           24-Mar-1990 16:48    1468
prob3_part1.ver2.in                                24-Mar-1990 16:48    1682
prob3_part1.ver2.out                               24-Mar-1990 16:48    3152
prob3_part2.ver1.clauses                           24-Mar-1990 16:48    2366
prob3_part2.ver1.in                                24-Mar-1990 16:48    2555
prob3_part2.ver1.out                               24-Mar-1990 16:48    2602
prob3_part2.ver2.clauses                           24-Mar-1990 16:48    1469
prob3_part2.ver2.in                                24-Mar-1990 16:48    1683
prob3_part2.ver2.out                               24-Mar-1990 16:48    2916
prob4.desc                                         24-Mar-1990 16:48    1261
prob4_part1.ver1.clauses                           24-Mar-1990 16:48    2384
prob4_part1.ver1.in                                24-Mar-1990 16:48    2474
prob4_part1.ver1.out                               24-Mar-1990 16:48    2467
prob4_part1.ver2.clauses                           24-Mar-1990 16:48    1484
prob4_part1.ver2.in                                24-Mar-1990 16:48    1698
prob4_part1.ver2.out                               24-Mar-1990 16:48    3186
prob4_part2.ver1.clauses                           24-Mar-1990 16:48    2360
prob4_part2.ver1.in                                24-Mar-1990 16:48    2449
prob4_part2.ver1.out                               24-Mar-1990 16:48    2518
prob4_part2.ver2.clauses                           24-Mar-1990 16:48    1484
prob4_part2.ver2.in                                24-Mar-1990 16:48    1698
prob4_part2.ver2.out                               24-Mar-1990 16:48    3459
prob7.desc                                         24-Mar-1990 16:48     737
prob7.ver1.clauses                                 24-Mar-1990 16:48    2392
prob7.ver1.in                                      24-Mar-1990 16:48    2486
prob7.ver1.out                                     24-Mar-1990 16:48    3279
prob7.ver2.clauses                                 24-Mar-1990 16:48    1461
prob7.ver2.in                                      24-Mar-1990 16:48    1675
prob7.ver2.out                                     24-Mar-1990 16:48    2726
prob8.desc                                         24-Mar-1990 16:48     722
prob8.ver1.clauses                                 24-Mar-1990 16:48    2370
prob8.ver1.in                                      24-Mar-1990 16:48    2594
prob8.ver1.out                                     24-Mar-1990 16:48    2613
prob8.ver2.clauses                                 24-Mar-1990 16:48    1085
prob8.ver2.in                                      24-Mar-1990 16:48    1694
prob8.ver2.out                                     24-Mar-1990 16:48    2863
prob9.desc                                         24-Mar-1990 16:48     727
prob9.ver1.clauses                                 24-Mar-1990 16:48    2451
prob9.ver1.in                                      24-Mar-1990 16:48    2546
prob9.ver1.out                                     24-Mar-1990 16:48    2533
prob9.ver2.clauses                                 24-Mar-1990 16:48    1153
prob9.ver2.in                                      24-Mar-1990 16:48    1330
prob9.ver2.out                                     24-Mar-1990 16:48    1551
prob_10.desc                                       24-Mar-1990 16:48     721
prob_10.ver1.clauses                               24-Mar-1990 16:48    2283
prob_10.ver1.in                                    24-Mar-1990 16:48    2511
prob_10.ver1.out                                   24-Mar-1990 16:48    3098
prob_10.ver2.clauses                               24-Mar-1990 16:48    1142
prob_10.ver2.in                                    24-Mar-1990 16:48    1317
prob_10.ver2.out                                   24-Mar-1990 16:48    2092