Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/SWV508-1.030/VerificationProblems/E-SAT---3.0

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[TXT]hyp62.p2024-10-04 18:25 115  
[TXT]hyp61.p2024-10-04 18:25 119  
[TXT]hyp60.p2024-10-04 18:25 119  
[TXT]hyp59.p2024-10-04 18:25 119  
[TXT]hyp58.p2024-10-04 18:25 117  
[TXT]hyp57.p2024-10-04 18:25 119  
[TXT]hyp56.p2024-10-04 18:25 119  
[TXT]hyp55.p2024-10-04 18:25 119  
[TXT]hyp54.p2024-10-04 18:25 119  
[TXT]hyp53.p2024-10-04 18:25 119  
[TXT]hyp52.p2024-10-04 18:25 119  
[TXT]hyp51.p2024-10-04 18:25 117  
[TXT]hyp50.p2024-10-04 18:25 119  
[TXT]hyp49.p2024-10-04 18:25 119  
[TXT]hyp48.p2024-10-04 18:25 119  
[TXT]hyp47.p2024-10-04 18:25 117  
[TXT]hyp46.p2024-10-04 18:25 119  
[TXT]hyp45.p2024-10-04 18:25 119  
[TXT]hyp44.p2024-10-04 18:25 119  
[TXT]hyp43.p2024-10-04 18:25 117  
[TXT]hyp42.p2024-10-04 18:25 119  
[TXT]hyp41.p2024-10-04 18:25 117  
[TXT]hyp40.p2024-10-04 18:25 119  
[TXT]hyp39.p2024-10-04 18:25 119  
[TXT]hyp38.p2024-10-04 18:25 119  
[TXT]hyp37.p2024-10-04 18:25 119  
[TXT]hyp36.p2024-10-04 18:25 117  
[TXT]hyp35.p2024-10-04 18:25 119  
[TXT]hyp34.p2024-10-04 18:25 117  
[TXT]hyp33.p2024-10-04 18:25 117  
[TXT]hyp32.p2024-10-04 18:25 119  
[TXT]hyp31.p2024-10-04 18:25 117  
[TXT]hyp30.p2024-10-04 18:25 115  
[TXT]hyp29.p2024-10-04 18:25 117  
[TXT]hyp28.p2024-10-04 18:25 119  
[TXT]hyp27.p2024-10-04 18:25 119  
[TXT]hyp26.p2024-10-04 18:25 119  
[TXT]hyp25.p2024-10-04 18:25 119  
[TXT]hyp24.p2024-10-04 18:25 119  
[TXT]hyp23.p2024-10-04 18:25 119  
[TXT]hyp22.p2024-10-04 18:25 119  
[TXT]hyp21.p2024-10-04 18:25 119  
[TXT]hyp20.p2024-10-04 18:25 119  
[TXT]hyp19.p2024-10-04 18:25 119  
[TXT]hyp18.p2024-10-04 18:25 119  
[TXT]hyp17.p2024-10-04 18:25 119  
[TXT]hyp16.p2024-10-04 18:25 119  
[TXT]hyp15.p2024-10-04 18:25 119  
[TXT]hyp14.p2024-10-04 18:25 119  
[TXT]hyp13.p2024-10-04 18:25 119  
[TXT]hyp12.p2024-10-04 18:25 119  
[TXT]hyp11.p2024-10-04 18:25 119  
[TXT]hyp10.p2024-10-04 18:25 119  
[TXT]hyp9.p2024-10-04 18:25 118  
[TXT]hyp8.p2024-10-04 18:25 116  
[TXT]hyp7.p2024-10-04 18:25 116  
[TXT]hyp6.p2024-10-04 18:25 116  
[TXT]hyp5.p2024-10-04 18:25 116  
[TXT]hyp4.p2024-10-04 18:25 116  
[TXT]hyp3.p2024-10-04 18:25 116  
[TXT]hyp2.p2024-10-04 18:25 116  
[TXT]hyp1.p2024-10-04 18:25 116  
[TXT]hyp0.p2024-10-04 18:25 112  
[TXT]goal.p2024-10-04 18:25 104  
[TXT]a2.p2024-10-04 18:25 166  
[TXT]a1.p2024-10-04 18:25 136  

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