Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/GEO354+1/VerificationProblems/iProver-SAT---3.7

	Name	Last modified	Size	Description
	Parent Directory		-
	apt_def.p	2024-10-04 18:30	206
	bet_def.p	2024-10-04 18:30	263
	bf_def.p	2024-10-04 18:30	359
	cld1.p	2024-10-04 18:30	129
	cld2.p	2024-10-04 18:30	222
	cld3.p	2024-10-04 18:30	295
	cld3a.p	2024-10-04 18:30	379
	cld4.p	2024-10-04 18:30	220
	cld5.p	2024-10-04 18:30	250
	con_def.p	2024-10-04 18:30	218
	div_def.p	2024-10-04 18:30	280
	oag1.p	2024-10-04 18:30	120
	oag2.p	2024-10-04 18:30	189
	oag3.p	2024-10-04 18:30	119
	oag4.p	2024-10-04 18:30	186
	oag5.p	2024-10-04 18:30	129
	oag6.p	2024-10-04 18:30	216
	oag7.p	2024-10-04 18:30	366
	oag8.p	2024-10-04 18:30	214
	oag9.p	2024-10-04 18:30	266
	oag10.p	2024-10-04 18:30	172
	oag11.p	2024-10-04 18:30	182
	oagco1.p	2024-10-04 18:30	188
	oagco2.p	2024-10-04 18:30	245
	oagco3.p	2024-10-04 18:30	171
	oagco4.p	2024-10-04 18:30	136
	oagco5.p	2024-10-04 18:30	235
	oagco6.p	2024-10-04 18:30	300
	oagco7.p	2024-10-04 18:30	161
	oagco8.p	2024-10-04 18:30	135
	oagco9.p	2024-10-04 18:30	191
	oagco10.p	2024-10-04 18:30	166
	oagsub1.p	2024-10-04 18:30	194
	oagsub2.p	2024-10-04 18:30	243
	oagsub3.p	2024-10-04 18:30	213
	oaguc1.p	2024-10-04 18:30	427
	oaguc2.p	2024-10-04 18:30	245