|
..
|
|
k-16_placement-first_r-12_seed-0_solver-cadical.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
k-16_placement-first_r-12_seed-0_solver-kissat.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
k-16_placement-first_r-12_seed-0_solver-z3.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
k-16_placement-first_r-12_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-16_placement-first_r-12_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-16_placement-first_r-12_seed-1_solver-z3.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-16_placement-first_r-12_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-16_placement-first_r-12_seed-2_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-16_placement-first_r-12_seed-2_solver-z3.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-16_placement-first_r-16_seed-0_solver-cadical.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
k-16_placement-first_r-16_seed-0_solver-kissat.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
k-16_placement-first_r-16_seed-0_solver-z3.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
k-16_placement-first_r-16_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-16_placement-first_r-16_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-16_placement-first_r-16_seed-1_solver-z3.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-16_placement-first_r-16_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-16_placement-first_r-16_seed-2_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-16_placement-first_r-16_seed-2_solver-z3.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-16_placement-first_r-20_seed-0_solver-cadical.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
k-16_placement-first_r-20_seed-0_solver-kissat.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
k-16_placement-first_r-20_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-16_placement-first_r-20_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-16_placement-first_r-20_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-16_placement-first_r-20_seed-2_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-16_placement-first_r-24_seed-0_solver-cadical.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
k-16_placement-first_r-24_seed-0_solver-kissat.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
k-16_placement-first_r-24_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-16_placement-first_r-24_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-16_placement-first_r-24_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-16_placement-first_r-24_seed-2_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-16_placement-first_r-28_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-16_placement-first_r-28_seed-0_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-16_placement-first_r-28_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-16_placement-first_r-28_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-16_placement-first_r-28_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-16_placement-first_r-28_seed-2_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-16_placement-first_r-32_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-16_placement-first_r-32_seed-0_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-16_placement-first_r-32_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-16_placement-first_r-32_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-16_placement-first_r-32_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-16_placement-first_r-32_seed-2_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-16_placement-first_r-4_seed-0_solver-cadical.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
k-16_placement-first_r-4_seed-0_solver-kissat.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
k-16_placement-first_r-4_seed-0_solver-z3.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
k-16_placement-first_r-4_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-16_placement-first_r-4_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-16_placement-first_r-4_seed-1_solver-z3.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-16_placement-first_r-4_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-16_placement-first_r-4_seed-2_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-16_placement-first_r-4_seed-2_solver-z3.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-16_placement-first_r-40_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-16_placement-first_r-40_seed-0_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-16_placement-first_r-40_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-16_placement-first_r-40_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-16_placement-first_r-40_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-16_placement-first_r-40_seed-2_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-16_placement-first_r-48_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-16_placement-first_r-48_seed-0_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-16_placement-first_r-48_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-16_placement-first_r-48_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-16_placement-first_r-48_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-16_placement-first_r-48_seed-2_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-16_placement-first_r-64_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-16_placement-first_r-64_seed-0_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-16_placement-first_r-64_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-16_placement-first_r-64_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-16_placement-first_r-64_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-16_placement-first_r-64_seed-2_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-16_placement-first_r-8_seed-0_solver-cadical.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
k-16_placement-first_r-8_seed-0_solver-kissat.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
k-16_placement-first_r-8_seed-0_solver-z3.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
k-16_placement-first_r-8_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-16_placement-first_r-8_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-16_placement-first_r-8_seed-1_solver-z3.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-16_placement-first_r-8_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-16_placement-first_r-8_seed-2_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-16_placement-first_r-8_seed-2_solver-z3.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-16_placement-spread_r-12_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-16_placement-spread_r-12_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-16_placement-spread_r-12_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-16_placement-spread_r-16_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-16_placement-spread_r-16_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-16_placement-spread_r-16_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-16_placement-spread_r-20_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-16_placement-spread_r-20_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-16_placement-spread_r-20_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-16_placement-spread_r-24_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-16_placement-spread_r-24_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-16_placement-spread_r-24_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-16_placement-spread_r-28_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-16_placement-spread_r-28_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-16_placement-spread_r-28_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-16_placement-spread_r-32_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-16_placement-spread_r-32_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-16_placement-spread_r-32_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-16_placement-spread_r-4_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-16_placement-spread_r-4_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-16_placement-spread_r-4_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-16_placement-spread_r-40_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-16_placement-spread_r-40_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-16_placement-spread_r-40_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-16_placement-spread_r-48_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-16_placement-spread_r-48_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-16_placement-spread_r-48_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-16_placement-spread_r-64_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-16_placement-spread_r-64_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-16_placement-spread_r-64_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-16_placement-spread_r-8_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-16_placement-spread_r-8_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-16_placement-spread_r-8_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-24_placement-first_r-12_seed-0_solver-cadical.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
k-24_placement-first_r-12_seed-0_solver-kissat.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
k-24_placement-first_r-12_seed-0_solver-z3.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
k-24_placement-first_r-12_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-24_placement-first_r-12_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-24_placement-first_r-12_seed-1_solver-z3.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-24_placement-first_r-12_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-24_placement-first_r-12_seed-2_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-24_placement-first_r-12_seed-2_solver-z3.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-24_placement-first_r-16_seed-0_solver-cadical.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
k-24_placement-first_r-16_seed-0_solver-kissat.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
k-24_placement-first_r-16_seed-0_solver-z3.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
k-24_placement-first_r-16_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-24_placement-first_r-16_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-24_placement-first_r-16_seed-1_solver-z3.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-24_placement-first_r-16_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-24_placement-first_r-16_seed-2_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-24_placement-first_r-16_seed-2_solver-z3.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-24_placement-first_r-20_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-24_placement-first_r-20_seed-0_solver-kissat.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
k-24_placement-first_r-20_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-24_placement-first_r-20_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-24_placement-first_r-24_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-24_placement-first_r-24_seed-0_solver-kissat.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
k-24_placement-first_r-24_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-24_placement-first_r-24_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-24_placement-first_r-28_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-24_placement-first_r-28_seed-0_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-24_placement-first_r-28_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-24_placement-first_r-28_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-24_placement-first_r-32_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-24_placement-first_r-32_seed-0_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-24_placement-first_r-32_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-24_placement-first_r-32_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-24_placement-first_r-4_seed-0_solver-cadical.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
k-24_placement-first_r-4_seed-0_solver-kissat.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
k-24_placement-first_r-4_seed-0_solver-z3.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
k-24_placement-first_r-4_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-24_placement-first_r-4_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-24_placement-first_r-4_seed-1_solver-z3.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-24_placement-first_r-4_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-24_placement-first_r-4_seed-2_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-24_placement-first_r-4_seed-2_solver-z3.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-24_placement-first_r-40_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-24_placement-first_r-40_seed-0_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-24_placement-first_r-40_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-24_placement-first_r-40_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-24_placement-first_r-48_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-24_placement-first_r-48_seed-0_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-24_placement-first_r-48_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-24_placement-first_r-48_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-24_placement-first_r-64_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-24_placement-first_r-64_seed-0_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-24_placement-first_r-64_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-24_placement-first_r-64_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-24_placement-first_r-8_seed-0_solver-cadical.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
k-24_placement-first_r-8_seed-0_solver-kissat.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
k-24_placement-first_r-8_seed-0_solver-z3.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
k-24_placement-first_r-8_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-24_placement-first_r-8_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-24_placement-first_r-8_seed-1_solver-z3.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-24_placement-first_r-8_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-24_placement-first_r-8_seed-2_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-24_placement-first_r-8_seed-2_solver-z3.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-24_placement-spread_r-12_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-24_placement-spread_r-12_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-24_placement-spread_r-12_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-24_placement-spread_r-16_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-24_placement-spread_r-16_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-24_placement-spread_r-16_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-24_placement-spread_r-20_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-24_placement-spread_r-20_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-24_placement-spread_r-24_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-24_placement-spread_r-24_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-24_placement-spread_r-28_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-24_placement-spread_r-32_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-24_placement-spread_r-4_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-24_placement-spread_r-4_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-24_placement-spread_r-4_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-24_placement-spread_r-40_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-24_placement-spread_r-48_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-24_placement-spread_r-64_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-24_placement-spread_r-8_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-24_placement-spread_r-8_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-24_placement-spread_r-8_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-32_placement-first_r-12_seed-0_solver-cadical.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
k-32_placement-first_r-12_seed-0_solver-kissat.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
k-32_placement-first_r-12_seed-0_solver-z3.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
k-32_placement-first_r-12_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-32_placement-first_r-12_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-32_placement-first_r-12_seed-1_solver-z3.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-32_placement-first_r-12_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-32_placement-first_r-12_seed-2_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-32_placement-first_r-12_seed-2_solver-z3.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-32_placement-first_r-16_seed-0_solver-cadical.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
k-32_placement-first_r-16_seed-0_solver-kissat.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
k-32_placement-first_r-16_seed-0_solver-z3.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
k-32_placement-first_r-16_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-32_placement-first_r-16_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-32_placement-first_r-16_seed-1_solver-z3.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-32_placement-first_r-16_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-32_placement-first_r-16_seed-2_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-32_placement-first_r-16_seed-2_solver-z3.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-32_placement-first_r-20_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-32_placement-first_r-20_seed-0_solver-kissat.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
k-32_placement-first_r-20_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-32_placement-first_r-20_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-32_placement-first_r-24_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-32_placement-first_r-24_seed-0_solver-kissat.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
k-32_placement-first_r-24_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-32_placement-first_r-24_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-32_placement-first_r-28_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-32_placement-first_r-28_seed-0_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-32_placement-first_r-28_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-32_placement-first_r-28_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-32_placement-first_r-32_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-32_placement-first_r-32_seed-0_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-32_placement-first_r-32_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-32_placement-first_r-32_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-32_placement-first_r-4_seed-0_solver-cadical.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
k-32_placement-first_r-4_seed-0_solver-kissat.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
k-32_placement-first_r-4_seed-0_solver-z3.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
k-32_placement-first_r-4_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-32_placement-first_r-4_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-32_placement-first_r-4_seed-1_solver-z3.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-32_placement-first_r-4_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-32_placement-first_r-4_seed-2_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-32_placement-first_r-4_seed-2_solver-z3.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-32_placement-first_r-40_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-32_placement-first_r-40_seed-0_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-32_placement-first_r-40_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-32_placement-first_r-40_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-32_placement-first_r-48_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-32_placement-first_r-48_seed-0_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-32_placement-first_r-48_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-32_placement-first_r-48_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-32_placement-first_r-64_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-32_placement-first_r-64_seed-0_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-32_placement-first_r-64_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-32_placement-first_r-64_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-32_placement-first_r-8_seed-0_solver-cadical.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
k-32_placement-first_r-8_seed-0_solver-kissat.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
k-32_placement-first_r-8_seed-0_solver-z3.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
k-32_placement-first_r-8_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-32_placement-first_r-8_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-32_placement-first_r-8_seed-1_solver-z3.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-32_placement-first_r-8_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-32_placement-first_r-8_seed-2_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-32_placement-first_r-8_seed-2_solver-z3.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-32_placement-spread_r-12_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-32_placement-spread_r-12_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-32_placement-spread_r-12_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-32_placement-spread_r-16_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-32_placement-spread_r-16_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-32_placement-spread_r-16_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-32_placement-spread_r-20_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-32_placement-spread_r-20_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-32_placement-spread_r-24_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-32_placement-spread_r-24_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-32_placement-spread_r-28_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-32_placement-spread_r-32_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-32_placement-spread_r-4_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-32_placement-spread_r-4_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-32_placement-spread_r-4_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-32_placement-spread_r-40_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-32_placement-spread_r-48_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-32_placement-spread_r-64_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-32_placement-spread_r-8_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-32_placement-spread_r-8_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-32_placement-spread_r-8_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-40_placement-first_r-12_seed-0_solver-cadical.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
k-40_placement-first_r-12_seed-0_solver-kissat.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
k-40_placement-first_r-12_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-40_placement-first_r-12_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-40_placement-first_r-12_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-40_placement-first_r-12_seed-2_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-40_placement-first_r-16_seed-0_solver-cadical.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
k-40_placement-first_r-16_seed-0_solver-kissat.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
k-40_placement-first_r-16_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-40_placement-first_r-16_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-40_placement-first_r-16_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-40_placement-first_r-16_seed-2_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-40_placement-first_r-20_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-40_placement-first_r-20_seed-0_solver-kissat.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
k-40_placement-first_r-20_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-40_placement-first_r-20_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-40_placement-first_r-24_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-40_placement-first_r-24_seed-0_solver-kissat.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
k-40_placement-first_r-24_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-40_placement-first_r-24_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-40_placement-first_r-28_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-40_placement-first_r-28_seed-0_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-40_placement-first_r-28_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-40_placement-first_r-28_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-40_placement-first_r-32_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-40_placement-first_r-32_seed-0_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-40_placement-first_r-32_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-40_placement-first_r-32_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-40_placement-first_r-4_seed-0_solver-cadical.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
k-40_placement-first_r-4_seed-0_solver-kissat.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
k-40_placement-first_r-4_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-40_placement-first_r-4_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-40_placement-first_r-4_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-40_placement-first_r-4_seed-2_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-40_placement-first_r-40_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-40_placement-first_r-40_seed-0_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-40_placement-first_r-40_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-40_placement-first_r-40_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-40_placement-first_r-48_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-40_placement-first_r-48_seed-0_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-40_placement-first_r-48_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-40_placement-first_r-48_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-40_placement-first_r-64_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-40_placement-first_r-64_seed-0_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-40_placement-first_r-64_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-40_placement-first_r-64_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-40_placement-first_r-8_seed-0_solver-cadical.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
k-40_placement-first_r-8_seed-0_solver-kissat.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
k-40_placement-first_r-8_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-40_placement-first_r-8_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-40_placement-first_r-8_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-40_placement-first_r-8_seed-2_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-40_placement-spread_r-12_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-40_placement-spread_r-12_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-40_placement-spread_r-12_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-40_placement-spread_r-16_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-40_placement-spread_r-16_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-40_placement-spread_r-16_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-40_placement-spread_r-20_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-40_placement-spread_r-20_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-40_placement-spread_r-24_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-40_placement-spread_r-24_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-40_placement-spread_r-28_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-40_placement-spread_r-32_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-40_placement-spread_r-4_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-40_placement-spread_r-4_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-40_placement-spread_r-4_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-40_placement-spread_r-40_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-40_placement-spread_r-48_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-40_placement-spread_r-64_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-40_placement-spread_r-8_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-40_placement-spread_r-8_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-40_placement-spread_r-8_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-48_placement-first_r-12_seed-0_solver-cadical.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
k-48_placement-first_r-12_seed-0_solver-kissat.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
k-48_placement-first_r-12_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-48_placement-first_r-12_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-48_placement-first_r-12_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-48_placement-first_r-12_seed-2_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-48_placement-first_r-16_seed-0_solver-cadical.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
k-48_placement-first_r-16_seed-0_solver-kissat.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
k-48_placement-first_r-16_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-48_placement-first_r-16_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-48_placement-first_r-16_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-48_placement-first_r-16_seed-2_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-48_placement-first_r-20_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-48_placement-first_r-20_seed-0_solver-kissat.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
k-48_placement-first_r-20_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-48_placement-first_r-20_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-48_placement-first_r-24_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-48_placement-first_r-24_seed-0_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-48_placement-first_r-24_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-48_placement-first_r-24_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-48_placement-first_r-28_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-48_placement-first_r-28_seed-0_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-48_placement-first_r-28_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-48_placement-first_r-28_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-48_placement-first_r-32_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-48_placement-first_r-32_seed-0_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-48_placement-first_r-32_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-48_placement-first_r-32_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-48_placement-first_r-4_seed-0_solver-cadical.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
k-48_placement-first_r-4_seed-0_solver-kissat.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
k-48_placement-first_r-4_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-48_placement-first_r-4_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-48_placement-first_r-4_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-48_placement-first_r-4_seed-2_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-48_placement-first_r-40_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-48_placement-first_r-40_seed-0_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-48_placement-first_r-40_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-48_placement-first_r-40_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-48_placement-first_r-48_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-48_placement-first_r-48_seed-0_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-48_placement-first_r-48_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-48_placement-first_r-48_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-48_placement-first_r-64_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-48_placement-first_r-64_seed-0_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-48_placement-first_r-64_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-48_placement-first_r-64_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-48_placement-first_r-8_seed-0_solver-cadical.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
k-48_placement-first_r-8_seed-0_solver-kissat.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
k-48_placement-first_r-8_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-48_placement-first_r-8_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-48_placement-first_r-8_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-48_placement-first_r-8_seed-2_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-48_placement-spread_r-12_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-48_placement-spread_r-12_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-48_placement-spread_r-12_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-48_placement-spread_r-16_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-48_placement-spread_r-16_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-48_placement-spread_r-16_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-48_placement-spread_r-20_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-48_placement-spread_r-20_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-48_placement-spread_r-24_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-48_placement-spread_r-24_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-48_placement-spread_r-28_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-48_placement-spread_r-32_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-48_placement-spread_r-4_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-48_placement-spread_r-4_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-48_placement-spread_r-4_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-48_placement-spread_r-40_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-48_placement-spread_r-48_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-48_placement-spread_r-64_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-48_placement-spread_r-8_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-48_placement-spread_r-8_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-48_placement-spread_r-8_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-56_placement-first_r-12_seed-0_solver-cadical.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
k-56_placement-first_r-12_seed-0_solver-kissat.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
k-56_placement-first_r-12_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-56_placement-first_r-12_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-56_placement-first_r-12_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-56_placement-first_r-12_seed-2_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-56_placement-first_r-16_seed-0_solver-cadical.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
k-56_placement-first_r-16_seed-0_solver-kissat.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
k-56_placement-first_r-16_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-56_placement-first_r-16_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-56_placement-first_r-16_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-56_placement-first_r-16_seed-2_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-56_placement-first_r-20_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-56_placement-first_r-20_seed-0_solver-kissat.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
k-56_placement-first_r-20_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-56_placement-first_r-20_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-56_placement-first_r-24_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-56_placement-first_r-24_seed-0_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-56_placement-first_r-24_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-56_placement-first_r-24_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-56_placement-first_r-28_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-56_placement-first_r-28_seed-0_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-56_placement-first_r-28_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-56_placement-first_r-28_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-56_placement-first_r-32_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-56_placement-first_r-32_seed-0_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-56_placement-first_r-32_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-56_placement-first_r-32_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-56_placement-first_r-4_seed-0_solver-cadical.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
k-56_placement-first_r-4_seed-0_solver-kissat.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
k-56_placement-first_r-4_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-56_placement-first_r-4_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-56_placement-first_r-4_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-56_placement-first_r-4_seed-2_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-56_placement-first_r-40_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-56_placement-first_r-40_seed-0_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-56_placement-first_r-40_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-56_placement-first_r-40_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-56_placement-first_r-48_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-56_placement-first_r-48_seed-0_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-56_placement-first_r-48_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-56_placement-first_r-48_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-56_placement-first_r-64_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-56_placement-first_r-64_seed-0_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-56_placement-first_r-64_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-56_placement-first_r-64_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-56_placement-first_r-8_seed-0_solver-cadical.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
k-56_placement-first_r-8_seed-0_solver-kissat.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
k-56_placement-first_r-8_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-56_placement-first_r-8_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-56_placement-first_r-8_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-56_placement-first_r-8_seed-2_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-56_placement-spread_r-12_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-56_placement-spread_r-12_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-56_placement-spread_r-12_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-56_placement-spread_r-16_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-56_placement-spread_r-16_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-56_placement-spread_r-16_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-56_placement-spread_r-20_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-56_placement-spread_r-20_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-56_placement-spread_r-24_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-56_placement-spread_r-24_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-56_placement-spread_r-28_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-56_placement-spread_r-32_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-56_placement-spread_r-4_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-56_placement-spread_r-4_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-56_placement-spread_r-4_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-56_placement-spread_r-40_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-56_placement-spread_r-48_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-56_placement-spread_r-64_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-56_placement-spread_r-8_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-56_placement-spread_r-8_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-56_placement-spread_r-8_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-64_placement-first_r-12_seed-0_solver-cadical.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
k-64_placement-first_r-12_seed-0_solver-kissat.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
k-64_placement-first_r-12_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-64_placement-first_r-12_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-64_placement-first_r-12_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-64_placement-first_r-12_seed-2_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-64_placement-first_r-16_seed-0_solver-cadical.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
k-64_placement-first_r-16_seed-0_solver-kissat.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
k-64_placement-first_r-16_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-64_placement-first_r-16_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-64_placement-first_r-16_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-64_placement-first_r-16_seed-2_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-64_placement-first_r-20_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-64_placement-first_r-20_seed-0_solver-kissat.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
k-64_placement-first_r-20_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-64_placement-first_r-20_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-64_placement-first_r-24_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-64_placement-first_r-24_seed-0_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-64_placement-first_r-24_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-64_placement-first_r-24_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-64_placement-first_r-28_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-64_placement-first_r-28_seed-0_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-64_placement-first_r-28_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-64_placement-first_r-28_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-64_placement-first_r-32_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-64_placement-first_r-32_seed-0_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-64_placement-first_r-32_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-64_placement-first_r-32_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-64_placement-first_r-4_seed-0_solver-cadical.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
k-64_placement-first_r-4_seed-0_solver-kissat.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
k-64_placement-first_r-4_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-64_placement-first_r-4_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-64_placement-first_r-4_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-64_placement-first_r-4_seed-2_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-64_placement-first_r-40_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-64_placement-first_r-40_seed-0_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-64_placement-first_r-40_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-64_placement-first_r-40_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-64_placement-first_r-48_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-64_placement-first_r-48_seed-0_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-64_placement-first_r-48_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-64_placement-first_r-48_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-64_placement-first_r-64_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-64_placement-first_r-64_seed-0_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-64_placement-first_r-64_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-64_placement-first_r-64_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-64_placement-first_r-8_seed-0_solver-cadical.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
k-64_placement-first_r-8_seed-0_solver-kissat.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
k-64_placement-first_r-8_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-64_placement-first_r-8_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-64_placement-first_r-8_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-64_placement-first_r-8_seed-2_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-64_placement-spread_r-12_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-64_placement-spread_r-12_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-64_placement-spread_r-12_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-64_placement-spread_r-16_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-64_placement-spread_r-16_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-64_placement-spread_r-16_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-64_placement-spread_r-20_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-64_placement-spread_r-20_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-64_placement-spread_r-24_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-64_placement-spread_r-28_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-64_placement-spread_r-32_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-64_placement-spread_r-4_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-64_placement-spread_r-4_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-64_placement-spread_r-4_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-64_placement-spread_r-40_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-64_placement-spread_r-48_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-64_placement-spread_r-64_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-64_placement-spread_r-8_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-64_placement-spread_r-8_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
k-64_placement-spread_r-8_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
skipped_cells.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|