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

	Name	Last modified	Size	Description
	Parent Directory		-
	cls_CHAINED_0.p	2024-10-04 18:24	213
	cls_conjecture_0.p	2024-10-04 18:24	137
	cls_val_Osimps_I2_J_0.p	2024-10-04 18:24	212
	cls_val_Osimps_I3_J_0.p	2024-10-04 18:24	212
	cls_val_Osimps_I4_J_0.p	2024-10-04 18:24	153
	cls_val_Osimps_I5_J_0.p	2024-10-04 18:24	153
	cls_val_Osimps_I8_J_0.p	2024-10-04 18:24	176
	cls_val_Osimps_I9_J_0.p	2024-10-04 18:24	176
	cls_val_Osimps_I10_J_0.p	2024-10-04 18:24	177
	cls_val_Osimps_I11_J_0.p	2024-10-04 18:24	177
	cls_val_Osimps_I14_J_0.p	2024-10-04 18:24	177
	cls_val_Osimps_I15_J_0.p	2024-10-04 18:24	177
	cls_val_Osimps_I16_J_0.p	2024-10-04 18:24	177
	cls_val_Osimps_I17_J_0.p	2024-10-04 18:24	177
	cls_val_Osimps_I22_J_0.p	2024-10-04 18:24	196
	cls_val_Osimps_I23_J_0.p	2024-10-04 18:24	196
	goal.p	2024-10-04 18:24	91
	ifeq_axiom.p	2024-10-04 18:24	133
	ifeq_axiom_001.p	2024-10-04 18:24	136