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

	Name	Last modified	Size	Description
	Parent Directory		-
	a_not_b.p	2024-10-04 18:34	111
	a_not_c.p	2024-10-04 18:34	111
	a_off_sunday.p	2024-10-04 18:34	112
	a_off_thursday.p	2024-10-04 18:34	116
	a_off_tuesday.p	2024-10-04 18:34	114
	all_on.p	2024-10-04 18:34	149
	all_on_a_on.p	2024-10-04 18:34	130
	all_on_b_on.p	2024-10-04 18:34	130
	all_on_c_on.p	2024-10-04 18:34	130
	all_on_one_day.p	2024-10-04 18:34	224
	all_on_well_defined.p	2024-10-04 18:34	166
	b_not_c.p	2024-10-04 18:34	111
	b_off_saturday.p	2024-10-04 18:34	116
	b_off_thursday.p	2024-10-04 18:34	116
	c_off_sunday.p	2024-10-04 18:34	112
	friday_follows_thursday.p	2024-10-04 18:34	137
	friday_not_saturday.p	2024-10-04 18:34	132
	monday_follows_sunday.p	2024-10-04 18:34	133
	monday_not_friday.p	2024-10-04 18:34	128
	monday_not_saturday.p	2024-10-04 18:34	132
	monday_not_thursday.p	2024-10-04 18:34	132
	monday_not_tuesday.p	2024-10-04 18:34	130
	monday_not_wednesday.p	2024-10-04 18:34	134
	no_two_off_twice_together.p	2024-10-04 18:34	219
	not_on_for_3_days.p	2024-10-04 18:34	243
	reflexivity_for_same_day.p	2024-10-04 18:34	131
	reflexivity_for_same_person.p	2024-10-04 18:34	137
	staurday_follows_friday.p	2024-10-04 18:34	137
	sunday_follows_saturday.p	2024-10-04 18:34	137
	sunday_not_friday.p	2024-10-04 18:34	128
	sunday_not_monday.p	2024-10-04 18:34	128
	sunday_not_saturday.p	2024-10-04 18:34	132
	sunday_not_thursday.p	2024-10-04 18:34	132
	sunday_not_tuesday.p	2024-10-04 18:34	130
	sunday_not_wednesday.p	2024-10-04 18:34	134
	thursday_follows_wednesday.p	2024-10-04 18:34	143
	thursday_not_friday.p	2024-10-04 18:34	132
	thursday_not_saturday.p	2024-10-04 18:34	136
	tuesday_follows_monday.p	2024-10-04 18:34	135
	tuesday_not_friday.p	2024-10-04 18:34	130
	tuesday_not_saturday.p	2024-10-04 18:34	134
	tuesday_not_thursday.p	2024-10-04 18:34	134
	tuesday_not_wednesday.p	2024-10-04 18:34	136
	wednesday_follows_tuesday.p	2024-10-04 18:34	141
	wednesday_not_friday.p	2024-10-04 18:34	134
	wednesday_not_saturday.p	2024-10-04 18:34	138
	wednesday_not_thursday.p	2024-10-04 18:34	138