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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[TXT]male_or_female.p2024-10-04 18:33 131  
[TXT]not_male_and_female.p2024-10-04 18:33 140  
[TXT]truthteller_or_liar.p2024-10-04 18:33 141  
[TXT]from_mars_or_venus.p2024-10-04 18:33 144  
[TXT]not_truthteller_and_liar.p2024-10-04 18:33 150  
[TXT]not_from_mars_and_venus.p2024-10-04 18:33 153  
[TXT]venusian_males_are_liars.p2024-10-04 18:33 159  
[TXT]marsian_females_are_liars.p2024-10-04 18:33 161  
[TXT]false_statements_made_by_liars.p2024-10-04 18:33 162  
[TXT]people_say_their_statements.p2024-10-04 18:33 166  
[TXT]liars_make_false_statements.p2024-10-04 18:33 171  
[TXT]marsian_males_are_truthtellers.p2024-10-04 18:33 171  
[TXT]statements_are_true_or_not.p2024-10-04 18:33 171  
[TXT]venusian_female_are_truthtellers.p2024-10-04 18:33 176  
[TXT]true_statements_made_by_truthtellers.p2024-10-04 18:33 177  
[TXT]truthtellers_make_true_statements.p2024-10-04 18:33 182  

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