Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/SYN087-1.003/VerificationProblems/E-SAT---3.0

	Name	Last modified	Size	Description
	Parent Directory		-
	s3_type2_1.p	2024-10-04 18:28	105
	s3_type2_2.p	2024-10-04 18:28	105
	s3_type2_3.p	2024-10-04 18:28	105
	s3_type2_4.p	2024-10-04 18:28	105
	s3_goal_1.p	2024-10-04 18:28	106
	s3_type11_1.p	2024-10-04 18:28	114
	s3_type11_2.p	2024-10-04 18:28	114
	s3_type11_3.p	2024-10-04 18:28	114
	s3_type11_4.p	2024-10-04 18:28	114
	s3_type11_5.p	2024-10-04 18:28	114
	s3_type11_6.p	2024-10-04 18:28	114
	s3_type11_7.p	2024-10-04 18:28	114
	s3_type11_8.p	2024-10-04 18:28	114
	s3_type12_1.p	2024-10-04 18:28	114
	s3_type12_2.p	2024-10-04 18:28	114
	s3_type12_3.p	2024-10-04 18:28	114
	s3_type12_4.p	2024-10-04 18:28	114
	s3_type12_5.p	2024-10-04 18:28	114
	s3_type12_6.p	2024-10-04 18:28	114
	s3_type12_7.p	2024-10-04 18:28	114
	s3_type12_8.p	2024-10-04 18:28	114