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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[TXT]ruleD1.p2024-10-04 18:25 146  
[TXT]ruleD2.p2024-10-04 18:25 146  
[TXT]ruleD3.p2024-10-04 18:25 172  
[TXT]ruleD4.p2024-10-04 18:25 158  
[TXT]ruleD5.p2024-10-04 18:25 158  
[TXT]ruleD6.p2024-10-04 18:25 194  
[TXT]ruleD7.p2024-10-04 18:25 158  
[TXT]ruleD8.p2024-10-04 18:25 158  
[TXT]ruleD9.p2024-10-04 18:25 194  
[TXT]ruleD10.p2024-10-04 18:25 195  
[TXT]ruleD11.p2024-10-04 18:25 147  
[TXT]ruleD12.p2024-10-04 18:25 181  
[TXT]ruleD13.p2024-10-04 18:25 205  
[TXT]ruleD14.p2024-10-04 18:25 163  
[TXT]ruleD15.p2024-10-04 18:25 163  
[TXT]ruleD16.p2024-10-04 18:25 163  
[TXT]ruleD17.p2024-10-04 18:25 193  
[TXT]ruleD18.p2024-10-04 18:25 213  
[TXT]ruleD19.p2024-10-04 18:25 213  
[TXT]ruleD20.p2024-10-04 18:25 213  
[TXT]ruleD21.p2024-10-04 18:25 213  
[TXT]ruleD22.p2024-10-04 18:25 276  
[TXT]ruleD23.p2024-10-04 18:25 159  
[TXT]ruleD24.p2024-10-04 18:25 159  
[TXT]ruleD25.p2024-10-04 18:25 195  
[TXT]ruleD26.p2024-10-04 18:25 213  
[TXT]ruleD27.p2024-10-04 18:25 213  
[TXT]ruleD28.p2024-10-04 18:25 213  
[TXT]ruleD29.p2024-10-04 18:25 213  
[TXT]ruleD30.p2024-10-04 18:25 276  
[TXT]ruleD31.p2024-10-04 18:25 187  
[TXT]ruleD32.p2024-10-04 18:25 187  
[TXT]ruleD33.p2024-10-04 18:25 187  
[TXT]ruleD34.p2024-10-04 18:25 237  
[TXT]ruleD35.p2024-10-04 18:25 187  
[TXT]ruleD36.p2024-10-04 18:25 187  
[TXT]ruleD37.p2024-10-04 18:25 187  
[TXT]ruleD38.p2024-10-04 18:25 237  
[TXT]ruleD39.p2024-10-04 18:25 186  
[TXT]ruleD40.p2024-10-04 18:25 186  
[TXT]ruleD41.p2024-10-04 18:25 172  
[TXT]ruleD42a.p2024-10-04 18:25 193  
[TXT]ruleD42b.p2024-10-04 18:25 191  
[TXT]ruleD43.p2024-10-04 18:25 244  
[TXT]ruleD44.p2024-10-04 18:25 183  
[TXT]ruleD45.p2024-10-04 18:25 197  
[TXT]ruleD46.p2024-10-04 18:25 162  
[TXT]ruleD47.p2024-10-04 18:25 182  
[TXT]ruleD48.p2024-10-04 18:25 200  
[TXT]ruleD49.p2024-10-04 18:25 200  
[TXT]ruleD50.p2024-10-04 18:25 198  
[TXT]ruleD51.p2024-10-04 18:25 212  
[TXT]ruleD52.p2024-10-04 18:25 177  
[TXT]ruleD53.p2024-10-04 18:25 179  
[TXT]ruleD54.p2024-10-04 18:25 192  
[TXT]ruleD55.p2024-10-04 18:25 177  
[TXT]ruleD56.p2024-10-04 18:25 179  
[TXT]ruleD57.p2024-10-04 18:25 197  
[TXT]ruleD58.p2024-10-04 18:25 239  
[TXT]ruleD59.p2024-10-04 18:25 192  
[TXT]ruleD60.p2024-10-04 18:25 192  
[TXT]ruleD61.p2024-10-04 18:25 207  
[TXT]ruleD62.p2024-10-04 18:25 181  
[TXT]ruleD63.p2024-10-04 18:25 183  
[TXT]ruleD64.p2024-10-04 18:25 199  
[TXT]ruleD65.p2024-10-04 18:25 210  
[TXT]ruleD66.p2024-10-04 18:25 149  
[TXT]ruleD67.p2024-10-04 18:25 167  
[TXT]ruleD68.p2024-10-04 18:25 149  
[TXT]ruleD69.p2024-10-04 18:25 147  
[TXT]ruleD70.p2024-10-04 18:25 202  
[TXT]ruleD71.p2024-10-04 18:25 192  
[TXT]ruleD72.p2024-10-04 18:25 192  
[TXT]ruleD73.p2024-10-04 18:25 222  
[TXT]ruleD74.p2024-10-04 18:25 222  
[TXT]ruleD75.p2024-10-04 18:25 222  
[TXT]ruleX1.p2024-10-04 18:25 213  
[TXT]ruleX2.p2024-10-04 18:25 213  
[TXT]ruleX3.p2024-10-04 18:25 213  
[TXT]ruleX4.p2024-10-04 18:25 202  
[TXT]ruleX5.p2024-10-04 18:25 238  
[TXT]ruleX6.p2024-10-04 18:25 232  
[TXT]ruleX7.p2024-10-04 18:25 232  
[TXT]ruleX8.p2024-10-04 18:25 254  
[TXT]ruleX9.p2024-10-04 18:25 230  
[TXT]ruleX10.p2024-10-04 18:25 243  
[TXT]ruleX11.p2024-10-04 18:25 169  
[TXT]ruleX12.p2024-10-04 18:25 286  
[TXT]ruleX13.p2024-10-04 18:25 213  
[TXT]ruleX14.p2024-10-04 18:25 191  
[TXT]ruleX15.p2024-10-04 18:25 211  
[TXT]ruleX16.p2024-10-04 18:25 207  
[TXT]ruleX17.p2024-10-04 18:25 197  
[TXT]ruleX18.p2024-10-04 18:25 245  

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