All 500 benchmarks

herbie-fp · Oct 11, 2024 · 1f45f45 · 1f45f45
1 parent 075afc4
commit 1f45f45
Showing 1 changed file with 11 additions and 0 deletions.
diff --git a/infra/platforms-eval.sh b/infra/platforms-eval.sh
@@ -63,8 +63,19 @@ function run() {
 
 # Run configs
 
+# Original:
+# run $BENCH_DIR/hamming hamming $NUM_SEEDS
+# run $BENCH_DIR/mathematics mathematics $NUM_SEEDS
+
+run $BENCH_DIR/graphics graphics $NUM_SEEDS
 run $BENCH_DIR/hamming hamming $NUM_SEEDS
+run $BENCH_DIR/libraries libraries $NUM_SEEDS
 run $BENCH_DIR/mathematics mathematics $NUM_SEEDS
+run $BENCH_DIR/numerics numerics $NUM_SEEDS
+run $BENCH_DIR/physics physics $NUM_SEEDS
+run $BENCH_DIR/haskell.fpcore haskell $NUM_SEEDS
+run $BENCH_DIR/regression.fpcore regression $NUM_SEEDS
+
 python3 $INFRA_DIR/platforms/cross-plot.py "$OUTDIR/platforms/output"
 
 echo "Finished platforms evaluation"