Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/PUZ028-4/VerificationProblems/iProver-SAT---3.7

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[TXT]familiar_or_not_1_2.p2024-10-04 18:34 142  
[TXT]familiar_or_not_1_3.p2024-10-04 18:34 142  
[TXT]familiar_or_not_1_4.p2024-10-04 18:34 142  
[TXT]familiar_or_not_1_5.p2024-10-04 18:34 142  
[TXT]familiar_or_not_1_6.p2024-10-04 18:34 142  
[TXT]familiar_or_not_2_1.p2024-10-04 18:34 142  
[TXT]familiar_or_not_2_3.p2024-10-04 18:34 142  
[TXT]familiar_or_not_2_4.p2024-10-04 18:34 142  
[TXT]familiar_or_not_2_5.p2024-10-04 18:34 142  
[TXT]familiar_or_not_2_6.p2024-10-04 18:34 142  
[TXT]familiar_or_not_3_1.p2024-10-04 18:34 142  
[TXT]familiar_or_not_3_2.p2024-10-04 18:34 142  
[TXT]familiar_or_not_3_4.p2024-10-04 18:34 142  
[TXT]familiar_or_not_3_5.p2024-10-04 18:34 142  
[TXT]familiar_or_not_3_6.p2024-10-04 18:34 142  
[TXT]familiar_or_not_4_1.p2024-10-04 18:34 142  
[TXT]familiar_or_not_4_2.p2024-10-04 18:34 142  
[TXT]familiar_or_not_4_3.p2024-10-04 18:34 142  
[TXT]familiar_or_not_4_5.p2024-10-04 18:34 142  
[TXT]familiar_or_not_4_6.p2024-10-04 18:34 142  
[TXT]familiar_or_not_5_1.p2024-10-04 18:34 142  
[TXT]familiar_or_not_5_2.p2024-10-04 18:34 142  
[TXT]familiar_or_not_5_3.p2024-10-04 18:34 142  
[TXT]familiar_or_not_5_4.p2024-10-04 18:34 142  
[TXT]familiar_or_not_5_6.p2024-10-04 18:34 142  
[TXT]familiar_or_not_6_1.p2024-10-04 18:34 142  
[TXT]familiar_or_not_6_2.p2024-10-04 18:34 142  
[TXT]familiar_or_not_6_3.p2024-10-04 18:34 142  
[TXT]familiar_or_not_6_4.p2024-10-04 18:34 142  
[TXT]familiar_or_not_6_5.p2024-10-04 18:34 142  
[TXT]three_familiar_1_2_3.p2024-10-04 18:34 163  
[TXT]three_familiar_1_2_4.p2024-10-04 18:34 163  
[TXT]three_familiar_1_2_5.p2024-10-04 18:34 163  
[TXT]three_familiar_1_2_6.p2024-10-04 18:34 163  
[TXT]three_familiar_1_3_2.p2024-10-04 18:34 163  
[TXT]three_familiar_1_3_4.p2024-10-04 18:34 163  
[TXT]three_familiar_1_3_5.p2024-10-04 18:34 163  
[TXT]three_familiar_1_3_6.p2024-10-04 18:34 163  
[TXT]three_familiar_1_4_2.p2024-10-04 18:34 163  
[TXT]three_familiar_1_4_3.p2024-10-04 18:34 163  
[TXT]three_familiar_1_4_5.p2024-10-04 18:34 163  
[TXT]three_familiar_1_4_6.p2024-10-04 18:34 163  
[TXT]three_familiar_1_5_2.p2024-10-04 18:34 163  
[TXT]three_familiar_1_5_3.p2024-10-04 18:34 163  
[TXT]three_familiar_1_5_4.p2024-10-04 18:34 163  
[TXT]three_familiar_1_5_6.p2024-10-04 18:34 163  
[TXT]three_familiar_1_6_2.p2024-10-04 18:34 163  
[TXT]three_familiar_1_6_3.p2024-10-04 18:34 163  
[TXT]three_familiar_1_6_4.p2024-10-04 18:34 163  
[TXT]three_familiar_1_6_5.p2024-10-04 18:34 163  
[TXT]three_familiar_2_1_3.p2024-10-04 18:34 163  
[TXT]three_familiar_2_1_4.p2024-10-04 18:34 163  
[TXT]three_familiar_2_1_5.p2024-10-04 18:34 163  
[TXT]three_familiar_2_1_6.p2024-10-04 18:34 163  
[TXT]three_familiar_2_3_1.p2024-10-04 18:34 163  
[TXT]three_familiar_2_3_4.p2024-10-04 18:34 163  
[TXT]three_familiar_2_3_5.p2024-10-04 18:34 163  
[TXT]three_familiar_2_3_6.p2024-10-04 18:34 163  
[TXT]three_familiar_2_4_1.p2024-10-04 18:34 163  
[TXT]three_familiar_2_4_3.p2024-10-04 18:34 163  
[TXT]three_familiar_2_4_5.p2024-10-04 18:34 163  
[TXT]three_familiar_2_4_6.p2024-10-04 18:34 163  
[TXT]three_familiar_2_5_1.p2024-10-04 18:34 163  
[TXT]three_familiar_2_5_3.p2024-10-04 18:34 163  
[TXT]three_familiar_2_5_4.p2024-10-04 18:34 163  
[TXT]three_familiar_2_5_6.p2024-10-04 18:34 163  
[TXT]three_familiar_2_6_1.p2024-10-04 18:34 163  
[TXT]three_familiar_2_6_3.p2024-10-04 18:34 163  
[TXT]three_familiar_2_6_4.p2024-10-04 18:34 163  
[TXT]three_familiar_2_6_5.p2024-10-04 18:34 163  
[TXT]three_familiar_3_1_2.p2024-10-04 18:34 163  
[TXT]three_familiar_3_1_4.p2024-10-04 18:34 163  
[TXT]three_familiar_3_1_5.p2024-10-04 18:34 163  
[TXT]three_familiar_3_1_6.p2024-10-04 18:34 163  
[TXT]three_familiar_3_2_1.p2024-10-04 18:34 163  
[TXT]three_familiar_3_2_4.p2024-10-04 18:34 163  
[TXT]three_familiar_3_2_5.p2024-10-04 18:34 163  
[TXT]three_familiar_3_2_6.p2024-10-04 18:34 163  
[TXT]three_familiar_3_4_1.p2024-10-04 18:34 163  
[TXT]three_familiar_3_4_2.p2024-10-04 18:34 163  
[TXT]three_familiar_3_4_5.p2024-10-04 18:34 163  
[TXT]three_familiar_3_4_6.p2024-10-04 18:34 163  
[TXT]three_familiar_3_5_1.p2024-10-04 18:34 163  
[TXT]three_familiar_3_5_2.p2024-10-04 18:34 163  
[TXT]three_familiar_3_5_4.p2024-10-04 18:34 163  
[TXT]three_familiar_3_5_6.p2024-10-04 18:34 163  
[TXT]three_familiar_3_6_1.p2024-10-04 18:34 163  
[TXT]three_familiar_3_6_2.p2024-10-04 18:34 163  
[TXT]three_familiar_3_6_4.p2024-10-04 18:34 163  
[TXT]three_familiar_3_6_5.p2024-10-04 18:34 163  
[TXT]three_familiar_4_1_2.p2024-10-04 18:34 163  
[TXT]three_familiar_4_1_3.p2024-10-04 18:34 163  
[TXT]three_familiar_4_1_5.p2024-10-04 18:34 163  
[TXT]three_familiar_4_1_6.p2024-10-04 18:34 163  
[TXT]three_familiar_4_2_1.p2024-10-04 18:34 163  
[TXT]three_familiar_4_2_3.p2024-10-04 18:34 163  
[TXT]three_familiar_4_2_5.p2024-10-04 18:34 163  
[TXT]three_familiar_4_2_6.p2024-10-04 18:34 163  
[TXT]three_familiar_4_3_1.p2024-10-04 18:34 163  
[TXT]three_familiar_4_3_2.p2024-10-04 18:34 163  
[TXT]three_familiar_4_3_5.p2024-10-04 18:34 163  
[TXT]three_familiar_4_3_6.p2024-10-04 18:34 163  
[TXT]three_familiar_4_5_1.p2024-10-04 18:34 163  
[TXT]three_familiar_4_5_2.p2024-10-04 18:34 163  
[TXT]three_familiar_4_5_3.p2024-10-04 18:34 163  
[TXT]three_familiar_4_5_6.p2024-10-04 18:34 163  
[TXT]three_familiar_4_6_1.p2024-10-04 18:34 163  
[TXT]three_familiar_4_6_2.p2024-10-04 18:34 163  
[TXT]three_familiar_4_6_3.p2024-10-04 18:34 163  
[TXT]three_familiar_4_6_5.p2024-10-04 18:34 163  
[TXT]three_familiar_5_1_2.p2024-10-04 18:34 163  
[TXT]three_familiar_5_1_3.p2024-10-04 18:34 163  
[TXT]three_familiar_5_1_4.p2024-10-04 18:34 163  
[TXT]three_familiar_5_1_6.p2024-10-04 18:34 163  
[TXT]three_familiar_5_2_1.p2024-10-04 18:34 163  
[TXT]three_familiar_5_2_3.p2024-10-04 18:34 163  
[TXT]three_familiar_5_2_4.p2024-10-04 18:34 163  
[TXT]three_familiar_5_2_6.p2024-10-04 18:34 163  
[TXT]three_familiar_5_3_1.p2024-10-04 18:34 163  
[TXT]three_familiar_5_3_2.p2024-10-04 18:34 163  
[TXT]three_familiar_5_3_4.p2024-10-04 18:34 163  
[TXT]three_familiar_5_3_6.p2024-10-04 18:34 163  
[TXT]three_familiar_5_4_1.p2024-10-04 18:34 163  
[TXT]three_familiar_5_4_2.p2024-10-04 18:34 163  
[TXT]three_familiar_5_4_3.p2024-10-04 18:34 163  
[TXT]three_familiar_5_4_6.p2024-10-04 18:34 163  
[TXT]three_familiar_5_6_1.p2024-10-04 18:34 163  
[TXT]three_familiar_5_6_2.p2024-10-04 18:34 163  
[TXT]three_familiar_5_6_3.p2024-10-04 18:34 163  
[TXT]three_familiar_5_6_4.p2024-10-04 18:34 163  
[TXT]three_familiar_6_1_2.p2024-10-04 18:34 163  
[TXT]three_familiar_6_1_3.p2024-10-04 18:34 163  
[TXT]three_familiar_6_1_4.p2024-10-04 18:34 163  
[TXT]three_familiar_6_1_5.p2024-10-04 18:34 163  
[TXT]three_familiar_6_2_1.p2024-10-04 18:34 163  
[TXT]three_familiar_6_2_3.p2024-10-04 18:34 163  
[TXT]three_familiar_6_2_4.p2024-10-04 18:34 163  
[TXT]three_familiar_6_2_5.p2024-10-04 18:34 163  
[TXT]three_familiar_6_3_1.p2024-10-04 18:34 163  
[TXT]three_familiar_6_3_2.p2024-10-04 18:34 163  
[TXT]three_familiar_6_3_4.p2024-10-04 18:34 163  
[TXT]three_familiar_6_3_5.p2024-10-04 18:34 163  
[TXT]three_familiar_6_4_1.p2024-10-04 18:34 163  
[TXT]three_familiar_6_4_2.p2024-10-04 18:34 163  
[TXT]three_familiar_6_4_3.p2024-10-04 18:34 163  
[TXT]three_familiar_6_4_5.p2024-10-04 18:34 163  
[TXT]three_familiar_6_5_1.p2024-10-04 18:34 163  
[TXT]three_familiar_6_5_2.p2024-10-04 18:34 163  
[TXT]three_familiar_6_5_3.p2024-10-04 18:34 163  
[TXT]three_familiar_6_5_4.p2024-10-04 18:34 163  
[TXT]three_not_familiar_1_2_3.p2024-10-04 18:34 179  
[TXT]three_not_familiar_1_2_4.p2024-10-04 18:34 179  
[TXT]three_not_familiar_1_2_5.p2024-10-04 18:34 179  
[TXT]three_not_familiar_1_2_6.p2024-10-04 18:34 179  
[TXT]three_not_familiar_1_3_2.p2024-10-04 18:34 179  
[TXT]three_not_familiar_1_3_4.p2024-10-04 18:34 179  
[TXT]three_not_familiar_1_3_5.p2024-10-04 18:34 179  
[TXT]three_not_familiar_1_3_6.p2024-10-04 18:34 179  
[TXT]three_not_familiar_1_4_2.p2024-10-04 18:34 179  
[TXT]three_not_familiar_1_4_3.p2024-10-04 18:34 179  
[TXT]three_not_familiar_1_4_5.p2024-10-04 18:34 179  
[TXT]three_not_familiar_1_4_6.p2024-10-04 18:34 179  
[TXT]three_not_familiar_1_5_2.p2024-10-04 18:34 179  
[TXT]three_not_familiar_1_5_3.p2024-10-04 18:34 179  
[TXT]three_not_familiar_1_5_4.p2024-10-04 18:34 179  
[TXT]three_not_familiar_1_5_6.p2024-10-04 18:34 179  
[TXT]three_not_familiar_1_6_2.p2024-10-04 18:34 179  
[TXT]three_not_familiar_1_6_3.p2024-10-04 18:34 179  
[TXT]three_not_familiar_1_6_4.p2024-10-04 18:34 179  
[TXT]three_not_familiar_1_6_5.p2024-10-04 18:34 179  
[TXT]three_not_familiar_2_1_3.p2024-10-04 18:34 179  
[TXT]three_not_familiar_2_1_4.p2024-10-04 18:34 179  
[TXT]three_not_familiar_2_1_5.p2024-10-04 18:34 179  
[TXT]three_not_familiar_2_1_6.p2024-10-04 18:34 179  
[TXT]three_not_familiar_2_3_1.p2024-10-04 18:34 179  
[TXT]three_not_familiar_2_3_4.p2024-10-04 18:34 179  
[TXT]three_not_familiar_2_3_5.p2024-10-04 18:34 179  
[TXT]three_not_familiar_2_3_6.p2024-10-04 18:34 179  
[TXT]three_not_familiar_2_4_1.p2024-10-04 18:34 179  
[TXT]three_not_familiar_2_4_3.p2024-10-04 18:34 179  
[TXT]three_not_familiar_2_4_5.p2024-10-04 18:34 179  
[TXT]three_not_familiar_2_4_6.p2024-10-04 18:34 179  
[TXT]three_not_familiar_2_5_1.p2024-10-04 18:34 179  
[TXT]three_not_familiar_2_5_3.p2024-10-04 18:34 179  
[TXT]three_not_familiar_2_5_4.p2024-10-04 18:34 179  
[TXT]three_not_familiar_2_5_6.p2024-10-04 18:34 179  
[TXT]three_not_familiar_2_6_1.p2024-10-04 18:34 179  
[TXT]three_not_familiar_2_6_3.p2024-10-04 18:34 179  
[TXT]three_not_familiar_2_6_4.p2024-10-04 18:34 179  
[TXT]three_not_familiar_2_6_5.p2024-10-04 18:34 179  
[TXT]three_not_familiar_3_1_2.p2024-10-04 18:34 179  
[TXT]three_not_familiar_3_1_4.p2024-10-04 18:34 179  
[TXT]three_not_familiar_3_1_5.p2024-10-04 18:34 179  
[TXT]three_not_familiar_3_1_6.p2024-10-04 18:34 179  
[TXT]three_not_familiar_3_2_1.p2024-10-04 18:34 179  
[TXT]three_not_familiar_3_2_4.p2024-10-04 18:34 179  
[TXT]three_not_familiar_3_2_5.p2024-10-04 18:34 179  
[TXT]three_not_familiar_3_2_6.p2024-10-04 18:34 179  
[TXT]three_not_familiar_3_4_1.p2024-10-04 18:34 179  
[TXT]three_not_familiar_3_4_2.p2024-10-04 18:34 179  
[TXT]three_not_familiar_3_4_5.p2024-10-04 18:34 179  
[TXT]three_not_familiar_3_4_6.p2024-10-04 18:34 179  
[TXT]three_not_familiar_3_5_1.p2024-10-04 18:34 179  
[TXT]three_not_familiar_3_5_2.p2024-10-04 18:34 179  
[TXT]three_not_familiar_3_5_4.p2024-10-04 18:34 179  
[TXT]three_not_familiar_3_5_6.p2024-10-04 18:34 179  
[TXT]three_not_familiar_3_6_1.p2024-10-04 18:34 179  
[TXT]three_not_familiar_3_6_2.p2024-10-04 18:34 179  
[TXT]three_not_familiar_3_6_4.p2024-10-04 18:34 179  
[TXT]three_not_familiar_3_6_5.p2024-10-04 18:34 179  
[TXT]three_not_familiar_4_1_2.p2024-10-04 18:34 179  
[TXT]three_not_familiar_4_1_3.p2024-10-04 18:34 179  
[TXT]three_not_familiar_4_1_5.p2024-10-04 18:34 179  
[TXT]three_not_familiar_4_1_6.p2024-10-04 18:34 179  
[TXT]three_not_familiar_4_2_1.p2024-10-04 18:34 179  
[TXT]three_not_familiar_4_2_3.p2024-10-04 18:34 179  
[TXT]three_not_familiar_4_2_5.p2024-10-04 18:34 179  
[TXT]three_not_familiar_4_2_6.p2024-10-04 18:34 179  
[TXT]three_not_familiar_4_3_1.p2024-10-04 18:34 179  
[TXT]three_not_familiar_4_3_2.p2024-10-04 18:34 179  
[TXT]three_not_familiar_4_3_5.p2024-10-04 18:34 179  
[TXT]three_not_familiar_4_3_6.p2024-10-04 18:34 179  
[TXT]three_not_familiar_4_5_1.p2024-10-04 18:34 179  
[TXT]three_not_familiar_4_5_2.p2024-10-04 18:34 179  
[TXT]three_not_familiar_4_5_3.p2024-10-04 18:34 179  
[TXT]three_not_familiar_4_5_6.p2024-10-04 18:34 179  
[TXT]three_not_familiar_4_6_1.p2024-10-04 18:34 179  
[TXT]three_not_familiar_4_6_2.p2024-10-04 18:34 179  
[TXT]three_not_familiar_4_6_3.p2024-10-04 18:34 179  
[TXT]three_not_familiar_4_6_5.p2024-10-04 18:34 179  
[TXT]three_not_familiar_5_1_2.p2024-10-04 18:34 179  
[TXT]three_not_familiar_5_1_3.p2024-10-04 18:34 179  
[TXT]three_not_familiar_5_1_4.p2024-10-04 18:34 179  
[TXT]three_not_familiar_5_1_6.p2024-10-04 18:34 179  
[TXT]three_not_familiar_5_2_1.p2024-10-04 18:34 179  
[TXT]three_not_familiar_5_2_3.p2024-10-04 18:34 179  
[TXT]three_not_familiar_5_2_4.p2024-10-04 18:34 179  
[TXT]three_not_familiar_5_2_6.p2024-10-04 18:34 179  
[TXT]three_not_familiar_5_3_1.p2024-10-04 18:34 179  
[TXT]three_not_familiar_5_3_2.p2024-10-04 18:34 179  
[TXT]three_not_familiar_5_3_4.p2024-10-04 18:34 179  
[TXT]three_not_familiar_5_3_6.p2024-10-04 18:34 179  
[TXT]three_not_familiar_5_4_1.p2024-10-04 18:34 179  
[TXT]three_not_familiar_5_4_2.p2024-10-04 18:34 179  
[TXT]three_not_familiar_5_4_3.p2024-10-04 18:34 179  
[TXT]three_not_familiar_5_4_6.p2024-10-04 18:34 179  
[TXT]three_not_familiar_5_6_1.p2024-10-04 18:34 179  
[TXT]three_not_familiar_5_6_2.p2024-10-04 18:34 179  
[TXT]three_not_familiar_5_6_3.p2024-10-04 18:34 179  
[TXT]three_not_familiar_5_6_4.p2024-10-04 18:34 179  
[TXT]three_not_familiar_6_1_2.p2024-10-04 18:34 179  
[TXT]three_not_familiar_6_1_3.p2024-10-04 18:34 179  
[TXT]three_not_familiar_6_1_4.p2024-10-04 18:34 179  
[TXT]three_not_familiar_6_1_5.p2024-10-04 18:34 179  
[TXT]three_not_familiar_6_2_1.p2024-10-04 18:34 179  
[TXT]three_not_familiar_6_2_3.p2024-10-04 18:34 179  
[TXT]three_not_familiar_6_2_4.p2024-10-04 18:34 179  
[TXT]three_not_familiar_6_2_5.p2024-10-04 18:34 179  
[TXT]three_not_familiar_6_3_1.p2024-10-04 18:34 179  
[TXT]three_not_familiar_6_3_2.p2024-10-04 18:34 179  
[TXT]three_not_familiar_6_3_4.p2024-10-04 18:34 179  
[TXT]three_not_familiar_6_3_5.p2024-10-04 18:34 179  
[TXT]three_not_familiar_6_4_1.p2024-10-04 18:34 179  
[TXT]three_not_familiar_6_4_2.p2024-10-04 18:34 179  
[TXT]three_not_familiar_6_4_3.p2024-10-04 18:34 179  
[TXT]three_not_familiar_6_4_5.p2024-10-04 18:34 179  
[TXT]three_not_familiar_6_5_1.p2024-10-04 18:34 179  
[TXT]three_not_familiar_6_5_2.p2024-10-04 18:34 179  
[TXT]three_not_familiar_6_5_3.p2024-10-04 18:34 179  
[TXT]three_not_familiar_6_5_4.p2024-10-04 18:34 179  
Apache/2.4.58 (Ubuntu) Server at tptp.org Port 443