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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[TXT]clause314.p2024-10-04 18:30 214  
[TXT]clause159.p2024-10-04 18:30 125  
[TXT]clause214.p2024-10-04 18:30 155  
[TXT]clause327.p2024-10-04 18:30 215  
[TXT]clause192.p2024-10-04 18:30 145  
[TXT]clause22.p2024-10-04 18:30 121  
[TXT]clause274.p2024-10-04 18:30 179  
[TXT]clause349.p2024-10-04 18:30 257  
[TXT]clause175.p2024-10-04 18:30 122  
[TXT]clause270.p2024-10-04 18:30 174  
[TXT]clause317.p2024-10-04 18:30 215  
[TXT]clause201.p2024-10-04 18:30 161  
[TXT]clause347.p2024-10-04 18:30 251  
[TXT]clause246.p2024-10-04 18:30 165  
[TXT]clause120.p2024-10-04 18:30 124  
[TXT]clause268.p2024-10-04 18:30 186  
[TXT]clause271.p2024-10-04 18:30 169  
[TXT]clause137.p2024-10-04 18:30 126  
[TXT]clause117.p2024-10-04 18:30 111  
[TXT]clause139.p2024-10-04 18:30 126  
[TXT]clause333.p2024-10-04 18:30 231  
[TXT]clause278.p2024-10-04 18:30 196  
[TXT]clause301.p2024-10-04 18:30 208  
[TXT]clause363.p2024-10-04 18:30 333  
[TXT]clause49.p2024-10-04 18:30 111  
[TXT]clause160.p2024-10-04 18:30 125  
[TXT]clause204.p2024-10-04 18:30 148  
[TXT]clause129.p2024-10-04 18:30 131  
[TXT]clause53.p2024-10-04 18:30 106  
[TXT]clause163.p2024-10-04 18:30 123  
[TXT]clause261.p2024-10-04 18:30 182  
[TXT]clause302.p2024-10-04 18:30 208  
[TXT]clause211.p2024-10-04 18:30 149  
[TXT]clause84.p2024-10-04 18:30 110  
[TXT]clause65.p2024-10-04 18:30 124  
[TXT]clause336.p2024-10-04 18:30 220  
[TXT]clause207.p2024-10-04 18:30 151  
[TXT]clause4.p2024-10-04 18:30 99  
[TXT]clause313.p2024-10-04 18:30 206  
[TXT]clause180.p2024-10-04 18:30 127  
[TXT]clause230.p2024-10-04 18:30 158  
[TXT]clause108.p2024-10-04 18:30 119  
[TXT]clause330.p2024-10-04 18:30 229  
[TXT]clause8.p2024-10-04 18:30 102  
[TXT]clause73.p2024-10-04 18:30 123  
[TXT]clause59.p2024-10-04 18:30 113  
[TXT]clause210.p2024-10-04 18:30 156  
[TXT]clause64.p2024-10-04 18:30 124  
[TXT]clause362.p2024-10-04 18:30 331  
[TXT]clause118.p2024-10-04 18:30 124  
[TXT]clause188.p2024-10-04 18:30 146  
[TXT]clause289.p2024-10-04 18:30 192  
[TXT]clause262.p2024-10-04 18:30 169  
[TXT]clause242.p2024-10-04 18:30 170  
[TXT]clause225.p2024-10-04 18:30 157  
[TXT]clause38.p2024-10-04 18:30 121  
[TXT]clause67.p2024-10-04 18:30 123  
[TXT]clause311.p2024-10-04 18:30 207  
[TXT]clause23.p2024-10-04 18:30 109  
[TXT]clause294.p2024-10-04 18:30 198  
[TXT]clause337.p2024-10-04 18:30 235  
[TXT]clause320.p2024-10-04 18:30 212  
[TXT]clause72.p2024-10-04 18:30 123  
[TXT]clause284.p2024-10-04 18:30 191  
[TXT]clause36.p2024-10-04 18:30 106  
[TXT]clause196.p2024-10-04 18:30 146  
[TXT]clause39.p2024-10-04 18:30 121  
[TXT]clause208.p2024-10-04 18:30 145  
[TXT]clause127.p2024-10-04 18:30 120  
[TXT]clause145.p2024-10-04 18:30 113  
[TXT]clause328.p2024-10-04 18:30 216  
[TXT]clause346.p2024-10-04 18:30 250  
[TXT]clause199.p2024-10-04 18:30 154  
[TXT]clause338.p2024-10-04 18:30 239  
[TXT]clause45.p2024-10-04 18:30 118  
[TXT]clause61.p2024-10-04 18:30 110  
[TXT]clause21.p2024-10-04 18:30 109  
[TXT]clause104.p2024-10-04 18:30 111  
[TXT]clause83.p2024-10-04 18:30 108  
[TXT]clause12.p2024-10-04 18:30 105  
[TXT]clause33.p2024-10-04 18:30 108  
[TXT]clause282.p2024-10-04 18:30 172  
[TXT]clause37.p2024-10-04 18:30 108  
[TXT]clause191.p2024-10-04 18:30 144  
[TXT]clause355.p2024-10-04 18:30 286  
[TXT]clause88.p2024-10-04 18:30 108  
[TXT]clause34.p2024-10-04 18:30 106  
[TXT]clause136.p2024-10-04 18:30 114  
[TXT]clause307.p2024-10-04 18:30 212  
[TXT]clause56.p2024-10-04 18:30 117  
[TXT]clause240.p2024-10-04 18:30 165  
[TXT]clause357.p2024-10-04 18:30 288  
[TXT]clause170.p2024-10-04 18:30 126  
[TXT]clause265.p2024-10-04 18:30 172  
[TXT]clause189.p2024-10-04 18:30 151  
[TXT]clause19.p2024-10-04 18:30 121  
[TXT]clause264.p2024-10-04 18:30 172  
[TXT]clause325.p2024-10-04 18:30 209  
[TXT]clause287.p2024-10-04 18:30 201  
[TXT]clause219.p2024-10-04 18:30 163  
[TXT]clause312.p2024-10-04 18:30 206  
[TXT]clause221.p2024-10-04 18:30 168  
[TXT]clause30.p2024-10-04 18:30 107  
[TXT]clause75.p2024-10-04 18:30 111  
[TXT]clause233.p2024-10-04 18:30 157  
[TXT]clause182.p2024-10-04 18:30 125  
[TXT]clause11.p2024-10-04 18:30 107  
[TXT]clause16.p2024-10-04 18:30 106  
[TXT]clause303.p2024-10-04 18:30 204  
[TXT]clause98.p2024-10-04 18:30 112  
[TXT]clause149.p2024-10-04 18:30 113  
[TXT]clause256.p2024-10-04 18:30 175  
[TXT]clause164.p2024-10-04 18:30 123  
[TXT]clause176.p2024-10-04 18:30 133  
[TXT]clause155.p2024-10-04 18:30 125  
[TXT]clause26.p2024-10-04 18:30 107  
[TXT]clause353.p2024-10-04 18:30 277  
[TXT]clause109.p2024-10-04 18:30 119  
[TXT]clause28.p2024-10-04 18:30 121  
[TXT]clause1.p2024-10-04 18:30 93  
[TXT]clause126.p2024-10-04 18:30 114  
[TXT]clause99.p2024-10-04 18:30 112  
[TXT]clause116.p2024-10-04 18:30 111  
[TXT]clause316.p2024-10-04 18:30 215  
[TXT]clause121.p2024-10-04 18:30 124  
[TXT]clause255.p2024-10-04 18:30 167  
[TXT]clause152.p2024-10-04 18:30 126  
[TXT]clause173.p2024-10-04 18:30 116  
[TXT]clause229.p2024-10-04 18:30 168  
[TXT]clause254.p2024-10-04 18:30 167  
[TXT]clause50.p2024-10-04 18:30 111  
[TXT]clause200.p2024-10-04 18:30 153  
[TXT]clause48.p2024-10-04 18:30 106  
[TXT]clause123.p2024-10-04 18:30 124  
[TXT]clause361.p2024-10-04 18:30 329  
[TXT]clause10.p2024-10-04 18:30 103  
[TXT]clause215.p2024-10-04 18:30 155  
[TXT]clause308.p2024-10-04 18:30 199  
[TXT]clause133.p2024-10-04 18:30 126  
[TXT]clause248.p2024-10-04 18:30 159  
[TXT]clause42.p2024-10-04 18:30 110  
[TXT]clause91.p2024-10-04 18:30 110  
[TXT]clause44.p2024-10-04 18:30 107  
[TXT]clause138.p2024-10-04 18:30 126  
[TXT]clause234.p2024-10-04 18:30 157  
[TXT]clause57.p2024-10-04 18:30 108  
[TXT]clause244.p2024-10-04 18:30 165  
[TXT]clause52.p2024-10-04 18:30 108  
[TXT]clause324.p2024-10-04 18:30 209  
[TXT]clause190.p2024-10-04 18:30 151  
[TXT]clause86.p2024-10-04 18:30 110  
[TXT]clause132.p2024-10-04 18:30 127  
[TXT]clause168.p2024-10-04 18:30 123  
[TXT]clause89.p2024-10-04 18:30 108  
[TXT]clause124.p2024-10-04 18:30 124  
[TXT]clause335.p2024-10-04 18:30 220  
[TXT]clause20.p2024-10-04 18:30 121  
[TXT]clause131.p2024-10-04 18:30 116  
[TXT]clause97.p2024-10-04 18:30 121  
[TXT]clause102.p2024-10-04 18:30 119  
[TXT]clause161.p2024-10-04 18:30 125  
[TXT]clause101.p2024-10-04 18:30 121  
[TXT]clause216.p2024-10-04 18:30 154  
[TXT]clause5.p2024-10-04 18:30 97  
[TXT]clause63.p2024-10-04 18:30 110  
[TXT]clause142.p2024-10-04 18:30 113  
[TXT]clause94.p2024-10-04 18:30 108  
[TXT]clause306.p2024-10-04 18:30 212  
[TXT]clause359.p2024-10-04 18:30 328  
[TXT]clause147.p2024-10-04 18:30 113  
[TXT]clause292.p2024-10-04 18:30 207  
[TXT]clause128.p2024-10-04 18:30 118  
[TXT]clause243.p2024-10-04 18:30 170  
[TXT]clause13.p2024-10-04 18:30 110  
[TXT]clause71.p2024-10-04 18:30 123  
[TXT]clause134.p2024-10-04 18:30 114  
[TXT]clause299.p2024-10-04 18:30 204  
[TXT]clause326.p2024-10-04 18:30 209  
[TXT]clause92.p2024-10-04 18:30 110  
[TXT]clause162.p2024-10-04 18:30 122  
[TXT]clause356.p2024-10-04 18:30 288  
[TXT]clause177.p2024-10-04 18:30 141  
[TXT]clause2.p2024-10-04 18:30 91  
[TXT]clause32.p2024-10-04 18:30 108  
[TXT]clause332.p2024-10-04 18:30 216  
[TXT]clause341.p2024-10-04 18:30 239  
[TXT]clause66.p2024-10-04 18:30 123  
[TXT]clause198.p2024-10-04 18:30 154  
[TXT]clause31.p2024-10-04 18:30 108  
[TXT]clause166.p2024-10-04 18:30 123  
[TXT]clause93.p2024-10-04 18:30 110  
[TXT]clause158.p2024-10-04 18:30 125  
[TXT]clause253.p2024-10-04 18:30 174  
[TXT]clause300.p2024-10-04 18:30 210  
[TXT]clause110.p2024-10-04 18:30 114  
[TXT]clause103.p2024-10-04 18:30 111  
[TXT]clause232.p2024-10-04 18:30 166  
[TXT]clause352.p2024-10-04 18:30 276  
[TXT]clause17.p2024-10-04 18:30 110  
[TXT]clause25.p2024-10-04 18:30 121  
[TXT]clause54.p2024-10-04 18:30 121  
[TXT]clause15.p2024-10-04 18:30 105  
[TXT]clause193.p2024-10-04 18:30 143  
[TXT]clause171.p2024-10-04 18:30 126  
[TXT]clause286.p2024-10-04 18:30 205  
[TXT]clause209.p2024-10-04 18:30 151  
[TXT]clause348.p2024-10-04 18:30 251  
[TXT]clause195.p2024-10-04 18:30 149  
[TXT]clause62.p2024-10-04 18:30 110  
[TXT]clause197.p2024-10-04 18:30 149  
[TXT]clause29.p2024-10-04 18:30 107  
[TXT]clause235.p2024-10-04 18:30 155  
[TXT]clause106.p2024-10-04 18:30 109  
[TXT]clause81.p2024-10-04 18:30 123  
[TXT]clause74.p2024-10-04 18:30 111  
[TXT]clause237.p2024-10-04 18:30 167  
[TXT]clause238.p2024-10-04 18:30 167  
[TXT]clause125.p2024-10-04 18:30 124  
[TXT]clause114.p2024-10-04 18:30 111  
[TXT]clause112.p2024-10-04 18:30 119  
[TXT]clause156.p2024-10-04 18:30 125  
[TXT]clause90.p2024-10-04 18:30 110  
[TXT]clause165.p2024-10-04 18:30 121  
[TXT]clause135.p2024-10-04 18:30 114  
[TXT]clause323.p2024-10-04 18:30 209  
[TXT]clause206.p2024-10-04 18:30 148  
[TXT]clause27.p2024-10-04 18:30 107  
[TXT]clause220.p2024-10-04 18:30 163  
[TXT]clause217.p2024-10-04 18:30 160  
[TXT]clause119.p2024-10-04 18:30 124  
[TXT]clause203.p2024-10-04 18:30 155  
[TXT]clause111.p2024-10-04 18:30 121  
[TXT]clause245.p2024-10-04 18:30 165  
[TXT]clause115.p2024-10-04 18:30 111  
[TXT]clause212.p2024-10-04 18:30 156  
[TXT]clause113.p2024-10-04 18:30 114  
[TXT]clause309.p2024-10-04 18:30 229  
[TXT]clause281.p2024-10-04 18:30 172  
[TXT]clause322.p2024-10-04 18:30 232  
[TXT]clause329.p2024-10-04 18:30 234  
[TXT]clause321.p2024-10-04 18:30 232  
[TXT]clause218.p2024-10-04 18:30 164  
[TXT]clause186.p2024-10-04 18:30 143  
[TXT]clause14.p2024-10-04 18:30 110  
[TXT]clause69.p2024-10-04 18:30 111  
[TXT]clause76.p2024-10-04 18:30 109  
[TXT]clause41.p2024-10-04 18:30 121  
[TXT]clause239.p2024-10-04 18:30 167  
[TXT]clause358.p2024-10-04 18:30 293  
[TXT]clause82.p2024-10-04 18:30 110  
[TXT]clause223.p2024-10-04 18:30 159  
[TXT]clause183.p2024-10-04 18:30 138  
[TXT]clause222.p2024-10-04 18:30 163  
[TXT]clause3.p2024-10-04 18:30 91  
[TXT]clause295.p2024-10-04 18:30 198  
[TXT]clause157.p2024-10-04 18:30 125  
[TXT]clause174.p2024-10-04 18:30 122  
[TXT]clause185.p2024-10-04 18:30 143  
[TXT]clause304.p2024-10-04 18:30 212  
[TXT]clause70.p2024-10-04 18:30 111  
[TXT]clause331.p2024-10-04 18:30 218  
[TXT]clause351.p2024-10-04 18:30 253  
[TXT]clause305.p2024-10-04 18:30 212  
[TXT]clause95.p2024-10-04 18:30 122  
[TXT]clause181.p2024-10-04 18:30 125  
[TXT]clause85.p2024-10-04 18:30 110  
[TXT]clause184.p2024-10-04 18:30 143  
[TXT]clause167.p2024-10-04 18:30 123  
[TXT]clause107.p2024-10-04 18:30 119  
[TXT]clause87.p2024-10-04 18:30 108  
[TXT]clause202.p2024-10-04 18:30 166  
[TXT]clause260.p2024-10-04 18:30 176  
[TXT]clause187.p2024-10-04 18:30 142  
[TXT]clause141.p2024-10-04 18:30 126  
[TXT]clause231.p2024-10-04 18:30 163  
[TXT]clause154.p2024-10-04 18:30 125  
[TXT]clause291.p2024-10-04 18:30 193  
[TXT]clause51.p2024-10-04 18:30 108  
[TXT]clause350.p2024-10-04 18:30 253  
[TXT]clause205.p2024-10-04 18:30 148  
[TXT]clause319.p2024-10-04 18:30 212  
[TXT]clause272.p2024-10-04 18:30 174  
[TXT]clause252.p2024-10-04 18:30 157  
[TXT]clause79.p2024-10-04 18:30 123  
[TXT]clause226.p2024-10-04 18:30 154  
[TXT]clause228.p2024-10-04 18:30 154  
[TXT]clause68.p2024-10-04 18:30 111  
[TXT]clause9.p2024-10-04 18:30 102  
[TXT]clause345.p2024-10-04 18:30 249  
[TXT]clause277.p2024-10-04 18:30 196  
[TXT]clause241.p2024-10-04 18:30 165  
[TXT]clause257.p2024-10-04 18:30 172  
[TXT]clause6.p2024-10-04 18:30 93  
[TXT]clause105.p2024-10-04 18:30 111  
[TXT]clause340.p2024-10-04 18:30 239  
[TXT]clause100.p2024-10-04 18:30 115  
[TXT]clause318.p2024-10-04 18:30 215  
[TXT]clause342.p2024-10-04 18:30 241  
[TXT]clause122.p2024-10-04 18:30 124  
[TXT]clause273.p2024-10-04 18:30 174  
[TXT]clause280.p2024-10-04 18:30 176  
[TXT]clause354.p2024-10-04 18:30 270  
[TXT]clause344.p2024-10-04 18:30 249  
[TXT]clause298.p2024-10-04 18:30 204  
[TXT]clause283.p2024-10-04 18:30 190  
[TXT]clause78.p2024-10-04 18:30 123  
[TXT]clause339.p2024-10-04 18:30 239  
[TXT]clause140.p2024-10-04 18:30 126  
[TXT]clause288.p2024-10-04 18:30 192  
[TXT]clause266.p2024-10-04 18:30 172  
[TXT]clause178.p2024-10-04 18:30 127  
[TXT]clause213.p2024-10-04 18:30 155  
[TXT]clause343.p2024-10-04 18:30 241  
[TXT]clause194.p2024-10-04 18:30 149  
[TXT]clause251.p2024-10-04 18:30 166  
[TXT]clause55.p2024-10-04 18:30 121  
[TXT]clause179.p2024-10-04 18:30 127  
[TXT]clause7.p2024-10-04 18:30 93  
[TXT]clause334.p2024-10-04 18:30 237  
[TXT]clause60.p2024-10-04 18:30 110  
[TXT]clause293.p2024-10-04 18:30 207  
[TXT]clause259.p2024-10-04 18:30 167  
[TXT]clause150.p2024-10-04 18:30 113  
[TXT]clause24.p2024-10-04 18:30 121  
[TXT]clause236.p2024-10-04 18:30 155  
[TXT]clause360.p2024-10-04 18:30 328  
[TXT]clause263.p2024-10-04 18:30 177  
[TXT]clause130.p2024-10-04 18:30 131  
[TXT]clause151.p2024-10-04 18:30 126  
[TXT]clause267.p2024-10-04 18:30 180  
[TXT]clause269.p2024-10-04 18:30 194  
[TXT]clause96.p2024-10-04 18:30 122  
[TXT]clause297.p2024-10-04 18:30 204  
[TXT]clause18.p2024-10-04 18:30 108  
[TXT]clause144.p2024-10-04 18:30 113  
[TXT]clause247.p2024-10-04 18:30 161  
[TXT]clause227.p2024-10-04 18:30 154  
[TXT]clause249.p2024-10-04 18:30 155  
[TXT]clause276.p2024-10-04 18:30 196  
[TXT]clause258.p2024-10-04 18:30 167  
[TXT]clause146.p2024-10-04 18:30 113  
[TXT]clause40.p2024-10-04 18:30 121  
[TXT]clause275.p2024-10-04 18:30 179  
[TXT]clause58.p2024-10-04 18:30 127  
[TXT]clause143.p2024-10-04 18:30 113  
[TXT]clause310.p2024-10-04 18:30 207  
[TXT]clause279.p2024-10-04 18:30 200  
[TXT]clause169.p2024-10-04 18:30 126  
[TXT]clause47.p2024-10-04 18:30 108  
[TXT]clause172.p2024-10-04 18:30 116  
[TXT]clause296.p2024-10-04 18:30 203  
[TXT]clause148.p2024-10-04 18:30 113  
[TXT]clause77.p2024-10-04 18:30 109  
[TXT]clause80.p2024-10-04 18:30 123  
[TXT]clause315.p2024-10-04 18:30 214  
[TXT]clause224.p2024-10-04 18:30 159  
[TXT]clause290.p2024-10-04 18:30 193  
[TXT]clause250.p2024-10-04 18:30 170  
[TXT]clause153.p2024-10-04 18:30 125  
[TXT]clause43.p2024-10-04 18:30 107  
[TXT]clause285.p2024-10-04 18:30 180  
[TXT]clause46.p2024-10-04 18:30 116  
[TXT]clause35.p2024-10-04 18:30 108  

Apache/2.4.58 (Ubuntu) Server at tptp.org Port 443