Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/PUZ045-1/VerificationProblems/iProver-SAT---3.7

	Name	Last modified	Size	Description
	Parent Directory		-
	liars_and_normal_lie.p	2024-10-04 18:24	199
	liars_lie.p	2024-10-04 18:24	171
	not_liar_and_normal.p	2024-10-04 18:24	158
	not_truthteller_and_liar.p	2024-10-04 18:24	168
	not_truthteller_and_normal.p	2024-10-04 18:24	172
	person_is_one_type.p	2024-10-04 18:24	179
	truthtellers_and_normal_tell_truth.p	2024-10-04 18:24	222
	truthtellers_tell_truth.p	2024-10-04 18:24	190