Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/PUZ018-2/VerificationProblems/E-SAT---3.0

	Name	Last modified	Size	Description
	Parent Directory		-
	not_on_for_3_days.p	2024-10-04 18:34	237
	all_on_one_day.p	2024-10-04 18:34	218
	no_two_off_twice_together.p	2024-10-04 18:34	213
	all_on_well_defined.p	2024-10-04 18:34	160
	all_on.p	2024-10-04 18:34	143
	thursday_follows_wednesday.p	2024-10-04 18:34	137
	wednesday_follows_tuesday.p	2024-10-04 18:34	135
	wednesday_not_thursday.p	2024-10-04 18:34	132
	wednesday_not_saturday.p	2024-10-04 18:34	132
	sunday_follows_saturday.p	2024-10-04 18:34	131
	staurday_follows_friday.p	2024-10-04 18:34	131
	reflexivity_for_same_person.p	2024-10-04 18:34	131
	friday_follows_thursday.p	2024-10-04 18:34	131
	tuesday_not_wednesday.p	2024-10-04 18:34	130
	thursday_not_saturday.p	2024-10-04 18:34	130
	tuesday_follows_monday.p	2024-10-04 18:34	129
	wednesday_not_friday.p	2024-10-04 18:34	128
	tuesday_not_thursday.p	2024-10-04 18:34	128
	tuesday_not_saturday.p	2024-10-04 18:34	128
	sunday_not_wednesday.p	2024-10-04 18:34	128
	monday_not_wednesday.p	2024-10-04 18:34	128
	monday_follows_sunday.p	2024-10-04 18:34	127
	thursday_not_friday.p	2024-10-04 18:34	126
	sunday_not_thursday.p	2024-10-04 18:34	126
	sunday_not_saturday.p	2024-10-04 18:34	126
	monday_not_thursday.p	2024-10-04 18:34	126
	monday_not_saturday.p	2024-10-04 18:34	126
	friday_not_saturday.p	2024-10-04 18:34	126
	reflexivity_for_same_day.p	2024-10-04 18:34	125
	tuesday_not_friday.p	2024-10-04 18:34	124
	sunday_not_tuesday.p	2024-10-04 18:34	124
	monday_not_tuesday.p	2024-10-04 18:34	124
	all_on_c_on.p	2024-10-04 18:34	124
	all_on_b_on.p	2024-10-04 18:34	124
	all_on_a_on.p	2024-10-04 18:34	124
	sunday_not_monday.p	2024-10-04 18:34	122
	sunday_not_friday.p	2024-10-04 18:34	122
	monday_not_friday.p	2024-10-04 18:34	122
	b_off_thursday.p	2024-10-04 18:34	110
	b_off_saturday.p	2024-10-04 18:34	110
	a_off_thursday.p	2024-10-04 18:34	110
	a_off_tuesday.p	2024-10-04 18:34	108
	c_off_sunday.p	2024-10-04 18:34	106
	a_off_sunday.p	2024-10-04 18:34	106
	b_not_c.p	2024-10-04 18:34	105
	a_not_c.p	2024-10-04 18:34	105
	a_not_b.p	2024-10-04 18:34	105