Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/SWV973-1/VerificationProblems/E-SAT---3.0

	Name	Last modified	Size	Description
	Parent Directory		-
	cls_conjecture_0.p	2024-10-04 18:33	125
	cls_val_Osimps_I4_J_0.p	2024-10-04 18:33	141
	cls_val_Osimps_I5_J_0.p	2024-10-04 18:33	141
	cls_val_Osimps_I8_J_0.p	2024-10-04 18:33	164
	cls_val_Osimps_I9_J_0.p	2024-10-04 18:33	164
	cls_val_Osimps_I10_J_0.p	2024-10-04 18:33	165
	cls_val_Osimps_I11_J_0.p	2024-10-04 18:33	165
	cls_val_Osimps_I14_J_0.p	2024-10-04 18:33	165
	cls_val_Osimps_I15_J_0.p	2024-10-04 18:33	165
	cls_val_Osimps_I16_J_0.p	2024-10-04 18:33	165
	cls_val_Osimps_I17_J_0.p	2024-10-04 18:33	165
	cls_val_Osimps_I22_J_0.p	2024-10-04 18:33	184
	cls_val_Osimps_I23_J_0.p	2024-10-04 18:33	184
	cls_CHAINED_0.p	2024-10-04 18:33	205
	cls_val_Osimps_I2_J_0.p	2024-10-04 18:33	205
	cls_val_Osimps_I3_J_0.p	2024-10-04 18:33	205