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

	Name	Last modified	Size	Description
	Parent Directory		-
	ax40.p	2024-10-04 18:29	116
	ax41.p	2024-10-04 18:29	116
	ax44.p	2024-10-04 18:29	116
	ax45.p	2024-10-04 18:29	116
	ax48.p	2024-10-04 18:29	116
	ax51.p	2024-10-04 18:29	116
	ax42.p	2024-10-04 18:29	118
	ax43.p	2024-10-04 18:29	118
	ax46.p	2024-10-04 18:29	118
	ax47.p	2024-10-04 18:29	118
	ax49.p	2024-10-04 18:29	118
	ax50.p	2024-10-04 18:29	118
	ax53.p	2024-10-04 18:29	118
	ax54.p	2024-10-04 18:29	118
	ax52.p	2024-10-04 18:29	120
	ax139.p	2024-10-04 18:29	122
	ax140.p	2024-10-04 18:29	122
	ax141.p	2024-10-04 18:29	122
	ax142.p	2024-10-04 18:29	122
	ax13.p	2024-10-04 18:29	124
	ax14.p	2024-10-04 18:29	124
	ax15.p	2024-10-04 18:29	124
	ax18.p	2024-10-04 18:29	124
	ax21.p	2024-10-04 18:29	124
	ax22.p	2024-10-04 18:29	124
	ax23.p	2024-10-04 18:29	124
	ax26.p	2024-10-04 18:29	124
	ax28.p	2024-10-04 18:29	124
	ax29.p	2024-10-04 18:29	124
	ax30.p	2024-10-04 18:29	124
	ax33.p	2024-10-04 18:29	124
	ax34.p	2024-10-04 18:29	124
	ax35.p	2024-10-04 18:29	124
	ax36.p	2024-10-04 18:29	124
	ax39.p	2024-10-04 18:29	124
	ax78.p	2024-10-04 18:29	125
	ax4.p	2024-10-04 18:29	126
	ax5.p	2024-10-04 18:29	126
	ax6.p	2024-10-04 18:29	126
	ax9.p	2024-10-04 18:29	126
	ax16.p	2024-10-04 18:29	126
	ax17.p	2024-10-04 18:29	126
	ax24.p	2024-10-04 18:29	126
	ax25.p	2024-10-04 18:29	126
	ax31.p	2024-10-04 18:29	126
	ax32.p	2024-10-04 18:29	126
	ax37.p	2024-10-04 18:29	126
	ax38.p	2024-10-04 18:29	126
	ax87.p	2024-10-04 18:29	126
	ax7.p	2024-10-04 18:29	128
	ax8.p	2024-10-04 18:29	128
	ax120.p	2024-10-04 18:29	130
	ax121.p	2024-10-04 18:29	130
	ax122.p	2024-10-04 18:29	130
	ax123.p	2024-10-04 18:29	130
	ax10.p	2024-10-04 18:29	132
	ax11.p	2024-10-04 18:29	132
	ax12.p	2024-10-04 18:29	132
	ax19.p	2024-10-04 18:29	132
	ax20.p	2024-10-04 18:29	132
	ax27.p	2024-10-04 18:29	132
	ax124.p	2024-10-04 18:29	133
	ax0.p	2024-10-04 18:29	134
	ax1.p	2024-10-04 18:29	134
	ax2.p	2024-10-04 18:29	134
	ax3.p	2024-10-04 18:29	134
	ax143.p	2024-10-04 18:29	148
	co0.p	2024-10-04 18:29	155
	ax144.p	2024-10-04 18:29	159
	ax71.p	2024-10-04 18:29	176
	ax74.p	2024-10-04 18:29	191
	ax76.p	2024-10-04 18:29	191
	ax80.p	2024-10-04 18:29	193
	ax90.p	2024-10-04 18:29	193
	ax91.p	2024-10-04 18:29	193
	ax92.p	2024-10-04 18:29	193
	ax93.p	2024-10-04 18:29	193
	ax75.p	2024-10-04 18:29	194
	ax88.p	2024-10-04 18:29	194
	ax89.p	2024-10-04 18:29	194
	ax94.p	2024-10-04 18:29	194
	ax95.p	2024-10-04 18:29	194
	ax96.p	2024-10-04 18:29	194
	ax105.p	2024-10-04 18:29	194
	ax145.p	2024-10-04 18:29	198
	ax72.p	2024-10-04 18:29	201
	ax79.p	2024-10-04 18:29	202
	ax114.p	2024-10-04 18:29	202
	ax115.p	2024-10-04 18:29	202
	ax116.p	2024-10-04 18:29	202
	ax117.p	2024-10-04 18:29	202
	ax118.p	2024-10-04 18:29	202
	ax119.p	2024-10-04 18:29	202
	ax81.p	2024-10-04 18:29	203
	ax82.p	2024-10-04 18:29	203
	ax97.p	2024-10-04 18:29	203
	ax102.p	2024-10-04 18:29	203
	ax103.p	2024-10-04 18:29	203
	ax104.p	2024-10-04 18:29	203
	ax77.p	2024-10-04 18:29	204
	ax135.p	2024-10-04 18:29	208
	ax136.p	2024-10-04 18:29	208
	ax70.p	2024-10-04 18:29	210
	ax73.p	2024-10-04 18:29	210
	ax58.p	2024-10-04 18:29	215
	ax67.p	2024-10-04 18:29	216
	ax137.p	2024-10-04 18:29	226
	ax132.p	2024-10-04 18:29	234
	ax138.p	2024-10-04 18:29	235
	ax134.p	2024-10-04 18:29	239
	ax131.p	2024-10-04 18:29	243
	ax133.p	2024-10-04 18:29	243
	ax85.p	2024-10-04 18:29	245
	ax86.p	2024-10-04 18:29	245
	ax100.p	2024-10-04 18:29	247
	ax110.p	2024-10-04 18:29	248
	ax111.p	2024-10-04 18:29	248
	ax112.p	2024-10-04 18:29	248
	ax113.p	2024-10-04 18:29	248
	ax84.p	2024-10-04 18:29	251
	ax99.p	2024-10-04 18:29	255
	ax109.p	2024-10-04 18:29	257
	ax68.p	2024-10-04 18:29	259
	ax128.p	2024-10-04 18:29	260
	ax69.p	2024-10-04 18:29	261
	ax66.p	2024-10-04 18:29	262
	ax101.p	2024-10-04 18:29	265
	ax65.p	2024-10-04 18:29	268
	ax57.p	2024-10-04 18:29	269
	ax129.p	2024-10-04 18:29	269
	ax64.p	2024-10-04 18:29	276
	ax126.p	2024-10-04 18:29	287
	ax127.p	2024-10-04 18:29	287
	ax130.p	2024-10-04 18:29	292
	ax56.p	2024-10-04 18:29	296
	ax63.p	2024-10-04 18:29	296
	ax108.p	2024-10-04 18:29	301
	ax83.p	2024-10-04 18:29	303
	ax98.p	2024-10-04 18:29	304
	ax62.p	2024-10-04 18:29	315
	ax61.p	2024-10-04 18:29	322
	ax60.p	2024-10-04 18:29	338
	ax55.p	2024-10-04 18:29	341
	ax59.p	2024-10-04 18:29	342
	ax125.p	2024-10-04 18:29	354
	ax107.p	2024-10-04 18:29	363
	ax106.p	2024-10-04 18:29	416
	ax149.p	2024-10-04 18:29	425
	ax148.p	2024-10-04 18:29	479
	ax146.p	2024-10-04 18:29	601
	ax147.p	2024-10-04 18:29	842