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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[TXT]truthtellers_tell_truth.p2024-10-04 18:28 244  
[TXT]truthteller_or_liar.p2024-10-04 18:28 159  
[TXT]truths_are_told_by_truthtellers.p2024-10-04 18:28 252  
[TXT]not_both.p2024-10-04 18:28 152  
[TXT]liars_lie.p2024-10-04 18:28 204  
[TXT]liars_are_told_by_liars.p2024-10-04 18:28 214  

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