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

	Name	Last modified	Size	Description
	Parent Directory		-
	s2_goal_1.p	2024-10-04 18:30	100
	sym_s2_goal_1.p	2024-10-04 18:30	106
	s2_type21_1.p	2024-10-04 18:30	110
	s2_type21_2.p	2024-10-04 18:30	110
	s2_type22_1.p	2024-10-04 18:30	110
	s2_type22_2.p	2024-10-04 18:30	110
	s2_type22_3.p	2024-10-04 18:30	110
	s2_type22_4.p	2024-10-04 18:30	110
	s2_type11_1.p	2024-10-04 18:30	120
	s2_type11_2.p	2024-10-04 18:30	120
	s2_type11_3.p	2024-10-04 18:30	120
	s2_type11_4.p	2024-10-04 18:30	120
	s2_type11_5.p	2024-10-04 18:30	120
	s2_type11_6.p	2024-10-04 18:30	120
	s2_type12_1.p	2024-10-04 18:30	120
	s2_type12_2.p	2024-10-04 18:30	120
	s2_type12_3.p	2024-10-04 18:30	120
	s2_type12_4.p	2024-10-04 18:30	120
	s2_type12_5.p	2024-10-04 18:30	120
	s2_type12_6.p	2024-10-04 18:30	120
	sym_s2_type21_1.p	2024-10-04 18:30	122
	sym_s2_type21_2.p	2024-10-04 18:30	122
	sym_s2_type22_1.p	2024-10-04 18:30	122
	sym_s2_type22_2.p	2024-10-04 18:30	122
	sym_s2_type22_3.p	2024-10-04 18:30	122
	sym_s2_type22_4.p	2024-10-04 18:30	122
	sym_s2_type11_1.p	2024-10-04 18:30	134
	sym_s2_type11_2.p	2024-10-04 18:30	134
	sym_s2_type11_3.p	2024-10-04 18:30	134
	sym_s2_type11_4.p	2024-10-04 18:30	134
	sym_s2_type11_5.p	2024-10-04 18:30	134
	sym_s2_type11_6.p	2024-10-04 18:30	134
	sym_s2_type12_1.p	2024-10-04 18:30	134
	sym_s2_type12_2.p	2024-10-04 18:30	134
	sym_s2_type12_3.p	2024-10-04 18:30	134
	sym_s2_type12_4.p	2024-10-04 18:30	134
	sym_s2_type12_5.p	2024-10-04 18:30	134
	sym_s2_type12_6.p	2024-10-04 18:30	134