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

	Name	Last modified	Size	Description
	Parent Directory		-
	cls_CHAINED_0.p	2024-10-04 18:33	211
	cls_conjecture_0.p	2024-10-04 18:33	131
	cls_val_Osimps_I2_J_0.p	2024-10-04 18:33	211
	cls_val_Osimps_I3_J_0.p	2024-10-04 18:33	211
	cls_val_Osimps_I4_J_0.p	2024-10-04 18:33	147
	cls_val_Osimps_I5_J_0.p	2024-10-04 18:33	147
	cls_val_Osimps_I8_J_0.p	2024-10-04 18:33	170
	cls_val_Osimps_I9_J_0.p	2024-10-04 18:33	170
	cls_val_Osimps_I10_J_0.p	2024-10-04 18:33	171
	cls_val_Osimps_I11_J_0.p	2024-10-04 18:33	171
	cls_val_Osimps_I14_J_0.p	2024-10-04 18:33	171
	cls_val_Osimps_I15_J_0.p	2024-10-04 18:33	171
	cls_val_Osimps_I16_J_0.p	2024-10-04 18:33	171
	cls_val_Osimps_I17_J_0.p	2024-10-04 18:33	171
	cls_val_Osimps_I22_J_0.p	2024-10-04 18:33	190
	cls_val_Osimps_I23_J_0.p	2024-10-04 18:33	190