Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/SWV499-1.030/VerificationProblems/Vampire-SAT---4.7

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[TXT]hyp59.p2024-10-04 18:27 125  
[TXT]hyp58.p2024-10-04 18:27 123  
[TXT]hyp57.p2024-10-04 18:27 125  
[TXT]hyp56.p2024-10-04 18:27 125  
[TXT]hyp55.p2024-10-04 18:27 125  
[TXT]hyp54.p2024-10-04 18:27 125  
[TXT]hyp53.p2024-10-04 18:27 125  
[TXT]hyp52.p2024-10-04 18:27 125  
[TXT]hyp51.p2024-10-04 18:27 123  
[TXT]hyp50.p2024-10-04 18:27 125  
[TXT]hyp49.p2024-10-04 18:27 125  
[TXT]hyp48.p2024-10-04 18:27 125  
[TXT]hyp47.p2024-10-04 18:27 123  
[TXT]hyp46.p2024-10-04 18:27 125  
[TXT]hyp45.p2024-10-04 18:27 125  
[TXT]hyp44.p2024-10-04 18:27 125  
[TXT]hyp43.p2024-10-04 18:27 123  
[TXT]hyp42.p2024-10-04 18:27 125  
[TXT]hyp41.p2024-10-04 18:27 123  
[TXT]hyp40.p2024-10-04 18:27 125  
[TXT]hyp39.p2024-10-04 18:27 125  
[TXT]hyp38.p2024-10-04 18:27 125  
[TXT]hyp37.p2024-10-04 18:27 125  
[TXT]hyp36.p2024-10-04 18:27 123  
[TXT]hyp35.p2024-10-04 18:27 125  
[TXT]hyp34.p2024-10-04 18:27 123  
[TXT]hyp33.p2024-10-04 18:27 123  
[TXT]hyp32.p2024-10-04 18:27 125  
[TXT]hyp31.p2024-10-04 18:27 123  
[TXT]hyp30.p2024-10-04 18:27 121  
[TXT]hyp29.p2024-10-04 18:27 125  
[TXT]hyp28.p2024-10-04 18:27 125  
[TXT]hyp27.p2024-10-04 18:27 125  
[TXT]hyp26.p2024-10-04 18:27 125  
[TXT]hyp25.p2024-10-04 18:27 125  
[TXT]hyp24.p2024-10-04 18:27 125  
[TXT]hyp23.p2024-10-04 18:27 125  
[TXT]hyp22.p2024-10-04 18:27 125  
[TXT]hyp21.p2024-10-04 18:27 125  
[TXT]hyp20.p2024-10-04 18:27 125  
[TXT]hyp19.p2024-10-04 18:27 125  
[TXT]hyp18.p2024-10-04 18:27 125  
[TXT]hyp17.p2024-10-04 18:27 125  
[TXT]hyp16.p2024-10-04 18:27 125  
[TXT]hyp15.p2024-10-04 18:27 125  
[TXT]hyp14.p2024-10-04 18:27 125  
[TXT]hyp13.p2024-10-04 18:27 125  
[TXT]hyp12.p2024-10-04 18:27 125  
[TXT]hyp11.p2024-10-04 18:27 125  
[TXT]hyp10.p2024-10-04 18:27 125  
[TXT]hyp9.p2024-10-04 18:27 124  
[TXT]hyp8.p2024-10-04 18:27 122  
[TXT]hyp7.p2024-10-04 18:27 122  
[TXT]hyp6.p2024-10-04 18:27 122  
[TXT]hyp5.p2024-10-04 18:27 122  
[TXT]hyp4.p2024-10-04 18:27 122  
[TXT]hyp3.p2024-10-04 18:27 122  
[TXT]hyp2.p2024-10-04 18:27 122  
[TXT]hyp1.p2024-10-04 18:27 122  
[TXT]hyp0.p2024-10-04 18:27 118  
[TXT]goal.p2024-10-04 18:27 110  
[TXT]a2.p2024-10-04 18:27 172  
[TXT]a1.p2024-10-04 18:27 142  

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