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