diff --git a/booster/test/rpc-integration/test-foundry-bug-report/response-006.json b/booster/test/rpc-integration/test-foundry-bug-report/response-006.json
index 53bece67af..9dad2d9b9f 100644
--- a/booster/test/rpc-integration/test-foundry-bug-report/response-006.json
+++ b/booster/test/rpc-integration/test-foundry-bug-report/response-006.json
@@ -2,7 +2,7 @@
     "jsonrpc": "2.0",
     "id": 6,
     "result": {
-        "satisfiable": false,
+        "valid": false,
         "implication": {
             "format": "KORE",
             "version": 1,
diff --git a/booster/test/rpc-integration/test-foundry-bug-report/response-008.json b/booster/test/rpc-integration/test-foundry-bug-report/response-008.json
index 9a30a78eea..01b43b409a 100644
--- a/booster/test/rpc-integration/test-foundry-bug-report/response-008.json
+++ b/booster/test/rpc-integration/test-foundry-bug-report/response-008.json
@@ -2,7 +2,7 @@
     "jsonrpc": "2.0",
     "id": 8,
     "result": {
-        "satisfiable": false,
+        "valid": false,
         "implication": {
             "format": "KORE",
             "version": 1,
diff --git a/booster/test/rpc-integration/test-foundry-bug-report/response-010.json b/booster/test/rpc-integration/test-foundry-bug-report/response-010.json
index 7e67e39839..83946e1d95 100644
--- a/booster/test/rpc-integration/test-foundry-bug-report/response-010.json
+++ b/booster/test/rpc-integration/test-foundry-bug-report/response-010.json
@@ -2,7 +2,7 @@
     "jsonrpc": "2.0",
     "id": 10,
     "result": {
-        "satisfiable": false,
+        "valid": false,
         "implication": {
             "format": "KORE",
             "version": 1,
diff --git a/booster/test/rpc-integration/test-foundry-bug-report/response-012.json b/booster/test/rpc-integration/test-foundry-bug-report/response-012.json
index b52a1a8e4e..4c69e9261f 100644
--- a/booster/test/rpc-integration/test-foundry-bug-report/response-012.json
+++ b/booster/test/rpc-integration/test-foundry-bug-report/response-012.json
@@ -2,7 +2,7 @@
     "jsonrpc": "2.0",
     "id": 12,
     "result": {
-        "satisfiable": false,
+        "valid": false,
         "implication": {
             "format": "KORE",
             "version": 1,
diff --git a/booster/test/rpc-integration/test-foundry-bug-report/response-014.json b/booster/test/rpc-integration/test-foundry-bug-report/response-014.json
index 5762f970e2..3f4e8958d6 100644
--- a/booster/test/rpc-integration/test-foundry-bug-report/response-014.json
+++ b/booster/test/rpc-integration/test-foundry-bug-report/response-014.json
@@ -2,7 +2,7 @@
     "jsonrpc": "2.0",
     "id": 14,
     "result": {
-        "satisfiable": false,
+        "valid": false,
         "implication": {
             "format": "KORE",
             "version": 1,
diff --git a/booster/test/rpc-integration/test-foundry-bug-report/response-016.json b/booster/test/rpc-integration/test-foundry-bug-report/response-016.json
index 1c85849dc2..3fc9533cf2 100644
--- a/booster/test/rpc-integration/test-foundry-bug-report/response-016.json
+++ b/booster/test/rpc-integration/test-foundry-bug-report/response-016.json
@@ -2,7 +2,7 @@
     "jsonrpc": "2.0",
     "id": 16,
     "result": {
-        "satisfiable": true,
+        "valid": true,
         "implication": {
             "format": "KORE",
             "version": 1,