Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/SYN720-1/VerificationProblems/E-SAT---3.0

	Name	Last modified	Size	Description
	Parent Directory		-
	rule_214.p	2024-10-04 18:27	107
	rule_227.p	2024-10-04 18:27	175
	rule_260.p	2024-10-04 18:27	139
	rule_173.p	2024-10-04 18:27	137
	rule_115.p	2024-10-04 18:27	107
	rule_047.p	2024-10-04 18:27	151
	rule_263.p	2024-10-04 18:27	145
	rule_168.p	2024-10-04 18:27	145
	rule_252.p	2024-10-04 18:27	149
	rule_180.p	2024-10-04 18:27	133
	rule_165.p	2024-10-04 18:27	153
	rule_280.p	2024-10-04 18:27	155
	rule_037.p	2024-10-04 18:27	157
	rule_024.p	2024-10-04 18:27	165
	rule_087.p	2024-10-04 18:27	121
	rule_103.p	2024-10-04 18:27	123
	axiom_23.p	2024-10-04 18:27	97
	rule_150.p	2024-10-04 18:27	131
	rule_253.p	2024-10-04 18:27	109
	rule_072.p	2024-10-04 18:27	137
	rule_234.p	2024-10-04 18:27	133
	rule_257.p	2024-10-04 18:27	159
	axiom_13.p	2024-10-04 18:27	93
	rule_133.p	2024-10-04 18:27	167
	rule_055.p	2024-10-04 18:27	133
	rule_025.p	2024-10-04 18:27	139
	rule_175.p	2024-10-04 18:27	129
	rule_139.p	2024-10-04 18:27	115
	rule_303.p	2024-10-04 18:27	147
	rule_283.p	2024-10-04 18:27	121
	rule_213.p	2024-10-04 18:27	149
	rule_152.p	2024-10-04 18:27	165
	rule_324.p	2024-10-04 18:27	117
	rule_301.p	2024-10-04 18:27	117
	rule_308.p	2024-10-04 18:27	141
	rule_071.p	2024-10-04 18:27	167
	rule_161.p	2024-10-04 18:27	111
	rule_052.p	2024-10-04 18:27	171
	rule_192.p	2024-10-04 18:27	169
	rule_074.p	2024-10-04 18:27	139
	rule_156.p	2024-10-04 18:27	145
	rule_080.p	2024-10-04 18:27	169
	rule_138.p	2024-10-04 18:27	145
	rule_091.p	2024-10-04 18:27	177
	rule_107.p	2024-10-04 18:27	137
	rule_239.p	2024-10-04 18:27	109
	rule_226.p	2024-10-04 18:27	175
	rule_201.p	2024-10-04 18:27	167
	rule_013.p	2024-10-04 18:27	129
	rule_023.p	2024-10-04 18:27	117
	rule_043.p	2024-10-04 18:27	131
	rule_112.p	2024-10-04 18:27	129
	rule_003.p	2024-10-04 18:27	167
	rule_111.p	2024-10-04 18:27	125
	rule_223.p	2024-10-04 18:27	107
	rule_296.p	2024-10-04 18:27	155
	axiom_24.p	2024-10-04 18:27	93
	rule_319.p	2024-10-04 18:27	163
	rule_160.p	2024-10-04 18:27	153
	rule_100.p	2024-10-04 18:27	129
	rule_185.p	2024-10-04 18:27	163
	rule_292.p	2024-10-04 18:27	165
	rule_304.p	2024-10-04 18:27	117
	rule_238.p	2024-10-04 18:27	123
	rule_275.p	2024-10-04 18:27	157
	rule_031.p	2024-10-04 18:27	153
	rule_038.p	2024-10-04 18:27	133
	rule_029.p	2024-10-04 18:27	139
	rule_278.p	2024-10-04 18:27	137
	rule_240.p	2024-10-04 18:27	135
	rule_169.p	2024-10-04 18:27	153
	rule_016.p	2024-10-04 18:27	161
	rule_218.p	2024-10-04 18:27	117
	rule_041.p	2024-10-04 18:27	133
	axiom_5.p	2024-10-04 18:27	92
	rule_233.p	2024-10-04 18:27	137
	rule_312.p	2024-10-04 18:27	121
	rule_135.p	2024-10-04 18:27	143
	axiom_16.p	2024-10-04 18:27	97
	rule_093.p	2024-10-04 18:27	129
	rule_325.p	2024-10-04 18:27	119
	rule_078.p	2024-10-04 18:27	123
	rule_018.p	2024-10-04 18:27	149
	rule_026.p	2024-10-04 18:27	149
	rule_004.p	2024-10-04 18:27	147
	rule_196.p	2024-10-04 18:27	153
	axiom_38.p	2024-10-04 18:27	97
	rule_007.p	2024-10-04 18:27	147
	rule_183.p	2024-10-04 18:27	149
	rule_309.p	2024-10-04 18:27	127
	rule_110.p	2024-10-04 18:27	139
	rule_106.p	2024-10-04 18:27	119
	rule_121.p	2024-10-04 18:27	139
	rule_276.p	2024-10-04 18:27	153
	rule_063.p	2024-10-04 18:27	139
	rule_235.p	2024-10-04 18:27	141
	rule_017.p	2024-10-04 18:27	139
	rule_151.p	2024-10-04 18:27	117
	rule_217.p	2024-10-04 18:27	127
	rule_166.p	2024-10-04 18:27	135
	rule_306.p	2024-10-04 18:27	135
	rule_204.p	2024-10-04 18:27	107
	rule_176.p	2024-10-04 18:27	131
	axiom_18.p	2024-10-04 18:27	95
	rule_271.p	2024-10-04 18:27	153
	rule_028.p	2024-10-04 18:27	143
	rule_146.p	2024-10-04 18:27	173
	rule_216.p	2024-10-04 18:27	151
	rule_109.p	2024-10-04 18:27	159
	rule_210.p	2024-10-04 18:27	119
	rule_082.p	2024-10-04 18:27	161
	axiom_11.p	2024-10-04 18:27	95
	rule_205.p	2024-10-04 18:27	131
	rule_049.p	2024-10-04 18:27	107
	rule_220.p	2024-10-04 18:27	137
	rule_182.p	2024-10-04 18:27	167
	axiom_4.p	2024-10-04 18:27	96
	rule_249.p	2024-10-04 18:27	129
	rule_221.p	2024-10-04 18:27	107
	rule_098.p	2024-10-04 18:27	149
	rule_002.p	2024-10-04 18:27	127
	axiom_14.p	2024-10-04 18:27	103
	rule_248.p	2024-10-04 18:27	141
	rule_199.p	2024-10-04 18:27	143
	rule_155.p	2024-10-04 18:27	149
	rule_105.p	2024-10-04 18:27	139
	rule_177.p	2024-10-04 18:27	141
	rule_120.p	2024-10-04 18:27	107
	rule_005.p	2024-10-04 18:27	131
	rule_084.p	2024-10-04 18:27	143
	rule_113.p	2024-10-04 18:27	149
	rule_255.p	2024-10-04 18:27	149
	rule_291.p	2024-10-04 18:27	131
	rule_060.p	2024-10-04 18:27	133
	rule_061.p	2024-10-04 18:27	129
	rule_001.p	2024-10-04 18:27	125
	rule_293.p	2024-10-04 18:27	161
	rule_284.p	2024-10-04 18:27	139
	rule_307.p	2024-10-04 18:27	189
	rule_202.p	2024-10-04 18:27	179
	rule_281.p	2024-10-04 18:27	141
	rule_230.p	2024-10-04 18:27	133
	axiom_6.p	2024-10-04 18:27	94
	rule_036.p	2024-10-04 18:27	131
	axiom_17.p	2024-10-04 18:27	103
	rule_092.p	2024-10-04 18:27	157
	rule_158.p	2024-10-04 18:27	173
	rule_242.p	2024-10-04 18:27	149
	axiom_3.p	2024-10-04 18:27	94
	rule_119.p	2024-10-04 18:27	129
	rule_027.p	2024-10-04 18:27	121
	rule_181.p	2024-10-04 18:27	123
	rule_290.p	2024-10-04 18:27	153
	rule_231.p	2024-10-04 18:27	139
	rule_212.p	2024-10-04 18:27	119
	rule_237.p	2024-10-04 18:27	133
	rule_163.p	2024-10-04 18:27	143
	rule_215.p	2024-10-04 18:27	139
	rule_053.p	2024-10-04 18:27	133
	rule_096.p	2024-10-04 18:27	187
	rule_059.p	2024-10-04 18:27	161
	rule_145.p	2024-10-04 18:27	141
	rule_076.p	2024-10-04 18:27	121
	rule_208.p	2024-10-04 18:27	131
	rule_179.p	2024-10-04 18:27	141
	rule_008.p	2024-10-04 18:27	107
	rule_270.p	2024-10-04 18:27	145
	rule_125.p	2024-10-04 18:27	117
	rule_108.p	2024-10-04 18:27	163
	rule_274.p	2024-10-04 18:27	127
	rule_170.p	2024-10-04 18:27	123
	rule_188.p	2024-10-04 18:27	125
	rule_056.p	2024-10-04 18:27	117
	rule_297.p	2024-10-04 18:27	121
	rule_123.p	2024-10-04 18:27	133
	rule_236.p	2024-10-04 18:27	119
	rule_193.p	2024-10-04 18:27	151
	rule_070.p	2024-10-04 18:27	109
	rule_315.p	2024-10-04 18:27	127
	rule_101.p	2024-10-04 18:27	145
	rule_246.p	2024-10-04 18:27	121
	rule_191.p	2024-10-04 18:27	113
	axiom_12.p	2024-10-04 18:27	105
	rule_314.p	2024-10-04 18:27	117
	rule_045.p	2024-10-04 18:27	109
	axiom_29.p	2024-10-04 18:27	95
	rule_317.p	2024-10-04 18:27	133
	rule_228.p	2024-10-04 18:27	159
	rule_030.p	2024-10-04 18:27	107
	rule_159.p	2024-10-04 18:27	119
	axiom_9.p	2024-10-04 18:27	92
	rule_022.p	2024-10-04 18:27	107
	rule_144.p	2024-10-04 18:27	157
	axiom_7.p	2024-10-04 18:27	94
	rule_114.p	2024-10-04 18:27	141
	rule_299.p	2024-10-04 18:27	155
	rule_186.p	2024-10-04 18:27	129
	rule_229.p	2024-10-04 18:27	111
	rule_211.p	2024-10-04 18:27	139
	axiom_30.p	2024-10-04 18:27	95
	rule_298.p	2024-10-04 18:27	163
	axiom_27.p	2024-10-04 18:27	97
	axiom_28.p	2024-10-04 18:27	93
	rule_164.p	2024-10-04 18:27	161
	rule_316.p	2024-10-04 18:27	161
	rule_062.p	2024-10-04 18:27	153
	rule_289.p	2024-10-04 18:27	169
	rule_137.p	2024-10-04 18:27	135
	rule_225.p	2024-10-04 18:27	183
	rule_245.p	2024-10-04 18:27	163
	rule_174.p	2024-10-04 18:27	129
	rule_142.p	2024-10-04 18:27	161
	rule_219.p	2024-10-04 18:27	157
	rule_034.p	2024-10-04 18:27	149
	rule_305.p	2024-10-04 18:27	129
	rule_136.p	2024-10-04 18:27	103
	rule_178.p	2024-10-04 18:27	151
	rule_130.p	2024-10-04 18:27	107
	rule_310.p	2024-10-04 18:27	157
	rule_209.p	2024-10-04 18:27	179
	rule_187.p	2024-10-04 18:27	181
	rule_097.p	2024-10-04 18:27	119
	rule_154.p	2024-10-04 18:27	123
	rule_126.p	2024-10-04 18:27	143
	rule_287.p	2024-10-04 18:27	131
	rule_200.p	2024-10-04 18:27	163
	rule_073.p	2024-10-04 18:27	159
	rule_148.p	2024-10-04 18:27	153
	rule_222.p	2024-10-04 18:27	149
	rule_069.p	2024-10-04 18:27	129
	axiom_15.p	2024-10-04 18:27	95
	rule_320.p	2024-10-04 18:27	147
	axiom_32.p	2024-10-04 18:27	93
	rule_197.p	2024-10-04 18:27	139
	rule_010.p	2024-10-04 18:27	153
	rule_302.p	2024-10-04 18:27	135
	rule_318.p	2024-10-04 18:27	139
	rule_058.p	2024-10-04 18:27	141
	rule_232.p	2024-10-04 18:27	131
	rule_266.p	2024-10-04 18:27	119
	rule_083.p	2024-10-04 18:27	141
	rule_085.p	2024-10-04 18:27	129
	rule_264.p	2024-10-04 18:27	119
	rule_224.p	2024-10-04 18:27	129
	rule_035.p	2024-10-04 18:27	137
	rule_243.p	2024-10-04 18:27	159
	rule_020.p	2024-10-04 18:27	107
	rule_149.p	2024-10-04 18:27	141
	rule_015.p	2024-10-04 18:27	149
	rule_051.p	2024-10-04 18:27	159
	rule_189.p	2024-10-04 18:27	129
	rule_194.p	2024-10-04 18:27	129
	rule_088.p	2024-10-04 18:27	107
	rule_054.p	2024-10-04 18:27	161
	rule_140.p	2024-10-04 18:27	147
	axiom_34.p	2024-10-04 18:27	95
	rule_141.p	2024-10-04 18:27	123
	rule_184.p	2024-10-04 18:27	131
	rule_077.p	2024-10-04 18:27	111
	rule_311.p	2024-10-04 18:27	109
	axiom_8.p	2024-10-04 18:27	96
	rule_267.p	2024-10-04 18:27	139
	rule_134.p	2024-10-04 18:27	163
	rule_050.p	2024-10-04 18:27	149
	rule_247.p	2024-10-04 18:27	159
	rule_327.p	2024-10-04 18:27	145
	rule_104.p	2024-10-04 18:27	177
	axiom_1.p	2024-10-04 18:27	92
	rule_251.p	2024-10-04 18:27	161
	rule_162.p	2024-10-04 18:27	151
	rule_064.p	2024-10-04 18:27	149
	rule_118.p	2024-10-04 18:27	153
	rule_075.p	2024-10-04 18:27	109
	rule_244.p	2024-10-04 18:27	119
	rule_046.p	2024-10-04 18:27	149
	rule_033.p	2024-10-04 18:27	151
	rule_321.p	2024-10-04 18:27	141
	rule_329.p	2024-10-04 18:27	133
	rule_086.p	2024-10-04 18:27	149
	rule_040.p	2024-10-04 18:27	141
	rule_269.p	2024-10-04 18:27	159
	rule_039.p	2024-10-04 18:27	131
	rule_294.p	2024-10-04 18:27	133
	rule_132.p	2024-10-04 18:27	119
	rule_241.p	2024-10-04 18:27	159
	rule_259.p	2024-10-04 18:27	161
	axiom_19.p	2024-10-04 18:27	113
	rule_250.p	2024-10-04 18:27	149
	axiom_20.p	2024-10-04 18:27	93
	rule_203.p	2024-10-04 18:27	133
	rule_262.p	2024-10-04 18:27	165
	rule_261.p	2024-10-04 18:27	161
	axiom_26.p	2024-10-04 18:27	95
	rule_295.p	2024-10-04 18:27	181
	rule_326.p	2024-10-04 18:27	119
	rule_066.p	2024-10-04 18:27	129
	rule_032.p	2024-10-04 18:27	119
	rule_147.p	2024-10-04 18:27	119
	rule_089.p	2024-10-04 18:27	155
	rule_265.p	2024-10-04 18:27	129
	rule_079.p	2024-10-04 18:27	139
	rule_273.p	2024-10-04 18:27	169
	axiom_22.p	2024-10-04 18:27	95
	rule_131.p	2024-10-04 18:27	149
	rule_128.p	2024-10-04 18:27	149
	axiom_37.p	2024-10-04 18:27	95
	rule_323.p	2024-10-04 18:27	105
	rule_195.p	2024-10-04 18:27	119
	rule_254.p	2024-10-04 18:27	137
	rule_171.p	2024-10-04 18:27	143
	axiom_10.p	2024-10-04 18:27	95
	rule_094.p	2024-10-04 18:27	127
	rule_258.p	2024-10-04 18:27	155
	rule_090.p	2024-10-04 18:27	117
	rule_048.p	2024-10-04 18:27	167
	rule_300.p	2024-10-04 18:27	145
	rule_067.p	2024-10-04 18:27	129
	rule_006.p	2024-10-04 18:27	131
	rule_330.p	2024-10-04 18:27	163
	rule_129.p	2024-10-04 18:27	129
	rule_012.p	2024-10-04 18:27	107
	rule_019.p	2024-10-04 18:27	161
	axiom_33.p	2024-10-04 18:27	95
	rule_167.p	2024-10-04 18:27	129
	rule_122.p	2024-10-04 18:27	131
	rule_042.p	2024-10-04 18:27	169
	rule_322.p	2024-10-04 18:27	135
	axiom_25.p	2024-10-04 18:27	95
	rule_206.p	2024-10-04 18:27	131
	rule_044.p	2024-10-04 18:27	149
	axiom_36.p	2024-10-04 18:27	95
	rule_068.p	2024-10-04 18:27	119
	rule_143.p	2024-10-04 18:27	123
	rule_117.p	2024-10-04 18:27	117
	rule_286.p	2024-10-04 18:27	147
	rule_256.p	2024-10-04 18:27	141
	rule_282.p	2024-10-04 18:27	123
	rule_127.p	2024-10-04 18:27	167
	rule_014.p	2024-10-04 18:27	139
	rule_095.p	2024-10-04 18:27	129
	axiom_21.p	2024-10-04 18:27	95
	rule_116.p	2024-10-04 18:27	119
	rule_207.p	2024-10-04 18:27	165
	rule_065.p	2024-10-04 18:27	153
	axiom_31.p	2024-10-04 18:27	97
	rule_268.p	2024-10-04 18:27	171
	rule_099.p	2024-10-04 18:27	159
	rule_011.p	2024-10-04 18:27	139
	rule_288.p	2024-10-04 18:27	161
	axiom_35.p	2024-10-04 18:27	97
	rule_021.p	2024-10-04 18:27	137
	rule_272.p	2024-10-04 18:27	161
	rule_081.p	2024-10-04 18:27	177
	rule_190.p	2024-10-04 18:27	113
	rule_009.p	2024-10-04 18:27	157
	rule_313.p	2024-10-04 18:27	127
	rule_124.p	2024-10-04 18:27	149
	rule_277.p	2024-10-04 18:27	135
	rule_153.p	2024-10-04 18:27	123
	rule_057.p	2024-10-04 18:27	119
	rule_328.p	2024-10-04 18:27	117
	rule_172.p	2024-10-04 18:27	111
	rule_157.p	2024-10-04 18:27	121
	rule_102.p	2024-10-04 18:27	137
	rule_198.p	2024-10-04 18:27	117
	axiom_2.p	2024-10-04 18:27	94
	rule_279.p	2024-10-04 18:27	147
	rule_285.p	2024-10-04 18:27	141