Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/PUZ043-1/VerificationProblems/E-SAT---3.0

	Name	Last modified	Size	Description
	Parent Directory		-
	people_say_their_statements.p	2024-10-04 18:33	160
	not_truthteller_and_liar.p	2024-10-04 18:33	144
	venusian_female_are_truthtellers.p	2024-10-04 18:33	170
	liars_make_false_statements.p	2024-10-04 18:33	165
	truthtellers_make_true_statements.p	2024-10-04 18:33	176
	male_or_female.p	2024-10-04 18:33	125
	truthteller_or_liar.p	2024-10-04 18:33	135
	not_from_mars_and_venus.p	2024-10-04 18:33	147
	false_statements_made_by_liars.p	2024-10-04 18:33	156
	marsian_females_are_liars.p	2024-10-04 18:33	155
	from_mars_or_venus.p	2024-10-04 18:33	138
	statements_are_true_or_not.p	2024-10-04 18:33	165
	true_statements_made_by_truthtellers.p	2024-10-04 18:33	171
	venusian_males_are_liars.p	2024-10-04 18:33	153
	not_male_and_female.p	2024-10-04 18:33	134
	marsian_males_are_truthtellers.p	2024-10-04 18:33	165