# . * SAT 0 * UNSAT 0 * TIMEOUT 0 * UNKNOWN 0 * UNSET 250 * ERROR 250 # Meta data 
Ramon benchmark for Z3
-
Job description: 
Job tag: bench-fstar-ulib-smt2
Runner: rise-runner-2
Z3 repo: CanCebeci/z3
Z3 commit: 18cb7654b9931442b52ef68bdb2c6643b1b01392
Z3 branch: master-clean
Z3 options: "-T:20"
Z3 inputs: inputs/fstar-ulib-smt2
Z3 commit message: Update generation number of already-internalized enodes
# Statistics |FILE |TIME |MEM | STATUS | EXIT | STDOUT | STDERR | |------------|----------:|---------:|-------------:| ----------:|--------|--------| |queries-LowStar.Buffer.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.TSet-2.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.Set.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.Relational.Relational.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-Steel.FractionalPermission.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.Modifies.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.Squash.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.Seq.Permutation-3.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.Int8.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-LowStar.PrefixFreezableBuffer.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-Steel.ST.Coercions.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-Steel.ST.Effect.Atomic.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.BV.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.Tactics.Effect.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-LowStar.Endianness-2.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.Calc.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.MSTTotal.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.Monotonic.Heap.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-LowStar.Literal.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.ModifiesGen-5.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.Tactics.CanonCommSemiring.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-Steel.Heap-1.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.Seq.Sorted.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.Real.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-Steel.ST.CancellableSpinLock.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-Steel.ST.GhostPCMReference.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.Int.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.Algebra.CommMonoid.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.TwoLevelHeap.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.ModifiesGen-4.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-Steel.MonotonicReference.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-Steel.ST.Util.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.IFC.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-Steel.ST.Array.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-LowStar.Endianness-1.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.ReflexiveTransitiveClosure.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.Classical.Sugar.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-LowStar.ImmutableBuffer.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.ModifiesGen-2.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-Steel.ST.Loops.Util.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.Int16.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-LowStar.Regional.Instances.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.InteractiveHelpers.Output.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.LexicographicOrdering.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-LowStar.ToFStarBuffer.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-Steel.MonotonicCounter.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.Tactics.CanonMonoid.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.IntegerIntervals.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-Steel.Semantics.Instantiate.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-Prims.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.Vector.Base.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.Tactics.Print.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.NMST.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.NMSTTotal.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.InteractiveHelpers.Effectful.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.Math.Lib.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.Buffer.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-Steel.ST.Reference.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.PropositionalExtensionality.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.OrdSetProps.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.Reflection.Data.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.Error.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-Steel.ST.Effect.Ghost.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-Steel.HigherReference.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.InteractiveHelpers.ExploreTerm.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.UInt32.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-Steel.Channel.Duplex.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.Ghost.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.Tactics.CanonCommMonoidSimple.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.Fin.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.InteractiveHelpers.PostProcess.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-Steel.Stepper.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.Monotonic.DependentMap.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.List.Pure.Properties.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.Tactics.BV.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.String.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.Seq.Equiv.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.Seq.Permutation-2.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.Matrix.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.Vector.Properties.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-Steel.PCMReference.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.InteractiveHelpers.Base.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.TaggedUnion.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.Matrix-1.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.List.Tot.Base.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.Reflection.Formula.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.Monotonic.Map.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.Algebra.CommMonoid.Equiv.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-LowStar.Monotonic.Buffer-2.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.WellFounded.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.ModifiesGen-3.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.Bytes.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.Monotonic.Witnessed.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.PartialMap.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-LowStar.Monotonic.Buffer-1.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-Steel.Closure.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.Endianness.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.BitVector.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.Array.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.Monotonic.Pure.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-Steel.Memory.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.Monotonic.Seq.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.MST.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-LowStar.ConstBuffer.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-Steel.Heap.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.Tactics.Util.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-Steel.Reference.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.Reflection.Derived.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-Steel.Primitive.ForkJoin.Unix.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.List.Pure.Base.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-LowStar.BufferCompat.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.Seq.Permutation.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.Pervasives.Native.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.Tactics.CanonCommMonoid.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.UInt16.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.Tactics.SyntaxHelpers.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-Steel.ST.EphemeralHashtbl.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.Math.Lemmas.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.Algebra.CommMonoid.Fold.Nested.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.Tactics.Typeclasses.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.FunctionalExtensionality.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.WellFounded.Util.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.BigOps.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.Classical-2.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.OrdMapProps.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-Steel.Channel.Simplex.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-Steel.Effect.M.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.Tactics.Canon.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.BufferNG.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-LowStar.Monotonic.Buffer.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.ConstantTime.Integers.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.FiniteSet.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-Steel.ST.BitVector.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-Steel.Effect.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.Tactics.Simplifier.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-Steel.FractionalAnchoredPreorder.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.Tactics.Logic.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-LowStar.Comment.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.Reflection.Types.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-LowStar.RVector.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.Reflection.Derived.Lemmas.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.Classical-1.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.Seq.Permutation-1.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.Monotonic.HyperHeap.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-Steel.Effect.Common.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.Tactics.CanonCommMonoidSimple.Equiv.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.Sequence.Ambient.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.All.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.Tactics.Effect-1.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.Sequence.Base.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-Steel.Channel.Protocol.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.ModifiesGen-6.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-LowStar.BufferView.Down.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.Tactics.Result.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-Steel.Utils.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.Classical.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.UInt8.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.PredicateExtensionality.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-Steel.ST.Effect.AtomicAndGhost.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.Math.Euclid-1.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-LowStar.UninitializedBuffer.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-LowStar.Printf.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.Math.Fermat.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.VConfig.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.Sequence.Seq.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.Crypto.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.Pointer.Derived3.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-LowStar.Regional.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.PCM.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-Steel.Semantics.Hoare.MST.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-Steel.Loops.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-LowStar.Endianness.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-LowStar.BufferView.Up.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.Tactics.PatternMatching.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.UInt.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-Steel.ST.GhostReference.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.Buffer.Quantifiers.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.Pointer.Base.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.Matrix2.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.ModifiesGen-7.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.Pointer.Derived1.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.Tcp.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-Steel.DisposableInvariant.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.UInt64.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.Int.Cast.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-Steel.ST.Effect.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.MRef.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.Reflection.Arith.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.Integers.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.Algebra.Monoid.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.List.Tot.Properties.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.Sequence.Permutation.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.Tactics.Effect-2.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.SquashProperties.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.OrdMap.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-Steel.ST.MonotonicReference.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.HyperStack.ST.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.WellFoundedRelation.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-Steel.ST.Array.Util.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.Option.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.Seq.Properties.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-LowStar.Vector.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-Steel.PCMMap.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.Int32.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-Steel.MonotonicHigherReference.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.Char.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.Math.Euclid.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.Universe.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-Steel.ST.Loops.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.Map.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.Printf.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.Algebra.CommMonoid.Fold.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-LowStar.BufferView.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.ModifiesGen-1.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-Steel.Primitive.ForkJoin.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.Constructive.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.Universe.PCM.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-Steel.SpinLock.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.Tactics.CanonCommSwaps.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.ST.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-Steel.Array.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-Steel.LockCoupling.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.Util.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-LowStar.BufferOps.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.Tactics.Derived.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.Int.Cast.Full.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-Steel.GhostPCMReference.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-Steel.ST.SpinLock.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.Int128.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.Monotonic.HyperStack.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.Ref.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.UInt128.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.Pervasives.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.Heap.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.List.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.Order.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.TSet.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.Pointer.Derived2.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.IndefiniteDescription.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-Steel.Preorder.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.Int64.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.DependentMap.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.ModifiesGen.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.Seq.Base.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.TSet-1.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-Steel.Effect.Atomic.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.Sequence.Util.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.GSet.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.OrdSet.smt2 | 1000.000s | -1B| unset | -1 | | | |queries-FStar.Tactics.Common.smt2 | 1000.000s | -1B| unset | -1 | | |