Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/PUZ049-10/VerificationProblems/iProver-SAT---3.7

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[TXT]v4_up.p2024-10-04 18:33 329  
[TXT]v4_right.p2024-10-04 18:33 339  
[TXT]v4_left.p2024-10-04 18:33 338  
[TXT]v4_down.p2024-10-04 18:33 331  
[TXT]v3_up.p2024-10-04 18:33 329  
[TXT]v3_right.p2024-10-04 18:33 339  
[TXT]v3_left.p2024-10-04 18:33 338  
[TXT]v3_down.p2024-10-04 18:33 331  
[TXT]v2_up.p2024-10-04 18:33 329  
[TXT]v2_right.p2024-10-04 18:33 339  
[TXT]v2_left.p2024-10-04 18:33 338  
[TXT]v2_down.p2024-10-04 18:33 331  
[TXT]v1_up.p2024-10-04 18:33 329  
[TXT]v1_right.p2024-10-04 18:33 339  
[TXT]v1_left.p2024-10-04 18:33 338  
[TXT]v1_down.p2024-10-04 18:33 331  
[TXT]swap_blanks.p2024-10-04 18:33 342  
[TXT]s4_up.p2024-10-04 18:33 326  
[TXT]s4_right.p2024-10-04 18:33 329  
[TXT]s4_left.p2024-10-04 18:33 328  
[TXT]s4_down.p2024-10-04 18:33 328  
[TXT]s3_up.p2024-10-04 18:33 326  
[TXT]s3_right.p2024-10-04 18:33 329  
[TXT]s3_left.p2024-10-04 18:33 328  
[TXT]s3_down.p2024-10-04 18:33 328  
[TXT]s2_up.p2024-10-04 18:33 326  
[TXT]s2_right.p2024-10-04 18:33 329  
[TXT]s2_left.p2024-10-04 18:33 328  
[TXT]s2_down.p2024-10-04 18:33 328  
[TXT]s1_up.p2024-10-04 18:33 326  
[TXT]s1_right.p2024-10-04 18:33 329  
[TXT]s1_left.p2024-10-04 18:33 328  
[TXT]s1_down.p2024-10-04 18:33 328  
[TXT]intermediate_state.p2024-10-04 18:33 324  
[TXT]ifeq_axiom.p2024-10-04 18:33 138  
[TXT]h_up.p2024-10-04 18:33 336  
[TXT]h_right.p2024-10-04 18:33 332  
[TXT]h_left.p2024-10-04 18:33 331  
[TXT]h_down.p2024-10-04 18:33 338  
[TXT]goal_state.p2024-10-04 18:33 261  
[TXT]b_up.p2024-10-04 18:33 344  
[TXT]b_right.p2024-10-04 18:33 347  
[TXT]b_left.p2024-10-04 18:33 346  
[TXT]b_down.p2024-10-04 18:33 346  

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