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

	Name	Last modified	Size	Description
	Parent Directory		-
	klh.p	2024-10-04 18:22	112
	ld__d_h.p	2024-10-04 18:22	125
	ld__lilly_h.p	2024-10-04 18:22	133
	ld__g.p	2024-10-04 18:22	197
	ld__aparna_a.p	2024-10-04 18:22	122
	ld__lilly_b.p	2024-10-04 18:22	120
	ld__k_w.p	2024-10-04 18:22	112
	ld__cow_b.p	2024-10-04 18:22	116
	ld__pig_c.p	2024-10-04 18:22	116
	ld__hill_pet.p	2024-10-04 18:22	135
	ld__aparna_b.p	2024-10-04 18:22	122
	ld__horse_lkg.p	2024-10-04 18:22	124
	ld__h.p	2024-10-04 18:22	155
	hgk.p	2024-10-04 18:22	115
	ld__hill_w.p	2024-10-04 18:22	118
	ld__horse_hill.p	2024-10-04 18:22	126
	ld__aparna_w.p	2024-10-04 18:22	122
	hgg.p	2024-10-04 18:22	120
	ld__cow_hill.p	2024-10-04 18:22	122
	ld__cow_c.p	2024-10-04 18:22	116
	ld__g_h.p	2024-10-04 18:22	150
	ld__horse_b.p	2024-10-04 18:22	120
	ld__b_g.p	2024-10-04 18:22	137
	ld__d_g.p	2024-10-04 18:22	137
	ld__lilly_k.p	2024-10-04 18:22	120
	ld__k_h.p	2024-10-04 18:22	125
	ld__lilly_c.p	2024-10-04 18:22	120
	ld__lkg_hill.p	2024-10-04 18:22	122
	ld__pig_a.p	2024-10-04 18:22	116
	ld__b_c.p	2024-10-04 18:22	112
	ld__aparna_c.p	2024-10-04 18:22	122
	ld__aparna_g.p	2024-10-04 18:22	147
	pig.p	2024-10-04 18:22	110
	ld__cow_h.p	2024-10-04 18:22	129
	ld__horse_k.p	2024-10-04 18:22	120
	ld__d_a.p	2024-10-04 18:22	112
	ld__pig_k.p	2024-10-04 18:22	116
	ld__e_w.p	2024-10-04 18:22	112
	no_more_answers.p	2024-10-04 18:22	421
	ld__d_e.p	2024-10-04 18:22	112
	ld__c_g.p	2024-10-04 18:22	137
	ld__pig_d.p	2024-10-04 18:22	116
	horse.p	2024-10-04 18:22	114
	ld__cow_k.p	2024-10-04 18:22	116
	ld__c_h.p	2024-10-04 18:22	125
	ld__horse_c.p	2024-10-04 18:22	120
	ld__d_c.p	2024-10-04 18:22	112
	ld__h_pet.p	2024-10-04 18:22	142
	ld__pig_b.p	2024-10-04 18:22	116
	ld__cow_w.p	2024-10-04 18:22	116
	ld__hill_g.p	2024-10-04 18:22	143
	ld__horse_g.p	2024-10-04 18:22	145
	ld__w_b.p	2024-10-04 18:22	112
	ld__k_c.p	2024-10-04 18:22	112
	ld__lkg_g.p	2024-10-04 18:22	141
	ld__symmetry.p	2024-10-04 18:22	150
	ld__g_pet.p	2024-10-04 18:22	154
	ld__aparna_e.p	2024-10-04 18:22	122
	ld__hill_d.p	2024-10-04 18:22	118
	ld__a_g.p	2024-10-04 18:22	137
	ld__lkg_b.p	2024-10-04 18:22	116
	ld__aparna_k.p	2024-10-04 18:22	122
	ld__pig_lkg.p	2024-10-04 18:22	120
	ld__lilly_a.p	2024-10-04 18:22	120
	ld__a_c.p	2024-10-04 18:22	112
	ld__cow_d.p	2024-10-04 18:22	116
	ld__e_c.p	2024-10-04 18:22	112
	aaa.p	2024-10-04 18:22	107
	ld__lkg_e.p	2024-10-04 18:22	116
	ld__k_d.p	2024-10-04 18:22	112
	ld__pig_h.p	2024-10-04 18:22	129
	ld__k_g.p	2024-10-04 18:22	137
	ld__pig_g.p	2024-10-04 18:22	141
	ld__pig_hill.p	2024-10-04 18:22	122
	ld__horse_d.p	2024-10-04 18:22	120
	ld__cow_lkg.p	2024-10-04 18:22	120
	ld__lilly_w.p	2024-10-04 18:22	120
	ld__lilly_d.p	2024-10-04 18:22	120
	ld__aparna_hill.p	2024-10-04 18:22	128
	pet.p	2024-10-04 18:22	118
	ld__hill_c.p	2024-10-04 18:22	118
	ld__pig_w.p	2024-10-04 18:22	116
	ld__cow_e.p	2024-10-04 18:22	116
	ld__cow_a.p	2024-10-04 18:22	116
	ld__lkg_a.p	2024-10-04 18:22	116
	ld__lkg_w.p	2024-10-04 18:22	116
	ld__lilly_lkg.p	2024-10-04 18:22	124
	ld__w_pet.p	2024-10-04 18:22	129
	ld__hill_k.p	2024-10-04 18:22	118
	ld__w_h.p	2024-10-04 18:22	125
	ld__hill_e.p	2024-10-04 18:22	118
	ld__hill_a.p	2024-10-04 18:22	118
	ld__e_h.p	2024-10-04 18:22	125
	ld__lilly_e.p	2024-10-04 18:22	120
	ld__hill_b.p	2024-10-04 18:22	118
	ld__aparna_d.p	2024-10-04 18:22	122
	ld__aparna_lkg.p	2024-10-04 18:22	126
	ld__a_h.p	2024-10-04 18:22	125
	ld__horse_w.p	2024-10-04 18:22	120
	cow.p	2024-10-04 18:22	110
	ld__d_pet.p	2024-10-04 18:22	129
	ld__w_a.p	2024-10-04 18:22	112
	ld__pig_e.p	2024-10-04 18:22	116
	abc.p	2024-10-04 18:22	107
	ld__horse_a.p	2024-10-04 18:22	120
	ld__lkg_h.p	2024-10-04 18:22	129
	ld__w_g.p	2024-10-04 18:22	137
	ld__a_b.p	2024-10-04 18:22	112
	ld__e_b.p	2024-10-04 18:22	112
	ld__w_c.p	2024-10-04 18:22	112
	ld__k_a.p	2024-10-04 18:22	112
	ld__e_g.p	2024-10-04 18:22	137
	ld__lkg_c.p	2024-10-04 18:22	116
	ld__k_b.p	2024-10-04 18:22	112
	ld__lilly_g.p	2024-10-04 18:22	145
	ld__c_pet.p	2024-10-04 18:22	129
	gwb.p	2024-10-04 18:22	112
	lilly.p	2024-10-04 18:22	114
	ld__b_h.p	2024-10-04 18:22	125
	ld__hill_h.p	2024-10-04 18:22	131
	ld__k_e.p	2024-10-04 18:22	112
	ld__e_pet.p	2024-10-04 18:22	129
	ld__k_pet.p	2024-10-04 18:22	129
	ld__cow_g.p	2024-10-04 18:22	141
	ld__aparna_h.p	2024-10-04 18:22	135
	ld__lkg_pet.p	2024-10-04 18:22	133
	ld__horse_e.p	2024-10-04 18:22	120
	ld__a_pet.p	2024-10-04 18:22	129
	ld__e_a.p	2024-10-04 18:22	112
	ld__horse_h.p	2024-10-04 18:22	133
	ld__b_pet.p	2024-10-04 18:22	129
	ld__lilly_hill.p	2024-10-04 18:22	126
	ld__lkg_k.p	2024-10-04 18:22	116
	ld__lkg_d.p	2024-10-04 18:22	116
	ld__d_b.p	2024-10-04 18:22	112
	ld__d_w.p	2024-10-04 18:22	112