Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/SYN302-1.003/VerificationProblems/E-SAT---3.0

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[TXT]p_1_1_q_1_2_p_2_2.p2024-10-04 18:23 126  
[TXT]q_2_1_q_2_2_p_0_2.p2024-10-04 18:23 126  
[TXT]p_1_2_q_1_0_q_2_0.p2024-10-04 18:23 126  
[TXT]p_0_0_q_0_1_p_1_1.p2024-10-04 18:23 126  
[TXT]p_2_0_p_2_1_p_0_1.p2024-10-04 18:23 126  
[TXT]q_0_2_q_0_0_q_1_0.p2024-10-04 18:23 126  
[TXT]p_2_0_q_2_1_p_0_1.p2024-10-04 18:23 126  
[TXT]p_1_0_p_1_1_q_2_1.p2024-10-04 18:23 126  
[TXT]p_1_0_q_1_1_q_2_1.p2024-10-04 18:23 126  
[TXT]p_1_1_q_1_2_q_2_2.p2024-10-04 18:23 126  
[TXT]q_1_2_q_1_0_p_2_0.p2024-10-04 18:23 126  
[TXT]p_1_2_p_1_0_q_2_0.p2024-10-04 18:23 126  
[TXT]q_2_1_p_2_2_q_0_2.p2024-10-04 18:23 126  
[TXT]p_1_0_p_1_1_p_2_1.p2024-10-04 18:23 126  
[TXT]q_2_0_p_2_1_p_0_1.p2024-10-04 18:23 126  
[TXT]q_1_0_p_1_1_q_2_1.p2024-10-04 18:23 126  
[TXT]q_2_0_q_2_1_q_0_1.p2024-10-04 18:23 126  
[TXT]q_1_0_q_1_1_p_2_1.p2024-10-04 18:23 126  
[TXT]q_0_1_p_0_2_q_1_2.p2024-10-04 18:23 126  
[TXT]p_2_2_p_2_0_p_0_0.p2024-10-04 18:23 126  
[TXT]q_1_2_p_1_0_p_2_0.p2024-10-04 18:23 126  
[TXT]q_2_2_q_2_0_p_0_0.p2024-10-04 18:23 126  
[TXT]q_2_2_p_2_0_q_0_0.p2024-10-04 18:23 126  
[TXT]q_1_2_q_1_0_q_2_0.p2024-10-04 18:23 126  
[TXT]p_0_1_q_0_2_p_1_2.p2024-10-04 18:23 126  
[TXT]p_0_2_p_0_0_p_1_0.p2024-10-04 18:23 126  
[TXT]p_0_2_q_0_0_q_1_0.p2024-10-04 18:23 126  
[TXT]q_2_2_p_2_0_p_0_0.p2024-10-04 18:23 126  
[TXT]q_1_1_p_1_2_q_2_2.p2024-10-04 18:23 126  
[TXT]q_0_0_q_0_1_q_1_1.p2024-10-04 18:23 126  
[TXT]q_1_0_p_1_1_p_2_1.p2024-10-04 18:23 126  
[TXT]p_2_2_q_2_0_p_0_0.p2024-10-04 18:23 126  
[TXT]q_0_1_q_0_2_q_1_2.p2024-10-04 18:23 126  
[TXT]q_0_0_p_0_1_q_1_1.p2024-10-04 18:23 126  
[TXT]p_1_1_p_1_2_p_2_2.p2024-10-04 18:23 126  
[TXT]p_2_1_p_2_2_p_0_2.p2024-10-04 18:23 126  
[TXT]p_2_1_q_2_2_q_0_2.p2024-10-04 18:23 126  
[TXT]p_2_0_q_2_1_q_0_1.p2024-10-04 18:23 126  
[TXT]q_2_0_q_2_1_p_0_1.p2024-10-04 18:23 126  
[TXT]p_2_2_q_2_0_q_0_0.p2024-10-04 18:23 126  
[TXT]p_0_2_q_0_0_p_1_0.p2024-10-04 18:23 126  
[TXT]q_0_2_p_0_0_p_1_0.p2024-10-04 18:23 126  
[TXT]p_1_2_q_1_0_p_2_0.p2024-10-04 18:23 126  
[TXT]q_2_0_p_2_1_q_0_1.p2024-10-04 18:23 126  
[TXT]q_2_1_p_2_2_p_0_2.p2024-10-04 18:23 126  
[TXT]q_0_1_q_0_2_p_1_2.p2024-10-04 18:23 126  
[TXT]q_0_0_p_0_1_p_1_1.p2024-10-04 18:23 126  
[TXT]q_1_2_p_1_0_q_2_0.p2024-10-04 18:23 126  
[TXT]p_2_1_p_2_2_q_0_2.p2024-10-04 18:23 126  
[TXT]q_1_0_q_1_1_q_2_1.p2024-10-04 18:23 126  
[TXT]p_0_1_p_0_2_p_1_2.p2024-10-04 18:23 126  
[TXT]p_1_2_p_1_0_p_2_0.p2024-10-04 18:23 126  
[TXT]q_2_2_q_2_0_q_0_0.p2024-10-04 18:23 126  
[TXT]p_0_0_p_0_1_p_1_1.p2024-10-04 18:23 126  
[TXT]q_0_2_p_0_0_q_1_0.p2024-10-04 18:23 126  
[TXT]q_0_1_p_0_2_p_1_2.p2024-10-04 18:23 126  
[TXT]p_2_2_p_2_0_q_0_0.p2024-10-04 18:23 126  
[TXT]q_1_1_q_1_2_q_2_2.p2024-10-04 18:23 126  
[TXT]p_0_1_p_0_2_q_1_2.p2024-10-04 18:23 126  
[TXT]q_0_0_q_0_1_p_1_1.p2024-10-04 18:23 126  
[TXT]p_0_0_q_0_1_q_1_1.p2024-10-04 18:23 126  
[TXT]q_2_1_q_2_2_q_0_2.p2024-10-04 18:23 126  
[TXT]p_0_1_q_0_2_q_1_2.p2024-10-04 18:23 126  
[TXT]p_1_0_q_1_1_p_2_1.p2024-10-04 18:23 126  
[TXT]p_2_1_q_2_2_p_0_2.p2024-10-04 18:23 126  
[TXT]q_1_1_q_1_2_p_2_2.p2024-10-04 18:23 126  
[TXT]p_0_2_p_0_0_q_1_0.p2024-10-04 18:23 126  
[TXT]q_0_2_q_0_0_p_1_0.p2024-10-04 18:23 126  
[TXT]p_0_0_p_0_1_q_1_1.p2024-10-04 18:23 126  
[TXT]p_1_1_p_1_2_q_2_2.p2024-10-04 18:23 126  
[TXT]q_1_1_p_1_2_p_2_2.p2024-10-04 18:23 126  
[TXT]p_2_0_p_2_1_q_0_1.p2024-10-04 18:23 126  
Apache/2.4.58 (Ubuntu) Server at tptp.org Port 443