Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/SYN092-1.003/VerificationProblems/iProver-SAT---3.7

	Name	Last modified	Size	Description
	Parent Directory		-
	s3_type2_1.p	2024-10-04 18:28	111
	s3_type2_2.p	2024-10-04 18:28	111
	s3_type2_3.p	2024-10-04 18:28	111
	s3_type2_4.p	2024-10-04 18:28	111
	s3_goal_1.p	2024-10-04 18:28	112
	s3_type11_1.p	2024-10-04 18:28	120
	s3_type11_2.p	2024-10-04 18:28	120
	s3_type11_3.p	2024-10-04 18:28	120
	s3_type11_4.p	2024-10-04 18:28	120
	s3_type11_5.p	2024-10-04 18:28	120
	s3_type11_6.p	2024-10-04 18:28	120
	s3_type11_7.p	2024-10-04 18:28	120
	s3_type11_8.p	2024-10-04 18:28	120
	s3_type12_1.p	2024-10-04 18:28	120
	s3_type12_2.p	2024-10-04 18:28	120
	s3_type12_3.p	2024-10-04 18:28	120
	s3_type12_4.p	2024-10-04 18:28	120
	s3_type12_5.p	2024-10-04 18:28	120
	s3_type12_6.p	2024-10-04 18:28	120
	s3_type12_7.p	2024-10-04 18:28	120
	s3_type12_8.p	2024-10-04 18:28	120
	sym_s3_goal_1.p	2024-10-04 18:28	120
	sym_s3_type2_1.p	2024-10-04 18:28	123
	sym_s3_type2_2.p	2024-10-04 18:28	123
	sym_s3_type2_3.p	2024-10-04 18:28	123
	sym_s3_type2_4.p	2024-10-04 18:28	123
	sym_s3_type11_1.p	2024-10-04 18:28	134
	sym_s3_type11_2.p	2024-10-04 18:28	134
	sym_s3_type11_3.p	2024-10-04 18:28	134
	sym_s3_type11_4.p	2024-10-04 18:28	134
	sym_s3_type11_5.p	2024-10-04 18:28	134
	sym_s3_type11_6.p	2024-10-04 18:28	134
	sym_s3_type11_7.p	2024-10-04 18:28	134
	sym_s3_type11_8.p	2024-10-04 18:28	134
	sym_s3_type12_1.p	2024-10-04 18:28	134
	sym_s3_type12_2.p	2024-10-04 18:28	134
	sym_s3_type12_3.p	2024-10-04 18:28	134
	sym_s3_type12_4.p	2024-10-04 18:28	134
	sym_s3_type12_5.p	2024-10-04 18:28	134
	sym_s3_type12_6.p	2024-10-04 18:28	134
	sym_s3_type12_7.p	2024-10-04 18:28	134
	sym_s3_type12_8.p	2024-10-04 18:28	134