Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/PUZ045-1/VerificationProblems/E-SAT---3.0

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[TXT]not_truthteller_and_liar.p2024-10-04 18:24 162  
[TXT]truthtellers_and_normal_tell_truth.p2024-10-04 18:24 216  
[TXT]not_liar_and_normal.p2024-10-04 18:24 152  
[TXT]liars_and_normal_lie.p2024-10-04 18:24 193  
[TXT]person_is_one_type.p2024-10-04 18:24 173  
[TXT]not_truthteller_and_normal.p2024-10-04 18:24 166  
[TXT]liars_lie.p2024-10-04 18:24 165  
[TXT]truthtellers_tell_truth.p2024-10-04 18:24 184  

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