diff options
Diffstat (limited to 'experiments')
-rw-r--r-- | experiments/config_all.toml | 2 | ||||
-rw-r--r-- | experiments/config_large.toml | 2 | ||||
-rw-r--r-- | experiments/config_medium.toml | 2 | ||||
-rw-r--r-- | experiments/config_size_l.toml | 2 | ||||
-rw-r--r-- | experiments/config_size_m.toml | 2 | ||||
-rw-r--r-- | experiments/config_size_s.toml | 2 | ||||
-rw-r--r-- | experiments/config_size_xl.toml | 2 | ||||
-rw-r--r-- | experiments/config_small.toml | 2 | ||||
-rw-r--r-- | experiments/config_tiny.toml | 2 |
9 files changed, 18 insertions, 0 deletions
diff --git a/experiments/config_all.toml b/experiments/config_all.toml index cbe828c..06d399e 100644 --- a/experiments/config_all.toml +++ b/experiments/config_all.toml @@ -23,6 +23,8 @@ module.max = 5 size = 20 statement.depth = 7 + sample.method = "hat" + sample.size = 10 [[synthesiser]] description = "yosys" diff --git a/experiments/config_large.toml b/experiments/config_large.toml index cbe828c..06d399e 100644 --- a/experiments/config_large.toml +++ b/experiments/config_large.toml @@ -23,6 +23,8 @@ module.max = 5 size = 20 statement.depth = 7 + sample.method = "hat" + sample.size = 10 [[synthesiser]] description = "yosys" diff --git a/experiments/config_medium.toml b/experiments/config_medium.toml index 683e74f..1f3ae0d 100644 --- a/experiments/config_medium.toml +++ b/experiments/config_medium.toml @@ -23,6 +23,8 @@ module.max = 5 size = 20 statement.depth = 5 + sample.method = "hat" + sample.size = 10 [[synthesiser]] description = "yosys" diff --git a/experiments/config_size_l.toml b/experiments/config_size_l.toml index c0d0659..535d745 100644 --- a/experiments/config_size_l.toml +++ b/experiments/config_size_l.toml @@ -23,6 +23,8 @@ module.max = 5 size = 25 statement.depth = 2 + sample.method = "hat" + sample.size = 10 [[synthesiser]] description = "yosys" diff --git a/experiments/config_size_m.toml b/experiments/config_size_m.toml index 372f92a..e0d1333 100644 --- a/experiments/config_size_m.toml +++ b/experiments/config_size_m.toml @@ -23,6 +23,8 @@ module.max = 5 size = 20 statement.depth = 2 + sample.method = "hat" + sample.size = 10 [[synthesiser]] description = "yosys" diff --git a/experiments/config_size_s.toml b/experiments/config_size_s.toml index bbd307a..c512253 100644 --- a/experiments/config_size_s.toml +++ b/experiments/config_size_s.toml @@ -23,6 +23,8 @@ module.max = 5 size = 15 statement.depth = 2 + sample.method = "hat" + sample.size = 10 [[synthesiser]] description = "yosys" diff --git a/experiments/config_size_xl.toml b/experiments/config_size_xl.toml index f2db851..52906c2 100644 --- a/experiments/config_size_xl.toml +++ b/experiments/config_size_xl.toml @@ -23,6 +23,8 @@ module.max = 5 size = 30 statement.depth = 2 + sample.method = "hat" + sample.size = 10 [[synthesiser]] description = "yosys" diff --git a/experiments/config_small.toml b/experiments/config_small.toml index aed7cfd..9cad0a0 100644 --- a/experiments/config_small.toml +++ b/experiments/config_small.toml @@ -23,6 +23,8 @@ module.max = 5 size = 20 statement.depth = 3 + sample.method = "hat" + sample.size = 10 [[synthesiser]] description = "yosys" diff --git a/experiments/config_tiny.toml b/experiments/config_tiny.toml index aed7cfd..9cad0a0 100644 --- a/experiments/config_tiny.toml +++ b/experiments/config_tiny.toml @@ -23,6 +23,8 @@ module.max = 5 size = 20 statement.depth = 3 + sample.method = "hat" + sample.size = 10 [[synthesiser]] description = "yosys" |