Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/PUZ001-3/VerificationProblems/Vampire-SAT---4.7

	Name	Last modified	Size	Description
	Parent Directory		-
	killer_hates_victim.p	2024-10-04 18:22	151
	agatha_hates_agatha.p	2024-10-04 18:22	125
	same_hates.p	2024-10-04 18:22	143
	agatha.p	2024-10-04 18:22	105
	somebody_did_it.p	2024-10-04 18:22	171
	agatha_hates_charles.p	2024-10-04 18:22	127
	poorer_killer.p	2024-10-04 18:22	148
	butler.p	2024-10-04 18:22	105
	no_one_hates_everyone.p	2024-10-04 18:22	177
	butler_hates_poor.p	2024-10-04 18:22	162
	different_hates.p	2024-10-04 18:22	151
	charles.p	2024-10-04 18:22	107