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

	Name	Last modified	Size	Description
	Parent Directory		-
	biguanide_effect.p	2024-10-04 18:27	210
	xorcondition3.p	2024-10-04 18:27	165
	xorcapacity2.p	2024-10-04 18:27	158
	ne_cure.p	2024-10-04 18:27	371
	liver_glucose.p	2024-10-04 18:27	181
	xorcapacity3.p	2024-10-04 18:27	158
	sn_cure_2.p	2024-10-04 18:27	295
	irreflexivity_gt.p	2024-10-04 18:27	129
	sulfonylurea_effect.p	2024-10-04 18:27	237
	xorcondition2.p	2024-10-04 18:27	164
	xorcapacity4.p	2024-10-04 18:27	158
	transitivity_gt.p	2024-10-04 18:27	171
	xorcapacity1.p	2024-10-04 18:27	172
	sn_cure_1.p	2024-10-04 18:27	293
	xorcondition4.p	2024-10-04 18:27	164
	insulin_effect.p	2024-10-04 18:27	223
	treatmentex_sub.p	2024-10-04 18:27	300
	xorcondition1.p	2024-10-04 18:27	181
	ex_cure.p	2024-10-04 18:27	342