Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/GEO354+1/VerificationProblems/Vampire-SAT---4.7

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