# .

* SAT 0
* UNSAT 0
* TIMEOUT 0
* UNKNOWN 0

* UNSET 250

* ERROR 250

# Meta data

<pre>
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

</pre>


# 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 |  |  |
