Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/PUZ001-3/VerificationProblems/E-SAT---3.0

	Name	Last modified	Size	Description
	Parent Directory		-
	agatha.p	2024-10-04 18:22	99
	butler.p	2024-10-04 18:22	99
	charles.p	2024-10-04 18:22	101
	agatha_hates_agatha.p	2024-10-04 18:22	119
	agatha_hates_charles.p	2024-10-04 18:22	121
	same_hates.p	2024-10-04 18:22	137
	poorer_killer.p	2024-10-04 18:22	142
	different_hates.p	2024-10-04 18:22	145
	killer_hates_victim.p	2024-10-04 18:22	145
	butler_hates_poor.p	2024-10-04 18:22	156
	somebody_did_it.p	2024-10-04 18:22	165
	no_one_hates_everyone.p	2024-10-04 18:22	171