diff --git a/tests/expected/counter-symbolic.json b/tests/expected/counter-symbolic.json
deleted file mode 100644
index 47aeab59..00000000
--- a/tests/expected/counter-symbolic.json
+++ /dev/null
@@ -1,127 +0,0 @@
-{
-    "exitcode": 0,
-    "test_results": {
-        "test/Counter.t.sol:CounterTest": [
-            {
-                "name": "checkDiv1(uint256,uint256)",
-                "exitcode": 0,
-                "num_models": 0,
-                "num_paths": null,
-                "time": null,
-                "num_bounded_loops": null
-            },
-            {
-                "name": "checkDiv2(uint256,uint256)",
-                "exitcode": 0,
-                "num_models": 0,
-                "num_paths": null,
-                "time": null,
-                "num_bounded_loops": null
-            },
-            {
-                "name": "checkFoo(uint256,uint256,uint256,uint256)",
-                "exitcode": 0,
-                "num_models": 0,
-                "num_paths": null,
-                "time": null,
-                "num_bounded_loops": null
-            },
-            {
-                "name": "checkInc()",
-                "exitcode": 0,
-                "num_models": 0,
-                "num_paths": null,
-                "time": null,
-                "num_bounded_loops": null
-            },
-            {
-                "name": "checkIncBy(uint256)",
-                "exitcode": 0,
-                "num_models": 0,
-                "num_paths": null,
-                "time": null,
-                "num_bounded_loops": null
-            },
-            {
-                "name": "checkIncOpt()",
-                "exitcode": 0,
-                "num_models": 0,
-                "num_paths": null,
-                "time": null,
-                "num_bounded_loops": null
-            },
-            {
-                "name": "checkLoopConst()",
-                "exitcode": 0,
-                "num_models": 0,
-                "num_paths": null,
-                "time": null,
-                "num_bounded_loops": null
-            },
-            {
-                "name": "checkLoopConstIf()",
-                "exitcode": 0,
-                "num_models": 0,
-                "num_paths": null,
-                "time": null,
-                "num_bounded_loops": null
-            },
-            {
-                "name": "checkLoopDoWhile(uint8)",
-                "exitcode": 0,
-                "num_models": 0,
-                "num_paths": null,
-                "time": null,
-                "num_bounded_loops": null
-            },
-            {
-                "name": "checkLoopFor(uint8)",
-                "exitcode": 0,
-                "num_models": 0,
-                "num_paths": null,
-                "time": null,
-                "num_bounded_loops": null
-            },
-            {
-                "name": "checkLoopWhile(uint8)",
-                "exitcode": 0,
-                "num_models": 0,
-                "num_paths": null,
-                "time": null,
-                "num_bounded_loops": null
-            },
-            {
-                "name": "checkMulDiv(uint256,uint256)",
-                "exitcode": 0,
-                "num_models": 0,
-                "num_paths": null,
-                "time": null,
-                "num_bounded_loops": null
-            },
-            {
-                "name": "checkSet(uint256)",
-                "exitcode": 0,
-                "num_models": 0,
-                "num_paths": null,
-                "time": null,
-                "num_bounded_loops": null
-            },
-            {
-                "name": "checkSetString(uint256,string,uint256,string,uint256)",
-                "exitcode": 0,
-                "num_models": 0,
-                "num_paths": null,
-                "time": null,
-                "num_bounded_loops": null
-            },
-            {
-                "name": "checkSetSum(uint248,uint248)",
-                "exitcode": 0,
-                "num_models": 0,
-                "num_paths": null,
-                "time": null,
-                "num_bounded_loops": null
-            }
-        ]
-    }
-}
\ No newline at end of file
diff --git a/tests/expected/list-symbolic.json b/tests/expected/list-symbolic.json
deleted file mode 100644
index 58a42fa4..00000000
--- a/tests/expected/list-symbolic.json
+++ /dev/null
@@ -1,31 +0,0 @@
-{
-    "exitcode": 0,
-    "test_results": {
-        "test/List.t.sol:ListTest": [
-            {
-                "name": "checkAdd(uint256)",
-                "exitcode": 0,
-                "num_models": 0,
-                "num_paths": null,
-                "time": null,
-                "num_bounded_loops": null
-            },
-            {
-                "name": "checkRemove()",
-                "exitcode": 0,
-                "num_models": 0,
-                "num_paths": null,
-                "time": null,
-                "num_bounded_loops": null
-            },
-            {
-                "name": "checkSet(uint256,uint256)",
-                "exitcode": 0,
-                "num_models": 0,
-                "num_paths": null,
-                "time": null,
-                "num_bounded_loops": null
-            }
-        ]
-    }
-}
\ No newline at end of file
diff --git a/tests/expected/reset.json b/tests/expected/reset.json
deleted file mode 100644
index b435296e..00000000
--- a/tests/expected/reset.json
+++ /dev/null
@@ -1,15 +0,0 @@
-{
-    "exitcode": 0,
-    "test_results": {
-        "test/Reset.t.sol:ResetTest": [
-            {
-                "name": "checkFoo()",
-                "exitcode": 0,
-                "num_models": 0,
-                "num_paths": null,
-                "time": null,
-                "num_bounded_loops": null
-            }
-        ]
-    }
-}
\ No newline at end of file
diff --git a/tests/expected/storage-symbolic.json b/tests/expected/storage-symbolic.json
deleted file mode 100644
index 89fa8c91..00000000
--- a/tests/expected/storage-symbolic.json
+++ /dev/null
@@ -1,55 +0,0 @@
-{
-    "exitcode": 0,
-    "test_results": {
-        "test/Storage.t.sol:StorageTest": [
-            {
-                "name": "checkAddArr1(uint256)",
-                "exitcode": 0,
-                "num_models": 0,
-                "num_paths": null,
-                "time": null,
-                "num_bounded_loops": null
-            },
-            {
-                "name": "checkAddArr2(uint256,uint256)",
-                "exitcode": 0,
-                "num_models": 0,
-                "num_paths": null,
-                "time": null,
-                "num_bounded_loops": null
-            },
-            {
-                "name": "checkAddMap1Arr1(uint256,uint256)",
-                "exitcode": 0,
-                "num_models": 0,
-                "num_paths": null,
-                "time": null,
-                "num_bounded_loops": null
-            },
-            {
-                "name": "checkSetMap1(uint256,uint256)",
-                "exitcode": 0,
-                "num_models": 0,
-                "num_paths": null,
-                "time": null,
-                "num_bounded_loops": null
-            },
-            {
-                "name": "checkSetMap2(uint256,uint256,uint256)",
-                "exitcode": 0,
-                "num_models": 0,
-                "num_paths": null,
-                "time": null,
-                "num_bounded_loops": null
-            },
-            {
-                "name": "checkSetMap3(uint256,uint256,uint256,uint256)",
-                "exitcode": 0,
-                "num_models": 0,
-                "num_paths": null,
-                "time": null,
-                "num_bounded_loops": null
-            }
-        ]
-    }
-}
\ No newline at end of file