pspace Benchmarks

Family
Namepspace
Generation DateNone
First Occurrence2014-07-21
Benchmarks86

Benchmarks

QF_BV • Charts • Solver Isomap
power2sum.8485.smt2
ndist.a.29980.smt2
ndist.a.23493.smt2
ndist.a.21497.smt2
power2sum.6893.smt2
ndist.b.29980.smt2
power2sum.7291.smt2
ndist.b.27984.smt2
power2sum.6495.smt2
power2sum.9878.smt2
ndist.a.26986.smt2
shift1add.10000.smt2
power2sum.6097.smt2
ndist.a.29481.smt2
shift1add.20967.smt2
power2sum.8087.smt2
power2sum.6296.smt2
ndist.a.20000.smt2
power2sum.7689.smt2
ndist.b.20000.smt2
shift1add.21964.smt2
power2sum.8684.smt2
shift1add.15982.smt2
ndist.a.22495.smt2
ndist.a.25489.smt2
ndist.b.25988.smt2
ndist.b.23493.smt2
shift1add.18973.smt2
shift1add.25952.smt2
power2sum.5500.smt2
ndist.b.27485.smt2
shift1add.12991.smt2
ndist.a.27984.smt2
power2sum.5898.smt2
ndist.b.20499.smt2
ndist.b.23992.smt2
ndist.a.20499.smt2
shift1add.11994.smt2
power2sum.8286.smt2
ndist.a.22994.smt2
shift1add.29940.smt2
shift1add.24955.smt2
ndist.b.26986.smt2
ndist.b.21497.smt2
ndist.b.20998.smt2
shift1add.23958.smt2
power2sum.9082.smt2
ndist.b.28483.smt2
power2sum.7888.smt2
power2sum.9679.smt2
ndist.b.22495.smt2
ndist.a.28982.smt2
ndist.b.29481.smt2
shift1add.13988.smt2
ndist.a.21996.smt2
ndist.a.23992.smt2
ndist.b.22994.smt2
ndist.a.20998.smt2
ndist.b.24491.smt2
ndist.b.26487.smt2
shift1add.16979.smt2
ndist.b.24990.smt2
power2sum.8883.smt2
power2sum.9281.smt2
power2sum.6694.smt2
shift1add.19970.smt2
ndist.a.27485.smt2
power2sum.7092.smt2
ndist.a.26487.smt2
shift1add.14985.smt2
shift1add.17976.smt2
shift1add.10997.smt2
shift1add.26949.smt2
ndist.a.24990.smt2
ndist.b.25489.smt2
power2sum.9480.smt2
power2sum.5699.smt2
shift1add.27946.smt2
shift1add.22961.smt2
shift1add.28943.smt2
ndist.a.25988.smt2
ndist.a.28483.smt2
ndist.a.24491.smt2
ndist.b.21996.smt2
ndist.b.28982.smt2
power2sum.7490.smt2