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

	Name	Last modified	Size	Description
	Parent Directory		-
	ax0.p	2024-10-04 18:27	150
	ax1.p	2024-10-04 18:27	150
	ax2.p	2024-10-04 18:27	153
	ax3.p	2024-10-04 18:27	150
	ax4.p	2024-10-04 18:27	138
	ax5.p	2024-10-04 18:27	232
	ax6.p	2024-10-04 18:27	203
	ax7.p	2024-10-04 18:27	343
	ax8.p	2024-10-04 18:27	258
	ax9.p	2024-10-04 18:27	161
	ax10.p	2024-10-04 18:27	343
	ax11.p	2024-10-04 18:27	290
	ax12.p	2024-10-04 18:27	153
	ax13.p	2024-10-04 18:27	372
	ax14.p	2024-10-04 18:27	308
	ax15.p	2024-10-04 18:27	159
	ax16.p	2024-10-04 18:27	390
	ax17.p	2024-10-04 18:27	247
	ax18.p	2024-10-04 18:27	235
	ax19.p	2024-10-04 18:27	155
	ax20.p	2024-10-04 18:27	309
	ax21.p	2024-10-04 18:27	235
	ax22.p	2024-10-04 18:27	154
	ax23.p	2024-10-04 18:27	200
	ax24.p	2024-10-04 18:27	150
	ax25.p	2024-10-04 18:27	593
	ax26.p	2024-10-04 18:27	148
	ax27.p	2024-10-04 18:27	684
	ax28.p	2024-10-04 18:27	354
	ax29.p	2024-10-04 18:27	344
	ax30.p	2024-10-04 18:27	341
	ax31.p	2024-10-04 18:27	299
	ax32.p	2024-10-04 18:27	335
	ax33.p	2024-10-04 18:27	296
	ax34.p	2024-10-04 18:27	266
	ax35.p	2024-10-04 18:27	242
	ax36.p	2024-10-04 18:27	252
	ax37.p	2024-10-04 18:27	260
	ax38.p	2024-10-04 18:27	209
	ax39.p	2024-10-04 18:27	405
	ax40.p	2024-10-04 18:27	249
	ax41.p	2024-10-04 18:27	130
	ax42.p	2024-10-04 18:27	179
	ax43.p	2024-10-04 18:27	171
	ax44.p	2024-10-04 18:27	164
	ax45.p	2024-10-04 18:27	158
	ax46.p	2024-10-04 18:27	171
	ax47.p	2024-10-04 18:27	164
	ax48.p	2024-10-04 18:27	158
	ax49.p	2024-10-04 18:27	171
	ax50.p	2024-10-04 18:27	143
	ax51.p	2024-10-04 18:27	191
	ax52.p	2024-10-04 18:27	196
	ax53.p	2024-10-04 18:27	196
	ax54.p	2024-10-04 18:27	149
	ax55.p	2024-10-04 18:27	171
	ax56.p	2024-10-04 18:27	171
	ax57.p	2024-10-04 18:27	152
	ax58.p	2024-10-04 18:27	174
	ax59.p	2024-10-04 18:27	174
	ax60.p	2024-10-04 18:27	149
	ax61.p	2024-10-04 18:27	147
	ax62.p	2024-10-04 18:27	157
	ax63.p	2024-10-04 18:27	159
	ax64.p	2024-10-04 18:27	163
	ax65.p	2024-10-04 18:27	157
	ax66.p	2024-10-04 18:27	154
	ax67.p	2024-10-04 18:27	148
	ax68.p	2024-10-04 18:27	156
	ax69.p	2024-10-04 18:27	140
	ax70.p	2024-10-04 18:27	146
	ax71.p	2024-10-04 18:27	145
	ax72.p	2024-10-04 18:27	157
	ax73.p	2024-10-04 18:27	148
	ax74.p	2024-10-04 18:27	170
	ax75.p	2024-10-04 18:27	144
	ax76.p	2024-10-04 18:27	144
	ax77.p	2024-10-04 18:27	155
	ax78.p	2024-10-04 18:27	156
	ax79.p	2024-10-04 18:27	156
	ax80.p	2024-10-04 18:27	161
	ax81.p	2024-10-04 18:27	161
	ax82.p	2024-10-04 18:27	162
	ax83.p	2024-10-04 18:27	166
	ax84.p	2024-10-04 18:27	146
	ax85.p	2024-10-04 18:27	169
	ax86.p	2024-10-04 18:27	162
	babureadsecret.p	2024-10-04 18:27	160