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

	Name	Last modified	Size	Description
	Parent Directory		-
	co1.p	2024-10-04 18:24	600
	ax46.p	2024-10-04 18:24	193
	ax45.p	2024-10-04 18:24	129
	ax44.p	2024-10-04 18:24	532
	ax43.p	2024-10-04 18:24	140
	ax42.p	2024-10-04 18:24	147
	ax41.p	2024-10-04 18:24	145
	ax40.p	2024-10-04 18:24	149
	ax39.p	2024-10-04 18:24	146
	ax38.p	2024-10-04 18:24	139
	ax37.p	2024-10-04 18:24	138
	ax36.p	2024-10-04 18:24	144
	ax35.p	2024-10-04 18:24	144
	ax34.p	2024-10-04 18:24	142
	ax33.p	2024-10-04 18:24	147
	ax32.p	2024-10-04 18:24	150
	ax31.p	2024-10-04 18:24	145
	ax30.p	2024-10-04 18:24	139
	ax29.p	2024-10-04 18:24	136
	ax28.p	2024-10-04 18:24	141
	ax27.p	2024-10-04 18:24	137
	ax26.p	2024-10-04 18:24	136
	ax25.p	2024-10-04 18:24	138
	ax24.p	2024-10-04 18:24	136
	ax23.p	2024-10-04 18:24	139
	ax22.p	2024-10-04 18:24	136
	ax21.p	2024-10-04 18:24	137
	ax20.p	2024-10-04 18:24	140
	ax19.p	2024-10-04 18:24	142
	ax18.p	2024-10-04 18:24	151
	ax17.p	2024-10-04 18:24	151
	ax16.p	2024-10-04 18:24	142
	ax15.p	2024-10-04 18:24	140
	ax14.p	2024-10-04 18:24	139
	ax13.p	2024-10-04 18:24	142
	ax12.p	2024-10-04 18:24	142
	ax11.p	2024-10-04 18:24	143
	ax10.p	2024-10-04 18:24	143
	ax9.p	2024-10-04 18:24	139
	ax8.p	2024-10-04 18:24	142
	ax7.p	2024-10-04 18:24	147
	ax6.p	2024-10-04 18:24	141
	ax5.p	2024-10-04 18:24	144
	ax4.p	2024-10-04 18:24	141
	ax3.p	2024-10-04 18:24	144
	ax2.p	2024-10-04 18:24	146
	ax1.p	2024-10-04 18:24	134