Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/SYO609+1/VerificationProblems/iProver-SAT---3.7.CSA-Sat.s

	Name	Last modified	Size	Description
	Parent Directory		-
	both_h.p	2024-10-04 18:29	162
	exhaustion_h.p	2024-10-04 18:29	172
	true_only_h.p	2024-10-04 18:29	174
	false_only_h.p	2024-10-04 18:29	176
	both_g.p	2024-10-04 18:29	184
	na8_3.p	2024-10-04 18:29	185
	exhaustion_g.p	2024-10-04 18:29	194
	true_only_g.p	2024-10-04 18:29	196
	false_only_g.p	2024-10-04 18:29	198
	na8_1.p	2024-10-04 18:29	246
	na8_2.p	2024-10-04 18:29	933
	nc8.p	2024-10-04 18:29	959