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

	Name	Last modified	Size	Description
	Parent Directory		-
	ax1.p	2024-10-04 18:28	160
	ax2.p	2024-10-04 18:28	192
	ax3.p	2024-10-04 18:28	159
	ax4.p	2024-10-04 18:28	189
	ax5.p	2024-10-04 18:28	170
	ax6.p	2024-10-04 18:28	196
	ax7.p	2024-10-04 18:28	172
	ax8.p	2024-10-04 18:28	197
	ax9.p	2024-10-04 18:28	197
	ax10.p	2024-10-04 18:28	171
	ax11.p	2024-10-04 18:28	255
	ax12.p	2024-10-04 18:28	114
	ax13.p	2024-10-04 18:28	142
	ax14.p	2024-10-04 18:28	116
	ax15.p	2024-10-04 18:28	125
	ax16.p	2024-10-04 18:28	126
	ax17.p	2024-10-04 18:28	148
	ax18.p	2024-10-04 18:28	141
	ax19.p	2024-10-04 18:28	155
	ax20.p	2024-10-04 18:28	146
	ax21.p	2024-10-04 18:28	210
	ax22.p	2024-10-04 18:28	121
	ax23.p	2024-10-04 18:28	133
	ax24.p	2024-10-04 18:28	128
	ax25.p	2024-10-04 18:28	160
	ax26.p	2024-10-04 18:28	203
	ax27.p	2024-10-04 18:28	174
	ax28.p	2024-10-04 18:28	125
	ax29.p	2024-10-04 18:28	146
	ax30.p	2024-10-04 18:28	145
	ax31.p	2024-10-04 18:28	125
	ax32.p	2024-10-04 18:28	126
	ax33.p	2024-10-04 18:28	141
	ax34.p	2024-10-04 18:28	131
	ax35.p	2024-10-04 18:28	138
	ax36.p	2024-10-04 18:28	161
	ax37.p	2024-10-04 18:28	168
	ax38.p	2024-10-04 18:28	132
	ax39.p	2024-10-04 18:28	132
	ax40.p	2024-10-04 18:28	180
	ax41.p	2024-10-04 18:28	179
	ax42.p	2024-10-04 18:28	169
	ax43.p	2024-10-04 18:28	140
	ax44.p	2024-10-04 18:28	133
	ax45.p	2024-10-04 18:28	194
	ax46.p	2024-10-04 18:28	178
	ax47.p	2024-10-04 18:28	154
	ax48.p	2024-10-04 18:28	185
	ax49.p	2024-10-04 18:28	155
	ax50.p	2024-10-04 18:28	155
	ax51.p	2024-10-04 18:28	183
	ax52.p	2024-10-04 18:28	135
	ax53.p	2024-10-04 18:28	244
	ax54.p	2024-10-04 18:28	234
	ax55.p	2024-10-04 18:28	197
	ax56.p	2024-10-04 18:28	172
	ax57.p	2024-10-04 18:28	180
	ax58.p	2024-10-04 18:28	170
	ax59.p	2024-10-04 18:28	143
	ax60.p	2024-10-04 18:28	148
	ax61.p	2024-10-04 18:28	139
	ax62.p	2024-10-04 18:28	267
	ax63.p	2024-10-04 18:28	186
	ax64.p	2024-10-04 18:28	174
	ax65.p	2024-10-04 18:28	125
	ax66.p	2024-10-04 18:28	197
	ax67.p	2024-10-04 18:28	137
	ax68.p	2024-10-04 18:28	116
	ax69.p	2024-10-04 18:28	165
	ax70.p	2024-10-04 18:28	206
	ax71.p	2024-10-04 18:28	138
	ax72.p	2024-10-04 18:28	137
	ax73.p	2024-10-04 18:28	129
	ax74.p	2024-10-04 18:28	158
	ax75.p	2024-10-04 18:28	188
	ax76.p	2024-10-04 18:28	136
	ax77.p	2024-10-04 18:28	137
	ax78.p	2024-10-04 18:28	144
	ax79.p	2024-10-04 18:28	166
	ax80.p	2024-10-04 18:28	280
	ax81.p	2024-10-04 18:28	209
	ax82.p	2024-10-04 18:28	276
	ax83.p	2024-10-04 18:28	289
	conj.p	2024-10-04 18:28	167