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

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