diff --git a/test/cbmc/proofs/DNS_ParseDNSReply/Configurations.json b/test/cbmc/proofs/DNS_ParseDNSReply/Configurations.json
index d22815651..80f783f4c 100644
--- a/test/cbmc/proofs/DNS_ParseDNSReply/Configurations.json
+++ b/test/cbmc/proofs/DNS_ParseDNSReply/Configurations.json
@@ -1,8 +1,8 @@
 {
   "ENTRY": "DNS_ParseDNSReply",
-  "TEST_PAYLOAD_SIZE": 5,
-  "TEST_IPV4_PACKET_SIZE": 59,
-  "TEST_IPV6_PACKET_SIZE": 79,
+  "TEST_PAYLOAD_SIZE": 2,
+  "TEST_IPV4_PACKET_SIZE": 29,
+  "TEST_IPV6_PACKET_SIZE": 49,
   "CBMCFLAGS":
   [
     "--unwind 1",