|
..
|
|
feedforward-False_iv-fixed_r-10_seed-0_solver-cadical.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
feedforward-False_iv-fixed_r-10_seed-0_solver-kissat.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
feedforward-False_iv-fixed_r-10_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-False_iv-fixed_r-10_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-False_iv-fixed_r-10_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-False_iv-fixed_r-10_seed-2_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-False_iv-fixed_r-12_seed-0_solver-cadical.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
feedforward-False_iv-fixed_r-12_seed-0_solver-kissat.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
feedforward-False_iv-fixed_r-12_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-False_iv-fixed_r-12_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-False_iv-fixed_r-12_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-False_iv-fixed_r-12_seed-2_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-False_iv-fixed_r-14_seed-0_solver-cadical.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
feedforward-False_iv-fixed_r-14_seed-0_solver-kissat.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
feedforward-False_iv-fixed_r-14_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-False_iv-fixed_r-14_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-False_iv-fixed_r-14_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-False_iv-fixed_r-14_seed-2_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-False_iv-fixed_r-16_seed-0_solver-cadical.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
feedforward-False_iv-fixed_r-16_seed-0_solver-kissat.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
feedforward-False_iv-fixed_r-16_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-False_iv-fixed_r-16_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-False_iv-fixed_r-16_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-False_iv-fixed_r-16_seed-2_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-False_iv-fixed_r-18_seed-0_solver-cadical.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
feedforward-False_iv-fixed_r-18_seed-0_solver-kissat.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
feedforward-False_iv-fixed_r-18_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-False_iv-fixed_r-18_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-False_iv-fixed_r-18_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-False_iv-fixed_r-18_seed-2_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-False_iv-fixed_r-20_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-False_iv-fixed_r-20_seed-0_solver-kissat.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
feedforward-False_iv-fixed_r-20_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-False_iv-fixed_r-20_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-False_iv-fixed_r-20_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-False_iv-fixed_r-20_seed-2_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-False_iv-fixed_r-22_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-False_iv-fixed_r-22_seed-0_solver-kissat.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
feedforward-False_iv-fixed_r-22_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-False_iv-fixed_r-22_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-False_iv-fixed_r-22_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-False_iv-fixed_r-22_seed-2_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-False_iv-fixed_r-24_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-False_iv-fixed_r-24_seed-0_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-False_iv-fixed_r-24_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-False_iv-fixed_r-24_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-False_iv-fixed_r-24_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-False_iv-fixed_r-24_seed-2_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-False_iv-fixed_r-4_seed-0_solver-cadical.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
feedforward-False_iv-fixed_r-4_seed-0_solver-kissat.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
feedforward-False_iv-fixed_r-4_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-False_iv-fixed_r-4_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-False_iv-fixed_r-4_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-False_iv-fixed_r-4_seed-2_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-False_iv-fixed_r-6_seed-0_solver-cadical.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
feedforward-False_iv-fixed_r-6_seed-0_solver-kissat.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
feedforward-False_iv-fixed_r-6_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-False_iv-fixed_r-6_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-False_iv-fixed_r-6_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-False_iv-fixed_r-6_seed-2_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-False_iv-fixed_r-8_seed-0_solver-cadical.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
feedforward-False_iv-fixed_r-8_seed-0_solver-kissat.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
feedforward-False_iv-fixed_r-8_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-False_iv-fixed_r-8_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-False_iv-fixed_r-8_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-False_iv-fixed_r-8_seed-2_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-False_iv-free_r-10_seed-0_solver-cadical.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
feedforward-False_iv-free_r-10_seed-0_solver-kissat.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
feedforward-False_iv-free_r-10_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-False_iv-free_r-10_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-False_iv-free_r-10_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-False_iv-free_r-10_seed-2_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-False_iv-free_r-12_seed-0_solver-cadical.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
feedforward-False_iv-free_r-12_seed-0_solver-kissat.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
feedforward-False_iv-free_r-12_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-False_iv-free_r-12_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-False_iv-free_r-12_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-False_iv-free_r-12_seed-2_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-False_iv-free_r-14_seed-0_solver-cadical.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
feedforward-False_iv-free_r-14_seed-0_solver-kissat.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
feedforward-False_iv-free_r-14_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-False_iv-free_r-14_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-False_iv-free_r-14_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-False_iv-free_r-14_seed-2_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-False_iv-free_r-16_seed-0_solver-cadical.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
feedforward-False_iv-free_r-16_seed-0_solver-kissat.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
feedforward-False_iv-free_r-16_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-False_iv-free_r-16_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-False_iv-free_r-16_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-False_iv-free_r-16_seed-2_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-False_iv-free_r-18_seed-0_solver-cadical.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
feedforward-False_iv-free_r-18_seed-0_solver-kissat.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
feedforward-False_iv-free_r-18_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-False_iv-free_r-18_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-False_iv-free_r-18_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-False_iv-free_r-18_seed-2_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-False_iv-free_r-20_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-False_iv-free_r-20_seed-0_solver-kissat.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
feedforward-False_iv-free_r-20_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-False_iv-free_r-20_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-False_iv-free_r-20_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-False_iv-free_r-20_seed-2_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-False_iv-free_r-22_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-False_iv-free_r-22_seed-0_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-False_iv-free_r-22_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-False_iv-free_r-22_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-False_iv-free_r-22_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-False_iv-free_r-22_seed-2_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-False_iv-free_r-24_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-False_iv-free_r-24_seed-0_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-False_iv-free_r-24_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-False_iv-free_r-24_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-False_iv-free_r-24_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-False_iv-free_r-24_seed-2_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-False_iv-free_r-4_seed-0_solver-cadical.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
feedforward-False_iv-free_r-4_seed-0_solver-kissat.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
feedforward-False_iv-free_r-4_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-False_iv-free_r-4_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-False_iv-free_r-4_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-False_iv-free_r-4_seed-2_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-False_iv-free_r-6_seed-0_solver-cadical.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
feedforward-False_iv-free_r-6_seed-0_solver-kissat.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
feedforward-False_iv-free_r-6_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-False_iv-free_r-6_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-False_iv-free_r-6_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-False_iv-free_r-6_seed-2_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-False_iv-free_r-8_seed-0_solver-cadical.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
feedforward-False_iv-free_r-8_seed-0_solver-kissat.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
feedforward-False_iv-free_r-8_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-False_iv-free_r-8_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-False_iv-free_r-8_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-False_iv-free_r-8_seed-2_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-True_iv-fixed_r-10_seed-0_solver-cadical.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
feedforward-True_iv-fixed_r-10_seed-0_solver-kissat.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
feedforward-True_iv-fixed_r-10_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-True_iv-fixed_r-10_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-True_iv-fixed_r-10_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-True_iv-fixed_r-10_seed-2_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-True_iv-fixed_r-12_seed-0_solver-cadical.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
feedforward-True_iv-fixed_r-12_seed-0_solver-kissat.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
feedforward-True_iv-fixed_r-12_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-True_iv-fixed_r-12_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-True_iv-fixed_r-12_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-True_iv-fixed_r-12_seed-2_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-True_iv-fixed_r-14_seed-0_solver-cadical.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
feedforward-True_iv-fixed_r-14_seed-0_solver-kissat.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
feedforward-True_iv-fixed_r-14_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-True_iv-fixed_r-14_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-True_iv-fixed_r-14_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-True_iv-fixed_r-14_seed-2_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-True_iv-fixed_r-16_seed-0_solver-cadical.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
feedforward-True_iv-fixed_r-16_seed-0_solver-kissat.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
feedforward-True_iv-fixed_r-16_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-True_iv-fixed_r-16_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-True_iv-fixed_r-16_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-True_iv-fixed_r-16_seed-2_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-True_iv-fixed_r-18_seed-0_solver-cadical.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
feedforward-True_iv-fixed_r-18_seed-0_solver-kissat.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
feedforward-True_iv-fixed_r-18_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-True_iv-fixed_r-18_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-True_iv-fixed_r-18_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-True_iv-fixed_r-18_seed-2_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-True_iv-fixed_r-20_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-True_iv-fixed_r-20_seed-0_solver-kissat.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
feedforward-True_iv-fixed_r-20_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-True_iv-fixed_r-20_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-True_iv-fixed_r-20_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-True_iv-fixed_r-20_seed-2_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-True_iv-fixed_r-22_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-True_iv-fixed_r-22_seed-0_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-True_iv-fixed_r-22_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-True_iv-fixed_r-22_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-True_iv-fixed_r-22_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-True_iv-fixed_r-22_seed-2_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-True_iv-fixed_r-24_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-True_iv-fixed_r-24_seed-0_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-True_iv-fixed_r-24_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-True_iv-fixed_r-24_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-True_iv-fixed_r-24_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-True_iv-fixed_r-24_seed-2_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-True_iv-fixed_r-4_seed-0_solver-cadical.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
feedforward-True_iv-fixed_r-4_seed-0_solver-kissat.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
feedforward-True_iv-fixed_r-4_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-True_iv-fixed_r-4_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-True_iv-fixed_r-4_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-True_iv-fixed_r-4_seed-2_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-True_iv-fixed_r-6_seed-0_solver-cadical.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
feedforward-True_iv-fixed_r-6_seed-0_solver-kissat.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
feedforward-True_iv-fixed_r-6_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-True_iv-fixed_r-6_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-True_iv-fixed_r-6_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-True_iv-fixed_r-6_seed-2_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-True_iv-fixed_r-8_seed-0_solver-cadical.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
feedforward-True_iv-fixed_r-8_seed-0_solver-kissat.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
feedforward-True_iv-fixed_r-8_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-True_iv-fixed_r-8_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-True_iv-fixed_r-8_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-True_iv-fixed_r-8_seed-2_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-True_iv-free_r-10_seed-0_solver-cadical.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
feedforward-True_iv-free_r-10_seed-0_solver-kissat.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
feedforward-True_iv-free_r-10_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-True_iv-free_r-10_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-True_iv-free_r-10_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-True_iv-free_r-10_seed-2_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-True_iv-free_r-12_seed-0_solver-cadical.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
feedforward-True_iv-free_r-12_seed-0_solver-kissat.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
feedforward-True_iv-free_r-12_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-True_iv-free_r-12_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-True_iv-free_r-12_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-True_iv-free_r-12_seed-2_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-True_iv-free_r-14_seed-0_solver-cadical.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
feedforward-True_iv-free_r-14_seed-0_solver-kissat.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
feedforward-True_iv-free_r-14_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-True_iv-free_r-14_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-True_iv-free_r-14_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-True_iv-free_r-14_seed-2_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-True_iv-free_r-16_seed-0_solver-cadical.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
feedforward-True_iv-free_r-16_seed-0_solver-kissat.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
feedforward-True_iv-free_r-16_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-True_iv-free_r-16_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-True_iv-free_r-16_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-True_iv-free_r-16_seed-2_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-True_iv-free_r-18_seed-0_solver-cadical.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
feedforward-True_iv-free_r-18_seed-0_solver-kissat.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
feedforward-True_iv-free_r-18_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-True_iv-free_r-18_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-True_iv-free_r-18_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-True_iv-free_r-18_seed-2_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-True_iv-free_r-20_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-True_iv-free_r-20_seed-0_solver-kissat.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
feedforward-True_iv-free_r-20_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-True_iv-free_r-20_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-True_iv-free_r-20_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-True_iv-free_r-20_seed-2_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-True_iv-free_r-22_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-True_iv-free_r-22_seed-0_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-True_iv-free_r-22_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-True_iv-free_r-22_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-True_iv-free_r-22_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-True_iv-free_r-22_seed-2_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-True_iv-free_r-24_seed-0_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-True_iv-free_r-24_seed-0_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-True_iv-free_r-24_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-True_iv-free_r-24_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-True_iv-free_r-24_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-True_iv-free_r-24_seed-2_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-True_iv-free_r-4_seed-0_solver-cadical.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
feedforward-True_iv-free_r-4_seed-0_solver-kissat.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
feedforward-True_iv-free_r-4_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-True_iv-free_r-4_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-True_iv-free_r-4_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-True_iv-free_r-4_seed-2_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-True_iv-free_r-6_seed-0_solver-cadical.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
feedforward-True_iv-free_r-6_seed-0_solver-kissat.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
feedforward-True_iv-free_r-6_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-True_iv-free_r-6_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-True_iv-free_r-6_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-True_iv-free_r-6_seed-2_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-True_iv-free_r-8_seed-0_solver-cadical.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
feedforward-True_iv-free_r-8_seed-0_solver-kissat.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
feedforward-True_iv-free_r-8_seed-1_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-True_iv-free_r-8_seed-1_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-True_iv-free_r-8_seed-2_solver-cadical.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
feedforward-True_iv-free_r-8_seed-2_solver-kissat.json
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|