The code behind this run
Back to the entry · Download everything (code.zip) · code.tar.gz
Start with README.md: it says how to build and run each piece. Every file below is exactly what the run used.
- README.md 4.0 KB
- alld.py 2.6 KB
- anneal.c 2.8 KB
- attack/README.md 2.4 KB
- attack/bound.py 3.4 KB
- attack/bound2.py 653 B
- attack/cands3.cpp 1.5 KB
- attack/canon.cpp 524 B
- attack/caps.cpp 8.3 KB
- attack/close.py 2.5 KB
- attack/close3d.py 2.7 KB
- attack/close3d_shape.py 2.8 KB
- attack/deeper.py 5.1 KB
- attack/ext.cpp 3.8 KB
- attack/ext2.cpp 3.7 KB
- attack/identity_check.py 1.6 KB
- attack/out/caps_out.txt 1.3 KB
- attack/out/close_51.txt 1.3 KB
- attack/out/close_51b.txt 782 B
- attack/out/close_51c.txt 597 B
- attack/out/close_52.txt 429 B
- attack/out/close_52b.txt 758 B
- attack/out/close_52c.txt 448 B
- attack/out/ext2_m28_c14.txt 151 B
- attack/out/ext2_m28_c15.txt 152 B
- attack/out/ext2_m28_c16.txt 150 B
- attack/out/ext2_m28_c17.txt 147 B
- attack/out/ext2_m28_c18.txt 144 B
- attack/out/ext2_m28_c19.txt 138 B
- attack/out/ext2_m28_c20.txt 138 B
- attack/out/ext2_m29_c10.txt 149 B
- attack/out/ext2_m29_c11.txt 151 B
- attack/out/ext2_m29_c12.txt 154 B
- attack/out/ext2_m29_c13.txt 126 B
- attack/out/ext2_m29_c14.txt 126 B
- attack/out/ext2_m29_c15.txt 126 B
- attack/out/ext2_m29_c16.txt 153 B
- attack/out/ext2_m29_c17.txt 148 B
- attack/out/ext2_m29_c18.txt 146 B
- attack/out/ext2_m29_c19.txt 142 B
- attack/out/ext2_m29_c20.txt 138 B
- attack/out/ext2_m29_c9.txt 144 B
- attack/out/killed_51_290.txt 104 B
- attack/out/killed_52_306.txt 52 B
- attack/out/shape_41_44.txt 2.3 KB
- attack/out/split3d_51_23_14_14.txt 1.7 KB
- attack/sa.cpp 2.5 KB
- attack/split3c.cpp 5.1 KB
- attack/split3d.cpp 6.3 KB
- attack/split3e.cpp 7.9 KB
- attack/verify_sa.py 1.4 KB
- bound.py 6.3 KB
- canon4.c 3.7 KB
- certify.py 2.6 KB
- check.py 1.8 KB
- classes3.c 4.2 KB
- classes4.py 2.7 KB
- classify.py 1.8 KB
- orbits.c 6.4 KB
- out/alld.txt 4.2 KB
- out/anneal.txt 3.6 KB
- out/bound-dims.txt 287 B
- out/bound-selftest.txt 1.7 KB
- out/bound.txt 15.2 KB
- out/caps.txt 216 B
- out/certificates.json 12.3 KB
- out/classes3.txt 851 B
- out/classes4.txt 1.9 KB
- out/classify.txt 2.5 KB
- out/few2.txt 779 B
- out/few5.txt 1.2 KB
- out/orbits.txt 938 B
- out/third.txt 2.5 KB
- out/witnesses.txt 9.3 KB
- third.c 2.6 KB
- witness.py 2.1 KB