files / problems / seymour-second-neighborhood / compute / certs

..
eulerian_n11_d4_n2le3_pysat.json581 B
eulerian_n11_d4_pysat.json436 B
eulerian_n13_d5_pysat.json472 B
eulerian_n15_d6_pysat.json474 B
eulerian_n17_d7_pysat.json472 B
eulerian_n19_d8_pysat.json473 B
eulerian_n7_d2_n2le1_pysat.json584 B
eulerian_n7_d2_pysat.json433 B
eulerian_n9_d3_n2le2_pysat.json585 B
eulerian_n9_d3_pysat.json434 B
known_constructions.json9.0 KB
n8_irregular_pisa.json1.4 KB
n8_miss1regular.json1.4 KB
n8_miss22333333.json1.4 KB
n8_miss2regular.json1.4 KB
n8_miss33222222.json1.4 KB
n8_miss3regular.json1.4 KB
n8_miss5regular.json1.4 KB
pisa_geng_n6.json367 B
pisa_geng_n7.json456 B
pisa_geng_n8.json802 B
pisa_n4.json187 B
pisa_n5.json250 B
pisa_n6.json435 B
pisa_n7.json327 B
pisa_n8_types.json2.3 KB
pisa8_irregular.json22 KB
pisa8_irregular2.json2.4 KB
pisa8_md_2_2_2_2_2_2_2_2.json18 KB
pisa8_md_3_3_3_3_2_2_2_2.json19 KB
pisa8_md_3_3_3_3_3_3_2_2.json17 KB
pisa8_md_4_3_3_3_3_3_3_2.json18 KB
pisa8_md_4_4_4_4_2_2_2_2.json165 B
pisa8_md_4_4_4_4_4_4_4_4.json8.0 KB
pisa8_md_5_5_5_5_5_5_5_5.json1.9 KB
pisa8_md_6_6_6_6_6_6_6_6.json343 B
pisa8_reg3.json22 KB
regular_d2.json146 B
regular_d3.json150 B
regular_d4.json147 B
regular_d5.json150 B
regular_d6.json149 B
verified_witnesses.json3.4 KB
verify_report.json3.5 KB

This folder on GitHub