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

	Name	Last modified	Size	Description
	Parent Directory		-
	axiom_0.p	2024-10-04 18:22	130
	axiom_1.p	2024-10-04 18:22	133
	axiom_2.p	2024-10-04 18:22	154
	axiom_3.p	2024-10-04 18:22	118
	axiom_4.p	2024-10-04 18:22	131
	axiom_5.p	2024-10-04 18:22	118
	axiom_6.p	2024-10-04 18:22	140
	axiom_7.p	2024-10-04 18:22	131
	axiom_8.p	2024-10-04 18:22	118
	axiom_9.p	2024-10-04 18:22	140
	axiom_10.p	2024-10-04 18:22	136
	axiom_11.p	2024-10-04 18:22	121
	axiom_12.p	2024-10-04 18:22	137
	axiom_13.p	2024-10-04 18:22	136
	axiom_14.p	2024-10-04 18:22	137
	axiom_15.p	2024-10-04 18:22	206
	axiom_16.p	2024-10-04 18:22	135
	axiom_17.p	2024-10-04 18:22	171
	axiom_18.p	2024-10-04 18:22	144
	axiom_19.p	2024-10-04 18:22	139
	axiom_20.p	2024-10-04 18:22	157
	axiom_21.p	2024-10-04 18:22	140
	axiom_22.p	2024-10-04 18:22	143
	axiom_23.p	2024-10-04 18:22	139
	axiom_24.p	2024-10-04 18:22	140
	axiom_25.p	2024-10-04 18:22	130
	axiom_26.p	2024-10-04 18:22	125
	cSatisfiable_substitution_1.p	2024-10-04 18:22	173
	ca_Ax14_substitution_1.p	2024-10-04 18:22	158
	ca_Cx1_substitution_1.p	2024-10-04 18:22	155
	ca_Cx1xcomp_substitution_1.p	2024-10-04 18:22	170
	ca_Cx2_substitution_1.p	2024-10-04 18:22	155
	ca_Cx2xcomp_substitution_1.p	2024-10-04 18:22	170
	ca_Cx3_substitution_1.p	2024-10-04 18:22	155
	ca_Cx3xcomp_substitution_1.p	2024-10-04 18:22	170
	cowlNothing_substitution_1.p	2024-10-04 18:22	170
	cowlThing_substitution_1.p	2024-10-04 18:22	164
	cp1_substitution_1.p	2024-10-04 18:22	146
	cp2_substitution_1.p	2024-10-04 18:22	146
	cp2xcomp_substitution_1.p	2024-10-04 18:22	161
	cp3_substitution_1.p	2024-10-04 18:22	146
	cp3xcomp_substitution_1.p	2024-10-04 18:22	161
	cp4_substitution_1.p	2024-10-04 18:22	146
	cp4xcomp_substitution_1.p	2024-10-04 18:22	161
	cp5_substitution_1.p	2024-10-04 18:22	146
	cp5xcomp_substitution_1.p	2024-10-04 18:22	161
	ra_Px1_substitution_1.p	2024-10-04 18:22	167
	ra_Px1_substitution_2.p	2024-10-04 18:22	167
	ra_Px2_substitution_1.p	2024-10-04 18:22	167
	ra_Px2_substitution_2.p	2024-10-04 18:22	167
	ra_Px3_substitution_1.p	2024-10-04 18:22	167
	ra_Px3_substitution_2.p	2024-10-04 18:22	167
	ra_Px4_substitution_1.p	2024-10-04 18:22	167
	ra_Px4_substitution_2.p	2024-10-04 18:22	167
	ra_Px5_substitution_1.p	2024-10-04 18:22	167
	ra_Px5_substitution_2.p	2024-10-04 18:22	167
	ra_Px6_substitution_1.p	2024-10-04 18:22	167
	ra_Px6_substitution_2.p	2024-10-04 18:22	167
	ra_Px7_substitution_1.p	2024-10-04 18:22	167
	ra_Px7_substitution_2.p	2024-10-04 18:22	167
	rinvR_substitution_1.p	2024-10-04 18:22	164
	rinvR_substitution_2.p	2024-10-04 18:22	164
	rr_substitution_1.p	2024-10-04 18:22	155
	rr_substitution_2.p	2024-10-04 18:22	155
	xsd_integer_substitution_1.p	2024-10-04 18:22	170
	xsd_string_substitution_1.p	2024-10-04 18:22	167