Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/NLP254+1/VerificationProblems/Vampire-SAT---4.7.CSA-Sat.s

	Name	Last modified	Size	Description
	Parent Directory		-
	ax1.p	2024-10-04 18:26	155
	ax2.p	2024-10-04 18:26	157
	ax3.p	2024-10-04 18:26	148
	ax4.p	2024-10-04 18:26	148
	ax5.p	2024-10-04 18:26	140
	ax6.p	2024-10-04 18:26	152
	ax7.p	2024-10-04 18:26	150
	ax8.p	2024-10-04 18:26	147
	ax9.p	2024-10-04 18:26	150
	ax10.p	2024-10-04 18:26	148
	ax11.p	2024-10-04 18:26	148
	ax12.p	2024-10-04 18:26	145
	ax13.p	2024-10-04 18:26	148
	ax14.p	2024-10-04 18:26	154
	ax15.p	2024-10-04 18:26	149
	ax16.p	2024-10-04 18:26	144
	ax17.p	2024-10-04 18:26	150
	ax18.p	2024-10-04 18:26	151
	ax19.p	2024-10-04 18:26	152
	ax20.p	2024-10-04 18:26	153
	ax21.p	2024-10-04 18:26	150
	ax22.p	2024-10-04 18:26	153
	ax23.p	2024-10-04 18:26	153
	ax24.p	2024-10-04 18:26	151
	ax25.p	2024-10-04 18:26	156
	ax26.p	2024-10-04 18:26	153
	ax27.p	2024-10-04 18:26	148
	ax28.p	2024-10-04 18:26	150
	ax29.p	2024-10-04 18:26	150
	ax30.p	2024-10-04 18:26	144
	ax31.p	2024-10-04 18:26	155
	ax32.p	2024-10-04 18:26	149
	ax33.p	2024-10-04 18:26	151
	ax34.p	2024-10-04 18:26	146
	ax35.p	2024-10-04 18:26	198
	ax36.p	2024-10-04 18:26	186
	ax37.p	2024-10-04 18:26	202
	ax38.p	2024-10-04 18:26	184
	ax39.p	2024-10-04 18:26	186
	ax40.p	2024-10-04 18:26	178
	ax41.p	2024-10-04 18:26	184
	ax42.p	2024-10-04 18:26	180
	ax43.p	2024-10-04 18:26	182
	ax44.p	2024-10-04 18:26	188
	ax45.p	2024-10-04 18:26	186
	ax46.p	2024-10-04 18:26	182
	ax47.p	2024-10-04 18:26	186
	ax48.p	2024-10-04 18:26	194
	ax49.p	2024-10-04 18:26	176
	ax50.p	2024-10-04 18:26	180
	ax51.p	2024-10-04 18:26	198
	ax52.p	2024-10-04 18:26	184
	ax53.p	2024-10-04 18:26	186
	ax54.p	2024-10-04 18:26	192
	ax55.p	2024-10-04 18:26	186
	ax56.p	2024-10-04 18:26	192
	ax57.p	2024-10-04 18:26	192
	ax58.p	2024-10-04 18:26	214
	ax59.p	2024-10-04 18:26	192
	ax60.p	2024-10-04 18:26	184
	ax61.p	2024-10-04 18:26	182
	ax62.p	2024-10-04 18:26	192
	ax63.p	2024-10-04 18:26	186
	ax64.p	2024-10-04 18:26	188
	ax65.p	2024-10-04 18:26	180
	ax66.p	2024-10-04 18:26	192
	ax67.p	2024-10-04 18:26	180
	ax68.p	2024-10-04 18:26	180
	ax69.p	2024-10-04 18:26	227
	ax70.p	2024-10-04 18:26	156
	ax71.p	2024-10-04 18:26	320
	co1.p	2024-10-04 18:26	1.5K