Index of /pub/ATP_problems/algebra/boolean

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]prob_10.desc1990-03-24 10:48 721  
[   ]prob8.desc1990-03-24 10:48 722  
[   ]prob9.desc1990-03-24 10:48 727  
[   ]prob7.desc1990-03-24 10:48 737  
[   ]prob1.desc1990-03-24 10:48 787  
[   ]prob2_part2.ver2.clauses1990-03-24 10:48 1.0K 
[   ]prob2_part1.ver2.clauses1990-03-24 10:48 1.0K 
[   ]prob8.ver2.clauses1990-03-24 10:48 1.1K 
[   ]prob_10.ver2.clauses1990-03-24 10:48 1.1K 
[   ]prob9.ver2.clauses1990-03-24 10:48 1.1K 
[   ]prob1.ver2.clauses1990-03-24 10:48 1.2K 
[   ]prob3.desc1990-03-24 10:48 1.2K 
[   ]prob4.desc1990-03-24 10:48 1.2K 
[   ]prob2.desc1990-03-24 10:48 1.3K 
[   ]prob_10.ver2.in1990-03-24 10:48 1.3K 
[   ]prob9.ver2.in1990-03-24 10:48 1.3K 
[   ]prob7.ver2.clauses1990-03-24 10:48 1.4K 
[   ]prob3_part1.ver2.clauses1990-03-24 10:48 1.4K 
[   ]prob3_part2.ver2.clauses1990-03-24 10:48 1.4K 
[   ]prob4_part1.ver2.clauses1990-03-24 10:48 1.4K 
[   ]prob4_part2.ver2.clauses1990-03-24 10:48 1.4K 
[   ]prob9.ver2.out1990-03-24 10:48 1.5K 
[   ]prob7.ver2.in1990-03-24 10:48 1.6K 
[   ]prob3_part1.ver2.in1990-03-24 10:48 1.6K 
[   ]prob3_part2.ver2.in1990-03-24 10:48 1.6K 
[   ]prob8.ver2.in1990-03-24 10:48 1.7K 
[   ]prob4_part1.ver2.in1990-03-24 10:48 1.7K 
[   ]prob4_part2.ver2.in1990-03-24 10:48 1.7K 
[   ]prob2_part2.ver2.in1990-03-24 10:48 1.7K 
[   ]prob2_part1.ver2.in1990-03-24 10:48 1.8K 
[   ]prob1.ver2.in1990-03-24 10:48 1.9K 
[   ]prob1.ver2.out1990-03-24 10:48 2.0K 
[   ]prob_10.ver2.out1990-03-24 10:48 2.0K 
[   ]README1990-03-24 10:48 2.2K 
[   ]prob_10.ver1.clauses1990-03-24 10:48 2.2K 
[   ]prob2_part1.ver1.clauses1990-03-24 10:48 2.3K 
[   ]prob4_part2.ver1.clauses1990-03-24 10:48 2.3K 
[   ]prob3_part1.ver1.clauses1990-03-24 10:48 2.3K 
[   ]prob3_part2.ver1.clauses1990-03-24 10:48 2.3K 
[   ]prob8.ver1.clauses1990-03-24 10:48 2.3K 
[   ]prob4_part1.ver1.clauses1990-03-24 10:48 2.3K 
[   ]prob7.ver1.clauses1990-03-24 10:48 2.3K 
[   ]prob2_part2.ver1.clauses1990-03-24 10:48 2.4K 
[   ]prob4_part2.ver1.in1990-03-24 10:48 2.4K 
[   ]prob9.ver1.clauses1990-03-24 10:48 2.4K 
[   ]prob4_part1.ver1.out1990-03-24 10:48 2.4K 
[   ]prob4_part1.ver1.in1990-03-24 10:48 2.4K 
[   ]prob7.ver1.in1990-03-24 10:48 2.4K 
[   ]prob1.ver1.clauses1990-03-24 10:48 2.5K 
[   ]prob_10.ver1.in1990-03-24 10:48 2.5K 
[   ]prob4_part2.ver1.out1990-03-24 10:48 2.5K 
[   ]prob9.ver1.out1990-03-24 10:48 2.5K 
[   ]prob2_part2.ver1.in1990-03-24 10:48 2.5K 
[   ]prob9.ver1.in1990-03-24 10:48 2.5K 
[   ]prob1.ver1.out1990-03-24 10:48 2.5K 
[   ]prob3_part1.ver1.in1990-03-24 10:48 2.5K 
[   ]prob3_part2.ver1.in1990-03-24 10:48 2.5K 
[   ]prob3_part1.ver1.out1990-03-24 10:48 2.5K 
[   ]prob2_part1.ver1.in1990-03-24 10:48 2.5K 
[   ]prob8.ver1.in1990-03-24 10:48 2.5K 
[   ]prob1.ver1.in1990-03-24 10:48 2.5K 
[   ]prob3_part2.ver1.out1990-03-24 10:48 2.5K 
[   ]prob8.ver1.out1990-03-24 10:48 2.6K 
[   ]prob7.ver2.out1990-03-24 10:48 2.7K 
[   ]prob8.ver2.out1990-03-24 10:48 2.8K 
[   ]prob2_part1.ver2.out1990-03-24 10:48 2.8K 
[   ]prob3_part2.ver2.out1990-03-24 10:48 2.8K 
[   ]prob_10.ver1.out1990-03-24 10:48 3.0K 
[   ]prob3_part1.ver2.out1990-03-24 10:48 3.1K 
[   ]prob4_part1.ver2.out1990-03-24 10:48 3.1K 
[   ]prob7.ver1.out1990-03-24 10:48 3.2K 
[   ]prob4_part2.ver2.out1990-03-24 10:48 3.4K 
[   ]prob2_part2.ver2.out1990-03-24 10:48 3.4K 
[   ]prob2_part2.ver1.out1990-03-24 10:48 3.6K 
[   ]prob2_part1.ver1.out1990-03-24 10:48 3.7K