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

	Name	Last modified	Size	Description
	Parent Directory		-
	ifeq_axiom_001.p	2024-10-04 18:24	142
	ifeq_axiom.p	2024-10-04 18:24	139
	goal.p	2024-10-04 18:24	97
	cls_val_Osimps_I23_J_0.p	2024-10-04 18:24	202
	cls_val_Osimps_I22_J_0.p	2024-10-04 18:24	202
	cls_val_Osimps_I17_J_0.p	2024-10-04 18:24	183
	cls_val_Osimps_I16_J_0.p	2024-10-04 18:24	183
	cls_val_Osimps_I15_J_0.p	2024-10-04 18:24	183
	cls_val_Osimps_I14_J_0.p	2024-10-04 18:24	183
	cls_val_Osimps_I11_J_0.p	2024-10-04 18:24	183
	cls_val_Osimps_I10_J_0.p	2024-10-04 18:24	183
	cls_val_Osimps_I9_J_0.p	2024-10-04 18:24	182
	cls_val_Osimps_I8_J_0.p	2024-10-04 18:24	182
	cls_val_Osimps_I5_J_0.p	2024-10-04 18:24	159
	cls_val_Osimps_I4_J_0.p	2024-10-04 18:24	159
	cls_val_Osimps_I3_J_0.p	2024-10-04 18:24	218
	cls_val_Osimps_I2_J_0.p	2024-10-04 18:24	218
	cls_conjecture_0.p	2024-10-04 18:24	143
	cls_CHAINED_0.p	2024-10-04 18:24	219