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

	Name	Last modified	Size	Description
	Parent Directory		-
	ax1.p	2024-10-04 18:33	154
	ax2.p	2024-10-04 18:33	153
	ax3.p	2024-10-04 18:33	162
	ax4.p	2024-10-04 18:33	109
	ax5.p	2024-10-04 18:33	173
	ax6.p	2024-10-04 18:33	151
	ax7.p	2024-10-04 18:33	118
	ax8.p	2024-10-04 18:33	224
	ax9.p	2024-10-04 18:33	197
	ax10.p	2024-10-04 18:33	157
	ax11.p	2024-10-04 18:33	267
	ax12.p	2024-10-04 18:33	182
	ax13.p	2024-10-04 18:33	264
	ax14.p	2024-10-04 18:33	255
	ax15.p	2024-10-04 18:33	255
	ax16.p	2024-10-04 18:33	112
	ax17.p	2024-10-04 18:33	112
	ax18.p	2024-10-04 18:33	177
	ax19.p	2024-10-04 18:33	117
	ax20.p	2024-10-04 18:33	121
	ax21.p	2024-10-04 18:33	123
	ax22.p	2024-10-04 18:33	126
	ax23.p	2024-10-04 18:33	123
	ax24.p	2024-10-04 18:33	135
	ax25.p	2024-10-04 18:33	127
	ax26.p	2024-10-04 18:33	130
	ax27.p	2024-10-04 18:33	263
	ax28.p	2024-10-04 18:33	144
	ax29.p	2024-10-04 18:33	133
	ax30.p	2024-10-04 18:33	129
	ax31.p	2024-10-04 18:33	138
	ax32.p	2024-10-04 18:33	174
	ax33.p	2024-10-04 18:33	125
	ax34.p	2024-10-04 18:33	140
	ax35.p	2024-10-04 18:33	141
	ax36.p	2024-10-04 18:33	153
	ax37.p	2024-10-04 18:33	171
	ax38.p	2024-10-04 18:33	160
	ax39.p	2024-10-04 18:33	179
	ax40.p	2024-10-04 18:33	153
	ax41.p	2024-10-04 18:33	160
	ax42.p	2024-10-04 18:33	180
	ax43.p	2024-10-04 18:33	178
	ax44.p	2024-10-04 18:33	134
	ax45.p	2024-10-04 18:33	196
	ax46.p	2024-10-04 18:33	145
	ax47.p	2024-10-04 18:33	148
	ax48.p	2024-10-04 18:33	178
	ax49.p	2024-10-04 18:33	161
	ax50.p	2024-10-04 18:33	156
	ax51.p	2024-10-04 18:33	197
	ax52.p	2024-10-04 18:33	194
	ax53.p	2024-10-04 18:33	172
	ax54.p	2024-10-04 18:33	205
	ax55.p	2024-10-04 18:33	117
	ax56.p	2024-10-04 18:33	197
	ax57.p	2024-10-04 18:33	253
	ax58.p	2024-10-04 18:33	136
	ax59.p	2024-10-04 18:33	244
	ax60.p	2024-10-04 18:33	224
	ax61.p	2024-10-04 18:33	210
	ax62.p	2024-10-04 18:33	137
	ax63.p	2024-10-04 18:33	145
	ax64.p	2024-10-04 18:33	280
	ax65.p	2024-10-04 18:33	221
	ax66.p	2024-10-04 18:33	252
	conj.p	2024-10-04 18:33	135