Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/PUZ045-1/VerificationProblems/iProver-SAT---3.7

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[TXT]liars_and_normal_lie.p2024-10-04 18:24 199  
[TXT]liars_lie.p2024-10-04 18:24 171  
[TXT]not_liar_and_normal.p2024-10-04 18:24 158  
[TXT]not_truthteller_and_liar.p2024-10-04 18:24 168  
[TXT]not_truthteller_and_normal.p2024-10-04 18:24 172  
[TXT]person_is_one_type.p2024-10-04 18:24 179  
[TXT]truthtellers_and_normal_tell_truth.p2024-10-04 18:24 222  
[TXT]truthtellers_tell_truth.p2024-10-04 18:24 190  

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