Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/KRS043+1/VerificationProblems/iProver-SAT---3.7

	Name	Last modified	Size	Description
	Parent Directory		-
	axiom_0.p	2024-10-04 18:22	136
	axiom_1.p	2024-10-04 18:22	139
	axiom_2.p	2024-10-04 18:22	160
	axiom_3.p	2024-10-04 18:22	124
	axiom_4.p	2024-10-04 18:22	137
	axiom_5.p	2024-10-04 18:22	124
	axiom_6.p	2024-10-04 18:22	146
	axiom_7.p	2024-10-04 18:22	137
	axiom_8.p	2024-10-04 18:22	124
	axiom_9.p	2024-10-04 18:22	146
	axiom_10.p	2024-10-04 18:22	142
	axiom_11.p	2024-10-04 18:22	127
	axiom_12.p	2024-10-04 18:22	143
	axiom_13.p	2024-10-04 18:22	142
	axiom_14.p	2024-10-04 18:22	143
	axiom_15.p	2024-10-04 18:22	212
	axiom_16.p	2024-10-04 18:22	141
	axiom_17.p	2024-10-04 18:22	177
	axiom_18.p	2024-10-04 18:22	150
	axiom_19.p	2024-10-04 18:22	145
	axiom_20.p	2024-10-04 18:22	163
	axiom_21.p	2024-10-04 18:22	146
	axiom_22.p	2024-10-04 18:22	149
	axiom_23.p	2024-10-04 18:22	145
	axiom_24.p	2024-10-04 18:22	146
	axiom_25.p	2024-10-04 18:22	136
	axiom_26.p	2024-10-04 18:22	131
	cSatisfiable_substitution_1.p	2024-10-04 18:22	179
	ca_Ax14_substitution_1.p	2024-10-04 18:22	164
	ca_Cx1_substitution_1.p	2024-10-04 18:22	161
	ca_Cx1xcomp_substitution_1.p	2024-10-04 18:22	176
	ca_Cx2_substitution_1.p	2024-10-04 18:22	161
	ca_Cx2xcomp_substitution_1.p	2024-10-04 18:22	176
	ca_Cx3_substitution_1.p	2024-10-04 18:22	161
	ca_Cx3xcomp_substitution_1.p	2024-10-04 18:22	176
	cowlNothing_substitution_1.p	2024-10-04 18:22	176
	cowlThing_substitution_1.p	2024-10-04 18:22	170
	cp1_substitution_1.p	2024-10-04 18:22	152
	cp2_substitution_1.p	2024-10-04 18:22	152
	cp2xcomp_substitution_1.p	2024-10-04 18:22	167
	cp3_substitution_1.p	2024-10-04 18:22	152
	cp3xcomp_substitution_1.p	2024-10-04 18:22	167
	cp4_substitution_1.p	2024-10-04 18:22	152
	cp4xcomp_substitution_1.p	2024-10-04 18:22	167
	cp5_substitution_1.p	2024-10-04 18:22	152
	cp5xcomp_substitution_1.p	2024-10-04 18:22	167
	ra_Px1_substitution_1.p	2024-10-04 18:22	173
	ra_Px1_substitution_2.p	2024-10-04 18:22	173
	ra_Px2_substitution_1.p	2024-10-04 18:22	173
	ra_Px2_substitution_2.p	2024-10-04 18:22	173
	ra_Px3_substitution_1.p	2024-10-04 18:22	173
	ra_Px3_substitution_2.p	2024-10-04 18:22	173
	ra_Px4_substitution_1.p	2024-10-04 18:22	173
	ra_Px4_substitution_2.p	2024-10-04 18:22	173
	ra_Px5_substitution_1.p	2024-10-04 18:22	173
	ra_Px5_substitution_2.p	2024-10-04 18:22	173
	ra_Px6_substitution_1.p	2024-10-04 18:22	173
	ra_Px6_substitution_2.p	2024-10-04 18:22	173
	ra_Px7_substitution_1.p	2024-10-04 18:22	173
	ra_Px7_substitution_2.p	2024-10-04 18:22	173
	rinvR_substitution_1.p	2024-10-04 18:22	170
	rinvR_substitution_2.p	2024-10-04 18:22	170
	rr_substitution_1.p	2024-10-04 18:22	161
	rr_substitution_2.p	2024-10-04 18:22	161
	xsd_integer_substitution_1.p	2024-10-04 18:22	176
	xsd_string_substitution_1.p	2024-10-04 18:22	173