diff --git a/src/test/scala/sigmastate/lang/SigmaCompilerTest.scala b/src/test/scala/sigmastate/lang/SigmaCompilerTest.scala
index 8a4eca58b3..969afa82f8 100644
--- a/src/test/scala/sigmastate/lang/SigmaCompilerTest.scala
+++ b/src/test/scala/sigmastate/lang/SigmaCompilerTest.scala
@@ -288,7 +288,7 @@ class SigmaCompilerTest extends SigmaTestingCommons with LangTests with ValueGen
     )
   }
 
-  property("SOption.map") {
+  ignore("SOption.map") {
     testMissingCosting("getVar[Int](1).map({(i: Int) => i + 1})",
       mkMethodCall(GetVarInt(1),
         SOption.MapMethod.withConcreteTypes(Map(SOption.tT -> SInt, SOption.tR -> SInt)),
@@ -300,7 +300,7 @@ class SigmaCompilerTest extends SigmaTestingCommons with LangTests with ValueGen
     )
   }
 
-  property("SOption.filter") {
+  ignore("SOption.filter") {
     testMissingCosting("getVar[Int](1).filter({(i: Int) => i > 0})",
       mkMethodCall(GetVarInt(1),
         SOption.FilterMethod.withConcreteTypes(Map(SOption.tT -> SInt)),
diff --git a/src/test/scala/sigmastate/utxo/BasicOpsSpecification.scala b/src/test/scala/sigmastate/utxo/BasicOpsSpecification.scala
index 38dfe239bf..46f238034d 100644
--- a/src/test/scala/sigmastate/utxo/BasicOpsSpecification.scala
+++ b/src/test/scala/sigmastate/utxo/BasicOpsSpecification.scala
@@ -569,7 +569,7 @@ class BasicOpsSpecification extends SigmaTestingCommons {
     )
   }
 
-  property("Option.map") {
+  ignore("Option.map") {
     test("Option.map", env, ext,
       "getVar[Int](intVar1).map({(i: Int) => i + 1}).get == 2",
       null,
@@ -577,7 +577,7 @@ class BasicOpsSpecification extends SigmaTestingCommons {
     )
   }
 
-  property("Option.filter") {
+  ignore("Option.filter") {
     test("Option.filter", env, ext,
       "getVar[Int](intVar1).filter({(i: Int) => i > 0}).get == 1",
       null,
diff --git a/src/test/scala/sigmastate/utxo/CollectionOperationsSpecification.scala b/src/test/scala/sigmastate/utxo/CollectionOperationsSpecification.scala
index 8da1deb4c5..b3d8c15fc1 100644
--- a/src/test/scala/sigmastate/utxo/CollectionOperationsSpecification.scala
+++ b/src/test/scala/sigmastate/utxo/CollectionOperationsSpecification.scala
@@ -435,7 +435,7 @@ class CollectionOperationsSpecification extends SigmaTestingCommons {
     assertProof(code, expectedPropTree, outputBoxValues)
   }
 
-  property("flatMap") {
+  ignore("flatMap") {
     assertProof("OUTPUTS.flatMap({ (out: Box) => out.propositionBytes })(0) == 0.toByte",
       EQ(
         ByIndex(
@@ -464,7 +464,7 @@ class CollectionOperationsSpecification extends SigmaTestingCommons {
       IndexedSeq(1L, 1L))
   }
 
-  property("indices") {
+  ignore("indices") {
     assertProof("OUTPUTS.indices == Coll(0)",
       EQ(MethodCall(Outputs, SCollection.IndicesMethod, Vector()), ConcreteCollection(IntConstant(0))),
       IndexedSeq(1L, 1L))