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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[TXT]ruleD44.p2024-10-04 18:25 177  
[TXT]ruleX8.p2024-10-04 18:25 248  
[TXT]ruleD21.p2024-10-04 18:25 207  
[TXT]ruleD52.p2024-10-04 18:25 171  
[TXT]ruleX3.p2024-10-04 18:25 207  
[TXT]ruleD27.p2024-10-04 18:25 207  
[TXT]ruleX2.p2024-10-04 18:25 207  
[TXT]ruleD66.p2024-10-04 18:25 143  
[TXT]ruleD17.p2024-10-04 18:25 187  
[TXT]ruleD42a.p2024-10-04 18:25 187  
[TXT]ruleD49.p2024-10-04 18:25 194  
[TXT]ruleD20.p2024-10-04 18:25 207  
[TXT]ruleX11.p2024-10-04 18:25 163  
[TXT]ruleX4.p2024-10-04 18:25 196  
[TXT]ruleD18.p2024-10-04 18:25 207  
[TXT]ruleX12.p2024-10-04 18:25 280  
[TXT]ruleD55.p2024-10-04 18:25 171  
[TXT]ruleD15.p2024-10-04 18:25 157  
[TXT]ruleD57.p2024-10-04 18:25 191  
[TXT]ruleD33.p2024-10-04 18:25 181  
[TXT]ruleD13.p2024-10-04 18:25 199  
[TXT]ruleD47.p2024-10-04 18:25 176  
[TXT]ruleD62.p2024-10-04 18:25 175  
[TXT]ruleD14.p2024-10-04 18:25 157  
[TXT]ruleD1.p2024-10-04 18:25 140  
[TXT]ruleX17.p2024-10-04 18:25 191  
[TXT]ruleX18.p2024-10-04 18:25 239  
[TXT]ruleD58.p2024-10-04 18:25 233  
[TXT]ruleD25.p2024-10-04 18:25 189  
[TXT]ruleD41.p2024-10-04 18:25 166  
[TXT]ruleD31.p2024-10-04 18:25 181  
[TXT]ruleD37.p2024-10-04 18:25 181  
[TXT]ruleD38.p2024-10-04 18:25 231  
[TXT]ruleD12.p2024-10-04 18:25 175  
[TXT]ruleD32.p2024-10-04 18:25 181  
[TXT]ruleX5.p2024-10-04 18:25 232  
[TXT]ruleD63.p2024-10-04 18:25 177  
[TXT]ruleD4.p2024-10-04 18:25 152  
[TXT]ruleD10.p2024-10-04 18:25 189  
[TXT]ruleD26.p2024-10-04 18:25 207  
[TXT]ruleD5.p2024-10-04 18:25 152  
[TXT]ruleX7.p2024-10-04 18:25 226  
[TXT]ruleD61.p2024-10-04 18:25 201  
[TXT]ruleD56.p2024-10-04 18:25 173  
[TXT]ruleD60.p2024-10-04 18:25 186  
[TXT]ruleD42b.p2024-10-04 18:25 185  
[TXT]ruleD71.p2024-10-04 18:25 186  
[TXT]ruleD75.p2024-10-04 18:25 216  
[TXT]ruleD48.p2024-10-04 18:25 194  
[TXT]ruleD65.p2024-10-04 18:25 204  
[TXT]ruleD24.p2024-10-04 18:25 153  
[TXT]ruleD39.p2024-10-04 18:25 180  
[TXT]ruleD7.p2024-10-04 18:25 152  
[TXT]ruleX1.p2024-10-04 18:25 207  
[TXT]ruleD53.p2024-10-04 18:25 173  
[TXT]ruleD36.p2024-10-04 18:25 181  
[TXT]ruleD29.p2024-10-04 18:25 207  
[TXT]ruleD74.p2024-10-04 18:25 216  
[TXT]ruleX14.p2024-10-04 18:25 185  
[TXT]ruleX10.p2024-10-04 18:25 237  
[TXT]ruleD50.p2024-10-04 18:25 192  
[TXT]ruleD59.p2024-10-04 18:25 186  
[TXT]ruleD70.p2024-10-04 18:25 196  
[TXT]ruleX16.p2024-10-04 18:25 201  
[TXT]ruleD6.p2024-10-04 18:25 188  
[TXT]ruleD35.p2024-10-04 18:25 181  
[TXT]ruleX9.p2024-10-04 18:25 224  
[TXT]ruleD3.p2024-10-04 18:25 166  
[TXT]ruleD45.p2024-10-04 18:25 191  
[TXT]ruleD69.p2024-10-04 18:25 141  
[TXT]ruleD54.p2024-10-04 18:25 186  
[TXT]ruleD40.p2024-10-04 18:25 180  
[TXT]ruleD67.p2024-10-04 18:25 161  
[TXT]ruleD34.p2024-10-04 18:25 231  
[TXT]ruleD2.p2024-10-04 18:25 140  
[TXT]ruleX6.p2024-10-04 18:25 226  
[TXT]ruleD73.p2024-10-04 18:25 216  
[TXT]ruleD68.p2024-10-04 18:25 143  
[TXT]ruleD9.p2024-10-04 18:25 188  
[TXT]ruleD30.p2024-10-04 18:25 270  
[TXT]ruleD28.p2024-10-04 18:25 207  
[TXT]ruleD22.p2024-10-04 18:25 270  
[TXT]ruleD46.p2024-10-04 18:25 156  
[TXT]ruleD8.p2024-10-04 18:25 152  
[TXT]ruleD72.p2024-10-04 18:25 186  
[TXT]ruleX13.p2024-10-04 18:25 207  
[TXT]ruleX15.p2024-10-04 18:25 205  
[TXT]ruleD23.p2024-10-04 18:25 153  
[TXT]ruleD64.p2024-10-04 18:25 193  
[TXT]ruleD19.p2024-10-04 18:25 207  
[TXT]ruleD16.p2024-10-04 18:25 157  
[TXT]ruleD43.p2024-10-04 18:25 238  
[TXT]ruleD51.p2024-10-04 18:25 206  
[TXT]ruleD11.p2024-10-04 18:25 141  

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