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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[TXT]h_down.p2024-10-04 18:33 322  
[TXT]v4_left.p2024-10-04 18:33 322  
[TXT]s1_left.p2024-10-04 18:33 312  
[TXT]v2_up.p2024-10-04 18:33 313  
[TXT]v2_right.p2024-10-04 18:33 323  
[TXT]v4_down.p2024-10-04 18:33 315  
[TXT]s2_right.p2024-10-04 18:33 313  
[TXT]s4_down.p2024-10-04 18:33 312  
[TXT]swap_blanks.p2024-10-04 18:33 326  
[TXT]v3_up.p2024-10-04 18:33 313  
[TXT]v1_left.p2024-10-04 18:33 322  
[TXT]s2_down.p2024-10-04 18:33 312  
[TXT]s2_up.p2024-10-04 18:33 310  
[TXT]v3_left.p2024-10-04 18:33 322  
[TXT]s1_up.p2024-10-04 18:33 310  
[TXT]s4_right.p2024-10-04 18:33 313  
[TXT]v2_left.p2024-10-04 18:33 322  
[TXT]s3_left.p2024-10-04 18:33 312  
[TXT]b_left.p2024-10-04 18:33 330  
[TXT]v2_down.p2024-10-04 18:33 315  
[TXT]s4_up.p2024-10-04 18:33 310  
[TXT]v3_down.p2024-10-04 18:33 315  
[TXT]s3_up.p2024-10-04 18:33 310  
[TXT]s2_left.p2024-10-04 18:33 312  
[TXT]b_up.p2024-10-04 18:33 328  
[TXT]s1_right.p2024-10-04 18:33 313  
[TXT]v1_up.p2024-10-04 18:33 313  
[TXT]h_up.p2024-10-04 18:33 320  
[TXT]h_left.p2024-10-04 18:33 315  
[TXT]v1_right.p2024-10-04 18:33 323  
[TXT]b_down.p2024-10-04 18:33 330  
[TXT]h_right.p2024-10-04 18:33 316  
[TXT]s1_down.p2024-10-04 18:33 312  
[TXT]v4_right.p2024-10-04 18:33 323  
[TXT]b_right.p2024-10-04 18:33 331  
[TXT]s3_right.p2024-10-04 18:33 313  
[TXT]v4_up.p2024-10-04 18:33 313  
[TXT]v1_down.p2024-10-04 18:33 315  
[TXT]v3_right.p2024-10-04 18:33 323  
[TXT]s3_down.p2024-10-04 18:33 312  
[TXT]s4_left.p2024-10-04 18:33 312  

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