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

	Name	Last modified	Size	Description
	Parent Directory		-
	clause1.p	2024-10-04 18:33	102
	clause2.p	2024-10-04 18:33	133
	clause3.p	2024-10-04 18:33	164
	clause4.p	2024-10-04 18:33	199
	clause5.p	2024-10-04 18:33	238
	clause6.p	2024-10-04 18:33	245
	clause7.p	2024-10-04 18:33	247
	clause8.p	2024-10-04 18:33	281
	clause9.p	2024-10-04 18:33	328
	clause10.p	2024-10-04 18:33	336
	clause11.p	2024-10-04 18:33	338
	clause12.p	2024-10-04 18:33	382
	clause13.p	2024-10-04 18:33	389
	clause14.p	2024-10-04 18:33	391
	clause15.p	2024-10-04 18:33	440
	clause16.p	2024-10-04 18:33	503
	clause17.p	2024-10-04 18:33	572
	clause18.p	2024-10-04 18:33	646
	clause19.p	2024-10-04 18:33	725
	clause20.p	2024-10-04 18:33	732
	clause21.p	2024-10-04 18:33	734
	clause22.p	2024-10-04 18:33	760
	clause23.p	2024-10-04 18:33	809
	clause24.p	2024-10-04 18:33	816
	clause25.p	2024-10-04 18:33	818
	clause26.p	2024-10-04 18:33	898
	clause27.p	2024-10-04 18:33	905
	clause28.p	2024-10-04 18:33	907
	clause29.p	2024-10-04 18:33	1.0K
	clause30.p	2024-10-04 18:33	1.0K
	clause31.p	2024-10-04 18:33	1.0K
	clause32.p	2024-10-04 18:33	1.1K
	clause33.p	2024-10-04 18:33	1.2K
	clause34.p	2024-10-04 18:33	1.3K
	clause35.p	2024-10-04 18:33	1.3K
	clause36.p	2024-10-04 18:33	1.4K
	clause37.p	2024-10-04 18:33	1.5K
	clause38.p	2024-10-04 18:33	1.6K
	clause39.p	2024-10-04 18:33	1.7K
	clause40.p	2024-10-04 18:33	1.7K
	clause41.p	2024-10-04 18:33	1.8K
	clause42.p	2024-10-04 18:33	1.9K
	clause43.p	2024-10-04 18:33	1.9K
	clause44.p	2024-10-04 18:33	1.9K
	clause45.p	2024-10-04 18:33	1.9K
	clause46.p	2024-10-04 18:33	1.9K
	clause47.p	2024-10-04 18:33	2.1K
	clause48.p	2024-10-04 18:33	2.2K
	clause50.p	2024-10-04 18:33	2.4K
	clause49.p	2024-10-04 18:33	2.4K
	clause51.p	2024-10-04 18:33	2.6K
	clause52.p	2024-10-04 18:33	2.6K
	clause53.p	2024-10-04 18:33	2.6K
	clause54.p	2024-10-04 18:33	2.6K
	clause55.p	2024-10-04 18:33	2.8K