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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[TXT]pickup_2.p2024-10-04 18:28 235  
[TXT]pickup_1.p2024-10-04 18:28 224  
[TXT]putdown_3.p2024-10-04 18:28 219  
[TXT]putdown_2.p2024-10-04 18:28 218  
[TXT]putdown_1.p2024-10-04 18:28 216  
[TXT]putdown_5.p2024-10-04 18:28 215  
[TXT]pickup_3.p2024-10-04 18:28 209  
[TXT]putdown_4.p2024-10-04 18:28 205  
[TXT]pickup_4.p2024-10-04 18:28 203  
[TXT]and_definition.p2024-10-04 18:28 191  

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