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

	Name	Last modified	Size	Description
	Parent Directory		-
	father1.p	2024-10-04 18:29	128
	father2.p	2024-10-04 18:29	130
	father3.p	2024-10-04 18:29	140
	female1.p	2024-10-04 18:29	128
	female2.p	2024-10-04 18:29	124
	grandparent1.p	2024-10-04 18:29	138
	grandparent2.p	2024-10-04 18:29	150
	grandparent3.p	2024-10-04 18:29	149
	grandparent4.p	2024-10-04 18:29	175
	mother1.p	2024-10-04 18:29	128
	mother2.p	2024-10-04 18:29	136
	mother3.p	2024-10-04 18:29	137
	mother4.p	2024-10-04 18:29	163
	parent1.p	2024-10-04 18:29	128
	parent2.p	2024-10-04 18:29	140
	parent3.p	2024-10-04 18:29	139
	parent4.p	2024-10-04 18:29	165
	parent_with_sons_only1.p	2024-10-04 18:29	158
	parent_with_sons_only2.p	2024-10-04 18:29	192
	parent_with_sons_only3.p	2024-10-04 18:29	188
	parent_with_sons_only4.p	2024-10-04 18:29	200
	parent_with_sons_only5.p	2024-10-04 18:29	162
	parent_with_sons_only6.p	2024-10-04 18:29	161
	parent_with_sons_only7.p	2024-10-04 18:29	173
	person1.p	2024-10-04 18:29	136
	person2.p	2024-10-04 18:29	156
	person3.p	2024-10-04 18:29	147
	person4.p	2024-10-04 18:29	149