|
..
|
|
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-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-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-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-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-20_seed-0_solver-kissat.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
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-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-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-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-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-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-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-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-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-20_seed-0_solver-kissat.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
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-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-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-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-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-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-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-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-20_seed-0_solver-kissat.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
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-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-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-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-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-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-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-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-20_seed-0_solver-kissat.json
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
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-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-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... |
|