diff --git a/README.md b/README.md
index 8b54c5f..498ad4b 100644
--- a/README.md
+++ b/README.md
@@ -46,7 +46,8 @@ The test runner supports secondary arguments to customize the testing flow. Whil
 below are listed the most useful ones:
 
 * `--blacklist-path` (short `b`): An optional relative path to a blacklist file containing test variants to prevent from running.
-This can be used to skip particularly heavy or badly configured tests.
+This can be used to skip particularly heavy or badly configured tests. A default [blacklist](./shanghai_heavy_tests_blacklist.txt)
+is provided to allow any modern laptop to run witness generation for all test variants in about 40min.
 * `--variant-filter` (short `v`): Only run specified test variants (either a single value or a range), e.g. `0` or `0..=5`
 for instance. Note that the variant `n` for test `foo` isn't represented as `foo_n`, as variants keep the same naming
 format as their remote, namely `foo_dx_gy_vz` with `x`, `y`, `z` varying integers.
diff --git a/shanghai_heavy_tests_blacklist.txt b/shanghai_heavy_tests_blacklist.txt
new file mode 100644
index 0000000..1523de1
--- /dev/null
+++ b/shanghai_heavy_tests_blacklist.txt
@@ -0,0 +1,60 @@
+CALLBlake2f_d9g0v0_Shanghai
+CALLCODEBlake2f_d9g0v0_Shanghai
+Call1MB1024Calldepth_d0g1v0_Shanghai
+Call50000_d0g1v0_Shanghai
+Call50000_ecrec_d0g1v0_Shanghai
+Call50000_identity2_d0g1v0_Shanghai
+Call50000_identity_d0g1v0_Shanghai
+Call50000_rip160_d0g0v0_Shanghai
+Call50000_rip160_d0g1v0_Shanghai
+Call50000_sha256_d0g0v0_Shanghai
+Call50000_sha256_d0g1v0_Shanghai
+CallInfiniteLoop_d0g0v0_Shanghai
+Callcode50000_d0g1v0_Shanghai
+ContractCreationSpam_d0g0v0_Shanghai
+FailedCreateRevertsDeletion_d0g0v0_Shanghai
+JUMPI_Bounds_d0g0v0_Shanghai
+JUMPI_Bounds_d0g1v0_Shanghai
+JUMP_Bounds2_d0g0v0_Shanghai
+JUMP_Bounds2_d0g1v0_Shanghai
+Return50000_2_d0g0v0_Shanghai
+Return50000_2_d0g1v0_Shanghai
+Return50000_d0g0v0_Shanghai
+Return50000_d0g1v0_Shanghai
+costRevert_d11g0v0_Shanghai
+costRevert_d12g0v0_Shanghai
+costRevert_d25g0v0_Shanghai
+costRevert_d4g0v0_Shanghai
+loopExp_d10g0v0_Shanghai
+loopExp_d11g0v0_Shanghai
+loopExp_d12g0v0_Shanghai
+loopExp_d13g0v0_Shanghai
+loopExp_d8g0v0_Shanghai
+loopMul_d0g0v0_Shanghai
+loopMul_d1g0v0_Shanghai
+loopMul_d2g0v0_Shanghai
+randomStatetest159_d0g0v0_Shanghai
+randomStatetest163_d0g0v0_Shanghai
+randomStatetest185_d0g0v0_Shanghai
+randomStatetest326_d0g0v0_Shanghai
+randomStatetest36_d0g0v0_Shanghai
+randomStatetest418_d0g0v0_Shanghai
+randomStatetest476_d0g0v0_Shanghai
+randomStatetest48_d0g0v0_Shanghai
+randomStatetest547_d0g0v0_Shanghai
+randomStatetest583_d0g0v0_Shanghai
+stateRevert_d4g0v0_Shanghai
+static_Call1MB1024Calldepth_d1g0v0_Shanghai
+static_Call50000_d0g0v0_Shanghai
+static_Call50000_d1g0v0_Shanghai
+static_Call50000_ecrec_d0g0v0_Shanghai
+static_Call50000_ecrec_d1g0v0_Shanghai
+static_Call50000_identity2_d0g0v0_Shanghai
+static_Call50000_identity2_d1g0v0_Shanghai
+static_Call50000_identity_d0g0v0_Shanghai
+static_Call50000_identity_d1g0v0_Shanghai
+static_Call50000_rip160_d0g0v0_Shanghai
+static_Call50000_rip160_d1g0v0_Shanghai
+static_Call50000_sha256_d0g0v0_Shanghai
+static_Call50000_sha256_d1g0v0_Shanghai
+static_Return50000_2_d0g0v0_Shanghai
\ No newline at end of file