Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/SYN036-2/VerificationProblems/Vampire-SAT---4.7

	Name	Last modified	Size	Description
	Parent Directory		-
	clause_1.p	2024-10-04 18:22	250
	clause_2.p	2024-10-04 18:22	232
	clause_3.p	2024-10-04 18:22	254
	clause_4.p	2024-10-04 18:22	236
	clause_5.p	2024-10-04 18:22	237
	clause_6.p	2024-10-04 18:22	242
	clause_7.p	2024-10-04 18:22	237
	clause_8.p	2024-10-04 18:22	242
	clause_9.p	2024-10-04 18:22	236
	clause_10.p	2024-10-04 18:22	219
	clause_11.p	2024-10-04 18:22	241
	clause_12.p	2024-10-04 18:22	223
	clause_13.p	2024-10-04 18:22	224
	clause_14.p	2024-10-04 18:22	229
	clause_15.p	2024-10-04 18:22	224
	clause_16.p	2024-10-04 18:22	229
	clause_17.p	2024-10-04 18:22	255
	clause_18.p	2024-10-04 18:22	237
	clause_19.p	2024-10-04 18:22	259
	clause_20.p	2024-10-04 18:22	241
	clause_21.p	2024-10-04 18:22	242
	clause_22.p	2024-10-04 18:22	247
	clause_23.p	2024-10-04 18:22	242
	clause_24.p	2024-10-04 18:22	247
	clause_25.p	2024-10-04 18:22	241
	clause_26.p	2024-10-04 18:22	223
	clause_27.p	2024-10-04 18:22	245
	clause_28.p	2024-10-04 18:22	227
	clause_29.p	2024-10-04 18:22	228
	clause_30.p	2024-10-04 18:22	233
	clause_31.p	2024-10-04 18:22	228
	clause_32.p	2024-10-04 18:22	233
	clause_33.p	2024-10-04 18:22	243
	clause_34.p	2024-10-04 18:22	225
	clause_35.p	2024-10-04 18:22	247
	clause_36.p	2024-10-04 18:22	229
	clause_37.p	2024-10-04 18:22	230
	clause_38.p	2024-10-04 18:22	235
	clause_39.p	2024-10-04 18:22	230
	clause_40.p	2024-10-04 18:22	235
	clause_41.p	2024-10-04 18:22	247
	clause_42.p	2024-10-04 18:22	229
	clause_43.p	2024-10-04 18:22	251
	clause_44.p	2024-10-04 18:22	233
	clause_45.p	2024-10-04 18:22	234
	clause_46.p	2024-10-04 18:22	239
	clause_47.p	2024-10-04 18:22	234
	clause_48.p	2024-10-04 18:22	239
	clause_49.p	2024-10-04 18:22	243
	clause_50.p	2024-10-04 18:22	225
	clause_51.p	2024-10-04 18:22	247
	clause_52.p	2024-10-04 18:22	229
	clause_53.p	2024-10-04 18:22	230
	clause_54.p	2024-10-04 18:22	235
	clause_55.p	2024-10-04 18:22	230
	clause_56.p	2024-10-04 18:22	235
	clause_57.p	2024-10-04 18:22	247
	clause_58.p	2024-10-04 18:22	229
	clause_59.p	2024-10-04 18:22	251
	clause_60.p	2024-10-04 18:22	233
	clause_61.p	2024-10-04 18:22	234
	clause_62.p	2024-10-04 18:22	239
	clause_63.p	2024-10-04 18:22	234
	clause_64.p	2024-10-04 18:22	239
	clause_65.p	2024-10-04 18:22	262
	clause_66.p	2024-10-04 18:22	242
	clause_67.p	2024-10-04 18:22	262
	clause_68.p	2024-10-04 18:22	242
	clause_69.p	2024-10-04 18:22	252
	clause_70.p	2024-10-04 18:22	256
	clause_71.p	2024-10-04 18:22	256
	clause_72.p	2024-10-04 18:22	260
	clause_73.p	2024-10-04 18:22	246
	clause_74.p	2024-10-04 18:22	226
	clause_75.p	2024-10-04 18:22	246
	clause_76.p	2024-10-04 18:22	226
	clause_77.p	2024-10-04 18:22	236
	clause_78.p	2024-10-04 18:22	240
	clause_79.p	2024-10-04 18:22	240
	clause_80.p	2024-10-04 18:22	244
	clause_81.p	2024-10-04 18:22	262
	clause_82.p	2024-10-04 18:22	242
	clause_83.p	2024-10-04 18:22	262
	clause_84.p	2024-10-04 18:22	242
	clause_85.p	2024-10-04 18:22	252
	clause_86.p	2024-10-04 18:22	256
	clause_87.p	2024-10-04 18:22	256
	clause_88.p	2024-10-04 18:22	260
	clause_89.p	2024-10-04 18:22	246
	clause_90.p	2024-10-04 18:22	226
	clause_91.p	2024-10-04 18:22	246
	clause_92.p	2024-10-04 18:22	226
	clause_93.p	2024-10-04 18:22	236
	clause_94.p	2024-10-04 18:22	240
	clause_95.p	2024-10-04 18:22	240
	clause_96.p	2024-10-04 18:22	244
	clause_97.p	2024-10-04 18:22	255
	clause_98.p	2024-10-04 18:22	235
	clause_99.p	2024-10-04 18:22	255
	clause_100.p	2024-10-04 18:22	236
	clause_101.p	2024-10-04 18:22	246
	clause_102.p	2024-10-04 18:22	250
	clause_103.p	2024-10-04 18:22	250
	clause_104.p	2024-10-04 18:22	254
	clause_105.p	2024-10-04 18:22	260
	clause_106.p	2024-10-04 18:22	240
	clause_107.p	2024-10-04 18:22	260
	clause_108.p	2024-10-04 18:22	240
	clause_109.p	2024-10-04 18:22	250
	clause_110.p	2024-10-04 18:22	254
	clause_111.p	2024-10-04 18:22	254
	clause_112.p	2024-10-04 18:22	258
	clause_113.p	2024-10-04 18:22	260
	clause_114.p	2024-10-04 18:22	240
	clause_115.p	2024-10-04 18:22	260
	clause_116.p	2024-10-04 18:22	240
	clause_117.p	2024-10-04 18:22	250
	clause_118.p	2024-10-04 18:22	254
	clause_119.p	2024-10-04 18:22	254
	clause_120.p	2024-10-04 18:22	258
	clause_121.p	2024-10-04 18:22	264
	clause_122.p	2024-10-04 18:22	244
	clause_123.p	2024-10-04 18:22	264
	clause_124.p	2024-10-04 18:22	244
	clause_125.p	2024-10-04 18:22	254
	clause_126.p	2024-10-04 18:22	258
	clause_127.p	2024-10-04 18:22	258
	clause_128.p	2024-10-04 18:22	262