Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/GRA021+1/VerificationProblems/Vampire-SAT---4.7.CSA-Sat.s

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[TXT]goal_to_be_proved.p2024-10-04 18:30 120  
[TXT]green_clique.p2024-10-04 18:30 291  
[TXT]less_than_transitive.p2024-10-04 18:30 197  
[TXT]red_clique.p2024-10-04 18:30 269  
[TXT]no_overlap.p2024-10-04 18:30 159  
[TXT]partition.p2024-10-04 18:30 168  
[TXT]ordering.p2024-10-04 18:30 315  
Apache/2.4.58 (Ubuntu) Server at tptp.org Port 443