Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/PUZ067+1/VerificationProblems/Vampire-SAT---4.7

	Name	Last modified	Size	Description
	Parent Directory		-
	ax353.p	2024-10-04 18:24	106
	ax354.p	2024-10-04 18:24	106
	ax355.p	2024-10-04 18:24	106
	ax356.p	2024-10-04 18:24	106
	ax357.p	2024-10-04 18:24	106
	ax358.p	2024-10-04 18:24	106
	ax359.p	2024-10-04 18:24	106
	ax360.p	2024-10-04 18:24	106
	ax361.p	2024-10-04 18:24	106
	ax362.p	2024-10-04 18:24	106
	ax363.p	2024-10-04 18:24	106
	ax364.p	2024-10-04 18:24	106
	ax365.p	2024-10-04 18:24	106
	ax366.p	2024-10-04 18:24	106
	ax367.p	2024-10-04 18:24	106
	ax368.p	2024-10-04 18:24	106
	ax369.p	2024-10-04 18:24	106
	ax2.p	2024-10-04 18:24	248
	ax3.p	2024-10-04 18:24	248
	ax4.p	2024-10-04 18:24	248
	ax5.p	2024-10-04 18:24	248
	ax6.p	2024-10-04 18:24	248
	ax7.p	2024-10-04 18:24	248
	ax8.p	2024-10-04 18:24	248
	ax9.p	2024-10-04 18:24	248
	ax10.p	2024-10-04 18:24	249
	ax12.p	2024-10-04 18:24	249
	ax13.p	2024-10-04 18:24	249
	ax14.p	2024-10-04 18:24	249
	ax15.p	2024-10-04 18:24	249
	ax16.p	2024-10-04 18:24	249
	ax17.p	2024-10-04 18:24	249
	ax18.p	2024-10-04 18:24	249
	ax19.p	2024-10-04 18:24	249
	ax20.p	2024-10-04 18:24	249
	ax22.p	2024-10-04 18:24	249
	ax23.p	2024-10-04 18:24	249
	ax24.p	2024-10-04 18:24	249
	ax25.p	2024-10-04 18:24	249
	ax26.p	2024-10-04 18:24	249
	ax27.p	2024-10-04 18:24	249
	ax28.p	2024-10-04 18:24	249
	ax29.p	2024-10-04 18:24	249
	ax30.p	2024-10-04 18:24	249
	ax32.p	2024-10-04 18:24	249
	ax33.p	2024-10-04 18:24	249
	ax34.p	2024-10-04 18:24	249
	ax35.p	2024-10-04 18:24	249
	ax36.p	2024-10-04 18:24	249
	ax37.p	2024-10-04 18:24	249
	ax38.p	2024-10-04 18:24	249
	ax39.p	2024-10-04 18:24	249
	ax40.p	2024-10-04 18:24	249
	ax42.p	2024-10-04 18:24	249
	ax43.p	2024-10-04 18:24	249
	ax44.p	2024-10-04 18:24	249
	ax45.p	2024-10-04 18:24	249
	ax46.p	2024-10-04 18:24	249
	ax47.p	2024-10-04 18:24	249
	ax48.p	2024-10-04 18:24	249
	ax49.p	2024-10-04 18:24	249
	ax50.p	2024-10-04 18:24	249
	ax52.p	2024-10-04 18:24	249
	ax53.p	2024-10-04 18:24	249
	ax54.p	2024-10-04 18:24	249
	ax55.p	2024-10-04 18:24	249
	ax56.p	2024-10-04 18:24	249
	ax57.p	2024-10-04 18:24	249
	ax58.p	2024-10-04 18:24	249
	ax59.p	2024-10-04 18:24	249
	ax60.p	2024-10-04 18:24	249
	ax62.p	2024-10-04 18:24	249
	ax63.p	2024-10-04 18:24	249
	ax64.p	2024-10-04 18:24	249
	ax65.p	2024-10-04 18:24	249
	ax66.p	2024-10-04 18:24	249
	ax67.p	2024-10-04 18:24	249
	ax68.p	2024-10-04 18:24	249
	ax69.p	2024-10-04 18:24	249
	ax70.p	2024-10-04 18:24	249
	ax72.p	2024-10-04 18:24	249
	ax73.p	2024-10-04 18:24	249
	ax74.p	2024-10-04 18:24	249
	ax75.p	2024-10-04 18:24	249
	ax76.p	2024-10-04 18:24	249
	ax77.p	2024-10-04 18:24	249
	ax78.p	2024-10-04 18:24	249
	ax79.p	2024-10-04 18:24	249
	ax80.p	2024-10-04 18:24	249
	ax82.p	2024-10-04 18:24	249
	ax83.p	2024-10-04 18:24	249
	ax84.p	2024-10-04 18:24	249
	ax85.p	2024-10-04 18:24	249
	ax86.p	2024-10-04 18:24	249
	ax87.p	2024-10-04 18:24	249
	ax88.p	2024-10-04 18:24	249
	ax89.p	2024-10-04 18:24	249
	ax90.p	2024-10-04 18:24	249
	ax92.p	2024-10-04 18:24	249
	ax93.p	2024-10-04 18:24	249
	ax94.p	2024-10-04 18:24	249
	ax95.p	2024-10-04 18:24	249
	ax96.p	2024-10-04 18:24	249
	ax97.p	2024-10-04 18:24	249
	ax98.p	2024-10-04 18:24	249
	ax99.p	2024-10-04 18:24	249
	ax100.p	2024-10-04 18:24	250
	ax102.p	2024-10-04 18:24	250
	ax103.p	2024-10-04 18:24	250
	ax104.p	2024-10-04 18:24	250
	ax105.p	2024-10-04 18:24	250
	ax106.p	2024-10-04 18:24	250
	ax107.p	2024-10-04 18:24	250
	ax108.p	2024-10-04 18:24	250
	ax109.p	2024-10-04 18:24	250
	ax110.p	2024-10-04 18:24	250
	ax112.p	2024-10-04 18:24	250
	ax113.p	2024-10-04 18:24	250
	ax114.p	2024-10-04 18:24	250
	ax115.p	2024-10-04 18:24	250
	ax116.p	2024-10-04 18:24	250
	ax117.p	2024-10-04 18:24	250
	ax118.p	2024-10-04 18:24	250
	ax119.p	2024-10-04 18:24	250
	ax120.p	2024-10-04 18:24	250
	ax122.p	2024-10-04 18:24	250
	ax123.p	2024-10-04 18:24	250
	ax124.p	2024-10-04 18:24	250
	ax125.p	2024-10-04 18:24	250
	ax126.p	2024-10-04 18:24	250
	ax127.p	2024-10-04 18:24	250
	ax128.p	2024-10-04 18:24	250
	ax129.p	2024-10-04 18:24	250
	ax130.p	2024-10-04 18:24	250
	ax132.p	2024-10-04 18:24	250
	ax133.p	2024-10-04 18:24	250
	ax134.p	2024-10-04 18:24	250
	ax135.p	2024-10-04 18:24	250
	ax136.p	2024-10-04 18:24	250
	ax137.p	2024-10-04 18:24	250
	ax138.p	2024-10-04 18:24	250
	ax139.p	2024-10-04 18:24	250
	ax140.p	2024-10-04 18:24	250
	ax142.p	2024-10-04 18:24	250
	ax143.p	2024-10-04 18:24	250
	ax144.p	2024-10-04 18:24	250
	ax145.p	2024-10-04 18:24	250
	ax146.p	2024-10-04 18:24	250
	ax147.p	2024-10-04 18:24	250
	ax148.p	2024-10-04 18:24	250
	ax149.p	2024-10-04 18:24	250
	ax150.p	2024-10-04 18:24	250
	ax152.p	2024-10-04 18:24	250
	ax153.p	2024-10-04 18:24	250
	ax154.p	2024-10-04 18:24	250
	ax155.p	2024-10-04 18:24	250
	ax156.p	2024-10-04 18:24	250
	ax157.p	2024-10-04 18:24	250
	ax158.p	2024-10-04 18:24	250
	ax159.p	2024-10-04 18:24	250
	ax160.p	2024-10-04 18:24	250
	ax162.p	2024-10-04 18:24	250
	ax163.p	2024-10-04 18:24	250
	ax164.p	2024-10-04 18:24	250
	ax165.p	2024-10-04 18:24	250
	ax166.p	2024-10-04 18:24	250
	ax167.p	2024-10-04 18:24	250
	ax168.p	2024-10-04 18:24	250
	ax169.p	2024-10-04 18:24	250
	ax170.p	2024-10-04 18:24	250
	ax172.p	2024-10-04 18:24	250
	ax173.p	2024-10-04 18:24	250
	ax174.p	2024-10-04 18:24	250
	ax175.p	2024-10-04 18:24	250
	ax176.p	2024-10-04 18:24	250
	ax177.p	2024-10-04 18:24	250
	ax178.p	2024-10-04 18:24	250
	ax179.p	2024-10-04 18:24	250
	ax180.p	2024-10-04 18:24	250
	ax182.p	2024-10-04 18:24	250
	ax183.p	2024-10-04 18:24	250
	ax184.p	2024-10-04 18:24	250
	ax185.p	2024-10-04 18:24	250
	ax186.p	2024-10-04 18:24	250
	ax187.p	2024-10-04 18:24	250
	ax188.p	2024-10-04 18:24	250
	ax189.p	2024-10-04 18:24	250
	ax190.p	2024-10-04 18:24	250
	ax192.p	2024-10-04 18:24	250
	ax193.p	2024-10-04 18:24	250
	ax194.p	2024-10-04 18:24	250
	ax195.p	2024-10-04 18:24	250
	ax196.p	2024-10-04 18:24	250
	ax197.p	2024-10-04 18:24	250
	ax198.p	2024-10-04 18:24	250
	ax199.p	2024-10-04 18:24	250
	ax200.p	2024-10-04 18:24	250
	ax202.p	2024-10-04 18:24	250
	ax203.p	2024-10-04 18:24	250
	ax204.p	2024-10-04 18:24	250
	ax205.p	2024-10-04 18:24	250
	ax206.p	2024-10-04 18:24	250
	ax207.p	2024-10-04 18:24	250
	ax208.p	2024-10-04 18:24	250
	ax209.p	2024-10-04 18:24	250
	ax210.p	2024-10-04 18:24	250
	ax212.p	2024-10-04 18:24	250
	ax213.p	2024-10-04 18:24	250
	ax214.p	2024-10-04 18:24	250
	ax215.p	2024-10-04 18:24	250
	ax216.p	2024-10-04 18:24	250
	ax217.p	2024-10-04 18:24	250
	ax218.p	2024-10-04 18:24	250
	ax219.p	2024-10-04 18:24	250
	ax220.p	2024-10-04 18:24	250
	ax222.p	2024-10-04 18:24	250
	ax223.p	2024-10-04 18:24	250
	ax224.p	2024-10-04 18:24	250
	ax225.p	2024-10-04 18:24	250
	ax226.p	2024-10-04 18:24	250
	ax227.p	2024-10-04 18:24	250
	ax228.p	2024-10-04 18:24	250
	ax229.p	2024-10-04 18:24	250
	ax230.p	2024-10-04 18:24	250
	ax232.p	2024-10-04 18:24	250
	ax233.p	2024-10-04 18:24	250
	ax234.p	2024-10-04 18:24	250
	ax235.p	2024-10-04 18:24	250
	ax236.p	2024-10-04 18:24	250
	ax237.p	2024-10-04 18:24	250
	ax238.p	2024-10-04 18:24	250
	ax239.p	2024-10-04 18:24	250
	ax240.p	2024-10-04 18:24	250
	ax242.p	2024-10-04 18:24	250
	ax243.p	2024-10-04 18:24	250
	ax244.p	2024-10-04 18:24	250
	ax245.p	2024-10-04 18:24	250
	ax246.p	2024-10-04 18:24	250
	ax247.p	2024-10-04 18:24	250
	ax248.p	2024-10-04 18:24	250
	ax249.p	2024-10-04 18:24	250
	ax250.p	2024-10-04 18:24	250
	ax252.p	2024-10-04 18:24	250
	ax253.p	2024-10-04 18:24	250
	ax254.p	2024-10-04 18:24	250
	ax255.p	2024-10-04 18:24	250
	ax256.p	2024-10-04 18:24	250
	ax257.p	2024-10-04 18:24	250
	ax258.p	2024-10-04 18:24	250
	ax259.p	2024-10-04 18:24	250
	ax260.p	2024-10-04 18:24	250
	ax262.p	2024-10-04 18:24	250
	ax263.p	2024-10-04 18:24	250
	ax264.p	2024-10-04 18:24	250
	ax265.p	2024-10-04 18:24	250
	ax266.p	2024-10-04 18:24	250
	ax267.p	2024-10-04 18:24	250
	ax268.p	2024-10-04 18:24	250
	ax269.p	2024-10-04 18:24	250
	ax270.p	2024-10-04 18:24	250
	ax272.p	2024-10-04 18:24	250
	ax273.p	2024-10-04 18:24	250
	ax274.p	2024-10-04 18:24	250
	ax275.p	2024-10-04 18:24	250
	ax276.p	2024-10-04 18:24	250
	ax277.p	2024-10-04 18:24	250
	ax278.p	2024-10-04 18:24	250
	ax279.p	2024-10-04 18:24	250
	ax280.p	2024-10-04 18:24	250
	ax281.p	2024-10-04 18:24	250
	ax282.p	2024-10-04 18:24	250
	ax283.p	2024-10-04 18:24	250
	ax284.p	2024-10-04 18:24	250
	ax285.p	2024-10-04 18:24	250
	ax286.p	2024-10-04 18:24	250
	ax287.p	2024-10-04 18:24	250
	ax288.p	2024-10-04 18:24	250
	ax289.p	2024-10-04 18:24	250
	ax290.p	2024-10-04 18:24	250
	ax291.p	2024-10-04 18:24	250
	ax292.p	2024-10-04 18:24	250
	ax293.p	2024-10-04 18:24	250
	ax294.p	2024-10-04 18:24	250
	ax295.p	2024-10-04 18:24	250
	ax296.p	2024-10-04 18:24	250
	ax297.p	2024-10-04 18:24	250
	ax298.p	2024-10-04 18:24	250
	ax299.p	2024-10-04 18:24	250
	ax300.p	2024-10-04 18:24	250
	ax301.p	2024-10-04 18:24	250
	ax302.p	2024-10-04 18:24	250
	ax303.p	2024-10-04 18:24	250
	ax304.p	2024-10-04 18:24	250
	ax305.p	2024-10-04 18:24	250
	ax306.p	2024-10-04 18:24	250
	ax307.p	2024-10-04 18:24	250
	ax308.p	2024-10-04 18:24	250
	ax309.p	2024-10-04 18:24	250
	ax310.p	2024-10-04 18:24	250
	ax311.p	2024-10-04 18:24	250
	ax312.p	2024-10-04 18:24	250
	ax313.p	2024-10-04 18:24	250
	ax314.p	2024-10-04 18:24	250
	ax315.p	2024-10-04 18:24	250
	ax316.p	2024-10-04 18:24	250
	ax317.p	2024-10-04 18:24	250
	ax318.p	2024-10-04 18:24	250
	ax319.p	2024-10-04 18:24	250
	ax320.p	2024-10-04 18:24	250
	ax321.p	2024-10-04 18:24	250
	ax322.p	2024-10-04 18:24	250
	ax323.p	2024-10-04 18:24	250
	ax324.p	2024-10-04 18:24	250
	ax325.p	2024-10-04 18:24	250
	ax326.p	2024-10-04 18:24	250
	ax327.p	2024-10-04 18:24	250
	ax328.p	2024-10-04 18:24	250
	ax329.p	2024-10-04 18:24	250
	ax330.p	2024-10-04 18:24	250
	ax331.p	2024-10-04 18:24	250
	ax332.p	2024-10-04 18:24	250
	ax333.p	2024-10-04 18:24	250
	ax334.p	2024-10-04 18:24	250
	ax335.p	2024-10-04 18:24	250
	ax336.p	2024-10-04 18:24	250
	ax337.p	2024-10-04 18:24	250
	ax338.p	2024-10-04 18:24	250
	ax339.p	2024-10-04 18:24	250
	ax340.p	2024-10-04 18:24	250
	ax341.p	2024-10-04 18:24	250
	ax342.p	2024-10-04 18:24	250
	ax343.p	2024-10-04 18:24	250
	ax344.p	2024-10-04 18:24	250
	ax345.p	2024-10-04 18:24	250
	ax346.p	2024-10-04 18:24	250
	ax347.p	2024-10-04 18:24	250
	ax348.p	2024-10-04 18:24	250
	ax349.p	2024-10-04 18:24	250
	ax350.p	2024-10-04 18:24	250
	ax351.p	2024-10-04 18:24	250
	ax352.p	2024-10-04 18:24	250
	ax1.p	2024-10-04 18:24	482
	ax370.p	2024-10-04 18:24	1.0K
	ax11.p	2024-10-04 18:24	1.0K
	ax21.p	2024-10-04 18:24	1.0K
	ax31.p	2024-10-04 18:24	1.0K
	ax41.p	2024-10-04 18:24	1.0K
	ax51.p	2024-10-04 18:24	1.0K
	ax61.p	2024-10-04 18:24	1.0K
	ax71.p	2024-10-04 18:24	1.0K
	ax81.p	2024-10-04 18:24	1.0K
	ax91.p	2024-10-04 18:24	1.0K
	ax101.p	2024-10-04 18:24	1.0K
	ax111.p	2024-10-04 18:24	1.0K
	ax121.p	2024-10-04 18:24	1.0K
	ax131.p	2024-10-04 18:24	1.0K
	ax141.p	2024-10-04 18:24	1.0K
	ax151.p	2024-10-04 18:24	1.0K
	ax161.p	2024-10-04 18:24	1.0K
	ax171.p	2024-10-04 18:24	1.0K
	ax181.p	2024-10-04 18:24	1.0K
	ax191.p	2024-10-04 18:24	1.0K
	ax201.p	2024-10-04 18:24	1.0K
	ax211.p	2024-10-04 18:24	1.0K
	ax221.p	2024-10-04 18:24	1.0K
	ax231.p	2024-10-04 18:24	1.0K
	ax241.p	2024-10-04 18:24	1.0K
	ax251.p	2024-10-04 18:24	1.0K
	ax261.p	2024-10-04 18:24	1.0K
	ax271.p	2024-10-04 18:24	1.0K