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

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