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

	Name	Last modified	Size	Description
	Parent Directory		-
	ax10.p	2024-10-04 18:28	154
	ax28.p	2024-10-04 18:29	150
	ax14.p	2024-10-04 18:29	148
	ax27.p	2024-10-04 18:29	150
	ax3.p	2024-10-04 18:29	151
	ax7.p	2024-10-04 18:29	147
	ax24.p	2024-10-04 18:29	156
	ax13.p	2024-10-04 18:29	149
	ax23.p	2024-10-04 18:29	151
	ax18.p	2024-10-04 18:29	156
	ax1.p	2024-10-04 18:29	147
	ax12.p	2024-10-04 18:29	149
	ax33.p	2024-10-04 18:29	199
	ax15.p	2024-10-04 18:29	148
	ax26.p	2024-10-04 18:29	148
	ax32.p	2024-10-04 18:29	151
	co1.p	2024-10-04 18:29	465
	ax29.p	2024-10-04 18:29	142
	ax34.p	2024-10-04 18:29	199
	ax16.p	2024-10-04 18:29	145
	ax25.p	2024-10-04 18:29	153
	ax22.p	2024-10-04 18:29	144
	ax4.p	2024-10-04 18:29	153
	ax8.p	2024-10-04 18:29	150
	ax19.p	2024-10-04 18:29	154
	ax2.p	2024-10-04 18:29	149
	ax6.p	2024-10-04 18:29	150
	ax21.p	2024-10-04 18:29	148
	ax11.p	2024-10-04 18:29	146
	ax17.p	2024-10-04 18:29	146
	ax5.p	2024-10-04 18:29	152
	ax30.p	2024-10-04 18:29	152
	ax9.p	2024-10-04 18:29	147
	ax20.p	2024-10-04 18:29	146
	ax31.p	2024-10-04 18:29	155