Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/SWV552-1.007/VerificationProblems/Vampire-SAT---4.7

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[TXT]hyp1.p2024-10-04 18:25 118  
[TXT]a1.p2024-10-04 18:25 142  
[TXT]hyp13.p2024-10-04 18:25 121  
[TXT]hyp18.p2024-10-04 18:25 117  
[TXT]hyp28.p2024-10-04 18:25 106  
[TXT]hyp20.p2024-10-04 18:25 117  
[TXT]hyp4.p2024-10-04 18:25 120  
[TXT]hyp11.p2024-10-04 18:25 121  
[TXT]hyp9.p2024-10-04 18:25 120  
[TXT]hyp0.p2024-10-04 18:25 118  
[TXT]hyp26.p2024-10-04 18:25 117  
[TXT]hyp19.p2024-10-04 18:25 117  
[TXT]hyp15.p2024-10-04 18:25 115  
[TXT]hyp2.p2024-10-04 18:25 120  
[TXT]hyp23.p2024-10-04 18:25 117  
[TXT]hyp27.p2024-10-04 18:25 117  
[TXT]hyp6.p2024-10-04 18:25 120  
[TXT]hyp22.p2024-10-04 18:25 117  
[TXT]goal.p2024-10-04 18:25 102  
[TXT]hyp24.p2024-10-04 18:25 117  
[TXT]hyp21.p2024-10-04 18:25 117  
[TXT]a2.p2024-10-04 18:25 172  
[TXT]hyp14.p2024-10-04 18:25 115  
[TXT]hyp17.p2024-10-04 18:25 117  
[TXT]hyp3.p2024-10-04 18:25 120  
[TXT]hyp25.p2024-10-04 18:25 117  
[TXT]hyp10.p2024-10-04 18:25 121  
[TXT]hyp5.p2024-10-04 18:25 120  
[TXT]hyp8.p2024-10-04 18:25 120  
[TXT]hyp7.p2024-10-04 18:25 120  
[TXT]hyp12.p2024-10-04 18:25 121  
[TXT]hyp16.p2024-10-04 18:25 117  

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