Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/MED004+1/VerificationProblems/E-SAT---3.0.CSA-Sat.s

	Name	Last modified	Size	Description
	Parent Directory		-
	biguanide_effect.p	2024-10-04 18:27	204
	ex_cure.p	2024-10-04 18:27	336
	insulin_effect.p	2024-10-04 18:27	217
	irreflexivity_gt.p	2024-10-04 18:27	123
	liver_glucose.p	2024-10-04 18:27	175
	ne_cure.p	2024-10-04 18:27	365
	sn_cure_1.p	2024-10-04 18:27	287
	sn_cure_2.p	2024-10-04 18:27	289
	sulfonylurea_effect.p	2024-10-04 18:27	231
	transitivity_gt.p	2024-10-04 18:27	165
	treatmentex_sub.p	2024-10-04 18:27	294
	xorcapacity1.p	2024-10-04 18:27	166
	xorcapacity2.p	2024-10-04 18:27	152
	xorcapacity3.p	2024-10-04 18:27	152
	xorcapacity4.p	2024-10-04 18:27	152
	xorcondition1.p	2024-10-04 18:27	175
	xorcondition2.p	2024-10-04 18:27	158
	xorcondition3.p	2024-10-04 18:27	159
	xorcondition4.p	2024-10-04 18:27	158