Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/KRS041+1/VerificationProblems/iProver-SAT---3.7

	Name	Last modified	Size	Description
	Parent Directory		-
	axiom_0.p	2024-10-04 18:27	136
	axiom_1.p	2024-10-04 18:27	139
	axiom_2.p	2024-10-04 18:27	154
	axiom_3.p	2024-10-04 18:27	154
	axiom_4.p	2024-10-04 18:27	155
	axiom_5.p	2024-10-04 18:27	157
	axiom_6.p	2024-10-04 18:27	156
	axiom_7.p	2024-10-04 18:27	156
	axiom_8.p	2024-10-04 18:27	155
	axiom_9.p	2024-10-04 18:27	155
	axiom_10.p	2024-10-04 18:27	156
	axiom_11.p	2024-10-04 18:27	156
	axiom_12.p	2024-10-04 18:27	157
	axiom_13.p	2024-10-04 18:27	156
	axiom_14.p	2024-10-04 18:27	157
	axiom_15.p	2024-10-04 18:27	156
	axiom_16.p	2024-10-04 18:27	157
	axiom_17.p	2024-10-04 18:27	157
	axiom_18.p	2024-10-04 18:27	158
	axiom_19.p	2024-10-04 18:27	156
	axiom_20.p	2024-10-04 18:27	158
	axiom_21.p	2024-10-04 18:27	155
	axiom_22.p	2024-10-04 18:27	155
	axiom_23.p	2024-10-04 18:27	158
	axiom_24.p	2024-10-04 18:27	156
	axiom_25.p	2024-10-04 18:27	157
	axiom_26.p	2024-10-04 18:27	157
	axiom_27.p	2024-10-04 18:27	156
	axiom_28.p	2024-10-04 18:27	157
	axiom_29.p	2024-10-04 18:27	156
	axiom_30.p	2024-10-04 18:27	156
	axiom_31.p	2024-10-04 18:27	157
	axiom_32.p	2024-10-04 18:27	156
	axiom_33.p	2024-10-04 18:27	157
	axiom_34.p	2024-10-04 18:27	156
	axiom_35.p	2024-10-04 18:27	156
	axiom_36.p	2024-10-04 18:27	158
	axiom_37.p	2024-10-04 18:27	156
	axiom_38.p	2024-10-04 18:27	157
	axiom_39.p	2024-10-04 18:27	157
	axiom_40.p	2024-10-04 18:27	156
	axiom_41.p	2024-10-04 18:27	157
	axiom_42.p	2024-10-04 18:27	157
	axiom_43.p	2024-10-04 18:27	156
	axiom_44.p	2024-10-04 18:27	157
	axiom_45.p	2024-10-04 18:27	155
	axiom_46.p	2024-10-04 18:27	156
	axiom_47.p	2024-10-04 18:27	124
	axiom_48.p	2024-10-04 18:27	130
	axiom_49.p	2024-10-04 18:27	130
	axiom_50.p	2024-10-04 18:27	130
	axiom_51.p	2024-10-04 18:27	130
	axiom_52.p	2024-10-04 18:27	130
	axiom_53.p	2024-10-04 18:27	130
	axiom_54.p	2024-10-04 18:27	130
	axiom_55.p	2024-10-04 18:27	130
	axiom_56.p	2024-10-04 18:27	130