diff --git a/examples/benchmarks/config_js.txt b/examples/benchmarks/config_js.txt
index 8b47e7494..b0189bdad 100644
--- a/examples/benchmarks/config_js.txt
+++ b/examples/benchmarks/config_js.txt
@@ -29,4 +29,25 @@ input_output/word_count_ascii 8000
 input_output/word_count_utf8 15000
 input_output/dyck_one 800
 input_output/number_matrix 700
-input_output/financial_format 15000 
+input_output/financial_format 15000
+nofib/boyer 5
+nofib/constraints 6
+nofib/fish 100
+nofib/gcd 555
+nofib/lcss 2500
+nofib/cryptarithm1 1
+folklore_to_fact/tail_fib 178956971
+folklore_to_fact/minimax 1
+folklore_to_fact/primes 58255
+folklore_to_fact/divrec 1398102
+folklore_to_fact/merge 699051
+folklore_to_fact/perm 3
+folklore_to_fact/motzkin 19
+folklore_to_fact/ack_goto 7
+folklore_to_fact/life 2731
+folklore_to_fact/nqueens 11
+folklore_to_fact/motzkin_goto 18
+folklore_to_fact/even_odd_goto 4096
+folklore_to_fact/even_odd 1073741824
+folklore_to_fact/sudan 1
+folklore_to_fact/ack 7
diff --git a/examples/benchmarks/config_llvm.txt b/examples/benchmarks/config_llvm.txt
index 7582e7bfc..7b3ebffa3 100644
--- a/examples/benchmarks/config_llvm.txt
+++ b/examples/benchmarks/config_llvm.txt
@@ -30,3 +30,22 @@ input_output/word_count_utf8 80000
 input_output/dyck_one 3000
 input_output/number_matrix 2000
 input_output/financial_format 200000
+nofib/boyer 20
+nofib/constraints 6
+nofib/fish 300
+nofib/gcd 1500
+nofib/lcss 3500
+nofib/cryptarithm1 1
+folklore_to_fact/minimax 1
+folklore_to_fact/primes 138088
+folklore_to_fact/divrec 16777216
+folklore_to_fact/perm 2
+folklore_to_fact/motzkin 22
+folklore_to_fact/ack_goto 7
+folklore_to_fact/life 4096
+folklore_to_fact/nqueens 11
+folklore_to_fact/motzkin_goto 20
+folklore_to_fact/even_odd_goto 5592406
+folklore_to_fact/even_odd 4021990410
+folklore_to_fact/sudan 1
+folklore_to_fact/ack 7