| .. | |
| p2_c21_k10_plain.txt | 10 B |
| p2_c21_k9_plain.txt | 10 B |
| p3_c14_k6_plain.txt | 10 B |
| p3_c14_k7_plain.txt | 10 B |
| p5_c8_k4_plain.txt | 10 B |
| p7_c1_k1_drat.txt | 441 B |
| p7_c1_k1_plain.txt | 10 B |
| p7_c1_k1_proof_kissat.txt | 16 B |
| p7_c2_k1_drat.txt | 435 B |
| p7_c2_k1_plain.txt | 16 B |
| p7_c2_k1_proof_kissat.txt | 16 B |
| p7_c2_k2_drat.txt | 432 B |
| p7_c2_k2_plain.txt | 16 B |
| p7_c2_k2_proof_kissat.txt | 16 B |
| p7_c3_k1_drat.txt | 439 B |
| p7_c3_k1_plain.txt | 16 B |
| p7_c3_k1_proof_kissat.txt | 16 B |
| p7_c3_k3_drat.txt | 432 B |
| p7_c3_k3_plain.txt | 16 B |
| p7_c3_k3_proof_kissat.txt | 16 B |
| p7_c4_k1_drat.txt | 444 B |
| p7_c4_k1_plain.txt | 16 B |
| p7_c4_k1_proof_kissat.txt | 16 B |
| p7_c4_k2_drat.txt | 439 B |
| p7_c4_k2_plain.txt | 16 B |
| p7_c4_k2_proof_kissat.txt | 16 B |
| p7_c5_k2_drat.txt | 445 B |
| p7_c5_k2_plain.txt | 16 B |
| p7_c5_k2_proof_kissat.txt | 16 B |
| p7_c6_k3_plain.txt | 10 B |
| p7_neighborhoods_complete_plain_drat.txt | 421 B |
| p7_neighborhoods_complete_plain_kissat.txt | 16 B |
| prove_p7_0.txt | 15 KB |
| prove_p7_1.txt | 15 KB |
| prove_p7_2.txt | 15 KB |
| prove_p7_3.txt | 15 KB |
| prove_p7_4.txt | 15 KB |
| prove_p7_5.txt | 15 KB |
| prove_p7_6.txt | 15 KB |
| prove_p7_7.txt | 15 KB |
| replay_direct_p7.txt | 144 B |
| replay_p7_0.txt | 2.2 KB |
| replay_p7_1.txt | 2.2 KB |
| replay_p7_2.txt | 2.2 KB |
| replay_p7_3.txt | 2.1 KB |
| replay_p7_4.txt | 2.1 KB |
| replay_p7_5.txt | 2.1 KB |
| replay_p7_6.txt | 2.1 KB |
| replay_p7_7.txt | 2.1 KB |
| verify_encoder.txt | 774 B |