FFT Benchmarks

Family
NameFFT
Generation DateNone
First Occurrence2014-07-21
Benchmarks594

Benchmarks

AUFLIRA • Charts • Solver Isomap
smtlib.657621.smt2
smtlib.752778.smt2
smtlib.756643.smt2
smtlib.922994.smt2
smtlib.870533.smt2
smtlib.910025.smt2
smtlib.878461.smt2
smtlib.827705.smt2
smtlib.819564.smt2
smtlib.831561.smt2
smtlib.562660.smt2
smtlib.778166.smt2
smtlib.769312.smt2
smtlib.944582.smt2
smtlib.799329.smt2
smtlib.839277.smt2
smtlib.715376.smt2
smtlib.761224.smt2
smtlib.748236.smt2
smtlib.765089.smt2
smtlib.769670.smt2
smtlib.795122.smt2
smtlib.955738.smt2
smtlib.862942.smt2
smtlib.947473.smt2
smtlib.919037.smt2
smtlib.757001.smt2
smtlib.782172.smt2
smtlib.613529.smt2
smtlib.846927.smt2
smtlib.866915.smt2
smtlib.765447.smt2
smtlib.878807.smt2
smtlib.807408.smt2
smtlib.874843.smt2
smtlib.803201.smt2
smtlib.914714.smt2
smtlib.823849.smt2
smtlib.910391.smt2
smtlib.609936.smt2
smtlib.682484.smt2
smtlib.859164.smt2
smtlib.708210.smt2
smtlib.847295.smt2
smtlib.951745.smt2
smtlib.618857.smt2
smtlib.712662.smt2
smtlib.752395.smt2
smtlib.666029.smt2
smtlib.811615.smt2
smtlib.794787.smt2
smtlib.952008.smt2
smtlib.619215.smt2
smtlib.708311.smt2
smtlib.951243.smt2
smtlib.926730.smt2
smtlib.839647.smt2
smtlib.748622.smt2
smtlib.786568.smt2
smtlib.909355.smt2
smtlib.798994.smt2
smtlib.819950.smt2
smtlib.790569.smt2
smtlib.922324.smt2
smtlib.760866.smt2
smtlib.870879.smt2
smtlib.786957.smt2
smtlib.862596.smt2
smtlib.866582.smt2
smtlib.707927.smt2
smtlib.614580.smt2
smtlib.657874.smt2
smtlib.923360.smt2
smtlib.882771.smt2
smtlib.790915.smt2
smtlib.803536.smt2
smtlib.882425.smt2
smtlib.777801.smt2
smtlib.782559.smt2
smtlib.918001.smt2
smtlib.913678.smt2
smtlib.874497.smt2
smtlib.807743.smt2
smtlib.618174.smt2
smtlib.633742.smt2
smtlib.614216.smt2
smtlib.608910.smt2
smtlib.811950.smt2
smtlib.914348.smt2
smtlib.956068.smt2
smtlib.609556.smt2
smtlib.918671.smt2
smtlib.715261.smt2
smtlib.835417.smt2
AUFNIRA • Charts • Solver Isomap
z3.673310.smt2
smtlib.647018.smt2
smtlib.672054.smt2
z3.794968.smt2
z3.674628.smt2
z3.684910.smt2
z3.918728.smt2
z3.695009.smt2
smtlib.700083.smt2
smtlib.940318.smt2
z3.761507.smt2
smtlib.754911.smt2
z3.686904.smt2
smtlib.872800.smt2
z3.697673.smt2
smtlib.681188.smt2
smtlib.768674.smt2
z3.663327.smt2
z3.921280.smt2
z3.630048.smt2
z3.852276.smt2
smtlib.772111.smt2
z3.666124.smt2
smtlib.805592.smt2
smtlib.620440.smt2
smtlib.849348.smt2
smtlib.665247.smt2
smtlib.827387.smt2
smtlib.834515.smt2
smtlib.742487.smt2
z3.549864.smt2
z3.667685.smt2
z3.676882.smt2
smtlib.860981.smt2
z3.663953.smt2
smtlib.802565.smt2
z3.861289.smt2
z3.706995.smt2
z3.695337.smt2
smtlib.809799.smt2
smtlib.673324.smt2
z3.702239.smt2
z3.634210.smt2
z3.687448.smt2
smtlib.560602.smt2
z3.740747.smt2
smtlib.629335.smt2
z3.869313.smt2
z3.827926.smt2
smtlib.644770.smt2
z3.790700.smt2
smtlib.688983.smt2
z3.633926.smt2
z3.683368.smt2
smtlib.955132.smt2
z3.561997.smt2
smtlib.675941.smt2
z3.672518.smt2
z3.849188.smt2
smtlib.880728.smt2
z3.647252.smt2
smtlib.616911.smt2
z3.701134.smt2
z3.782459.smt2
z3.918064.smt2
smtlib.853506.smt2
z3.779430.smt2
smtlib.908174.smt2
z3.797113.smt2
smtlib.946545.smt2
smtlib.954058.smt2
smtlib.916820.smt2
z3.845939.smt2
smtlib.635849.smt2
z3.747041.smt2
z3.763220.smt2
z3.713843.smt2
smtlib.659901.smt2
z3.634134.smt2
z3.619057.smt2
smtlib.664248.smt2
z3.629976.smt2
z3.627094.smt2
smtlib.714922.smt2
smtlib.760228.smt2
smtlib.788836.smt2
z3.757428.smt2
z3.865646.smt2
smtlib.869906.smt2
z3.649261.smt2
z3.661994.smt2
z3.634248.smt2
z3.784716.smt2
smtlib.635501.smt2
smtlib.837455.smt2
z3.881698.smt2
z3.607838.smt2
z3.828944.smt2
smtlib.645857.smt2
smtlib.561727.smt2
smtlib.637239.smt2
smtlib.698113.smt2
z3.744873.smt2
smtlib.873870.smt2
smtlib.781509.smt2
z3.659732.smt2
z3.845575.smt2
smtlib.746428.smt2
z3.675263.smt2
z3.675244.smt2
z3.663700.smt2
z3.697344.smt2
z3.635554.smt2
z3.838140.smt2
smtlib.674024.smt2
smtlib.697961.smt2
z3.667166.smt2
z3.755420.smt2
z3.770035.smt2
z3.837770.smt2
z3.808947.smt2
smtlib.629149.smt2
z3.792845.smt2
z3.825598.smt2
smtlib.682065.smt2
z3.763578.smt2
z3.638194.smt2
z3.746656.smt2
smtlib.607667.smt2
z3.791875.smt2
z3.829846.smt2
z3.818028.smt2
z3.767299.smt2
z3.801381.smt2
z3.654657.smt2
z3.844945.smt2
z3.821634.smt2
z3.637557.smt2
smtlib.645472.smt2
z3.835930.smt2
z3.805315.smt2
z3.923114.smt2
smtlib.850480.smt2
smtlib.671895.smt2
smtlib.876764.smt2
smtlib.864863.smt2
z3.640466.smt2
smtlib.626115.smt2
z3.640149.smt2
smtlib.958319.smt2
smtlib.635015.smt2
z3.655425.smt2
smtlib.628941.smt2
z3.560298.smt2
z3.939846.smt2
z3.872699.smt2
z3.610121.smt2
z3.774116.smt2
z3.860677.smt2
smtlib.831243.smt2
z3.881352.smt2
z3.692863.smt2
z3.796779.smt2
smtlib.750595.smt2
z3.910312.smt2
smtlib.665768.smt2
z3.801047.smt2
smtlib.817734.smt2
z3.944599.smt2
z3.699441.smt2
smtlib.938740.smt2
smtlib.660068.smt2
z3.859684.smt2
smtlib.659604.smt2
z3.758499.smt2
smtlib.759134.smt2
smtlib.662069.smt2
smtlib.777173.smt2
z3.696723.smt2
smtlib.933524.smt2
smtlib.833494.smt2
z3.755062.smt2
z3.929857.smt2
z3.919084.smt2
smtlib.767580.smt2
z3.780093.smt2
z3.864684.smt2
smtlib.707123.smt2
z3.711170.smt2
z3.614780.smt2
z3.833458.smt2
z3.786512.smt2
smtlib.632775.smt2
z3.713145.smt2
z3.857109.smt2
z3.661728.smt2
smtlib.700096.smt2
smtlib.943691.smt2
z3.843953.smt2
smtlib.714183.smt2
z3.879676.smt2
z3.951712.smt2
smtlib.942602.smt2
z3.711639.smt2
smtlib.743633.smt2
z3.816994.smt2
smtlib.638953.smt2
z3.682088.smt2
smtlib.670862.smt2
z3.695462.smt2
z3.775888.smt2
z3.857918.smt2
smtlib.826803.smt2
smtlib.623344.smt2
z3.613729.smt2
z3.800411.smt2
z3.922450.smt2
z3.639724.smt2
z3.946559.smt2
z3.861632.smt2
z3.783662.smt2
z3.825014.smt2
smtlib.780306.smt2
z3.694291.smt2
smtlib.854640.smt2
smtlib.621785.smt2
smtlib.612263.smt2
z3.711517.smt2
z3.709094.smt2
smtlib.756005.smt2
smtlib.823496.smt2
smtlib.627369.smt2
z3.943708.smt2
smtlib.835099.smt2
smtlib.830659.smt2
z3.876712.smt2
z3.776249.smt2
z3.788577.smt2
smtlib.846296.smt2
z3.811946.smt2
z3.877339.smt2
z3.685476.smt2
smtlib.622079.smt2
z3.685296.smt2
z3.940633.smt2
smtlib.712540.smt2
z3.661347.smt2
z3.913678.smt2
z3.691631.smt2
z3.663869.smt2
z3.621866.smt2
smtlib.640322.smt2
z3.628546.smt2
z3.753349.smt2
z3.706191.smt2
z3.702400.smt2
smtlib.635732.smt2
z3.682948.smt2
z3.823996.smt2
smtlib.661260.smt2
z3.796143.smt2
smtlib.674037.smt2
z3.609741.smt2
z3.925667.smt2
smtlib.710024.smt2
z3.877685.smt2
smtlib.868836.smt2
smtlib.822925.smt2
z3.775261.smt2
smtlib.829638.smt2
z3.624507.smt2
smtlib.821891.smt2
z3.622405.smt2
smtlib.673963.smt2
z3.614416.smt2
smtlib.857393.smt2
z3.804679.smt2
z3.631366.smt2
z3.767657.smt2
smtlib.763357.smt2
z3.647039.smt2
z3.699515.smt2
z3.914342.smt2
z3.868686.smt2
smtlib.798358.smt2
z3.833776.smt2
z3.750318.smt2
z3.873326.smt2
z3.648629.smt2
z3.697561.smt2
z3.875663.smt2
z3.829528.smt2
smtlib.764451.smt2
z3.746010.smt2
z3.754420.smt2
z3.955145.smt2
z3.678148.smt2
smtlib.921143.smt2
smtlib.671569.smt2
smtlib.818913.smt2
smtlib.637372.smt2
smtlib.657075.smt2
smtlib.637378.smt2
z3.832874.smt2
smtlib.662227.smt2
z3.633492.smt2
smtlib.653587.smt2
smtlib.659078.smt2
smtlib.950232.smt2
smtlib.629057.smt2
z3.787622.smt2
z3.659235.smt2
smtlib.647696.smt2
smtlib.785903.smt2
z3.914698.smt2
z3.805649.smt2
z3.837129.smt2
z3.865313.smt2
smtlib.881798.smt2
z3.938815.smt2
smtlib.929723.smt2
smtlib.701996.smt2
z3.699496.smt2
z3.950199.smt2
z3.853412.smt2
z3.799236.smt2
smtlib.712193.smt2
smtlib.776019.smt2
z3.809917.smt2
z3.807772.smt2
z3.649061.smt2
smtlib.858887.smt2
z3.655977.smt2
z3.926856.smt2
z3.655748.smt2
z3.636226.smt2
z3.646409.smt2
z3.788234.smt2
z3.923470.smt2
smtlib.696888.smt2
z3.873672.smt2
z3.880725.smt2
z3.759499.smt2
smtlib.637082.smt2
smtlib.549916.smt2
smtlib.810979.smt2
z3.640330.smt2
z3.673421.smt2
z3.909956.smt2
smtlib.838638.smt2
z3.710520.smt2
z3.636136.smt2
smtlib.645715.smt2
z3.815818.smt2
smtlib.700022.smt2
z3.940390.smt2
z3.954082.smt2
z3.661907.smt2
z3.759141.smt2
smtlib.940561.smt2
smtlib.806772.smt2
z3.692368.smt2
smtlib.633330.smt2
z3.848054.smt2
z3.673103.smt2
z3.958311.smt2
smtlib.944272.smt2
z3.609085.smt2
smtlib.624862.smt2
z3.908122.smt2
z3.612465.smt2
z3.857642.smt2
smtlib.629241.smt2
z3.863623.smt2
z3.687278.smt2
z3.856156.smt2
z3.916894.smt2
z3.762578.smt2
z3.561423.smt2
z3.871650.smt2
smtlib.747589.smt2
z3.784327.smt2
z3.749181.smt2
z3.751341.smt2
smtlib.656050.smt2
smtlib.865953.smt2
smtlib.789955.smt2
z3.618374.smt2
smtlib.845302.smt2
z3.647389.smt2
z3.701866.smt2
smtlib.654080.smt2
z3.641708.smt2
smtlib.751753.smt2
z3.677987.smt2
z3.625933.smt2
z3.620661.smt2
z3.766657.smt2
smtlib.638801.smt2
z3.909292.smt2
smtlib.699383.smt2
smtlib.647637.smt2
z3.820023.smt2
smtlib.861982.smt2
z3.638333.smt2
z3.635953.smt2
z3.825916.smt2
z3.817643.smt2
z3.765586.smt2
smtlib.630683.smt2
smtlib.633611.smt2
z3.780480.smt2
smtlib.637413.smt2
z3.821053.smt2
z3.944289.smt2
z3.649332.smt2
z3.669565.smt2
z3.803504.smt2
z3.947491.smt2
z3.667943.smt2
z3.689469.smt2
z3.692734.smt2
smtlib.939774.smt2
z3.638004.smt2
smtlib.925543.smt2
z3.675189.smt2
z3.658206.smt2
z3.951208.smt2
smtlib.647483.smt2
z3.831856.smt2
smtlib.801385.smt2
z3.659996.smt2
smtlib.797178.smt2
smtlib.858350.smt2
z3.951967.smt2
z3.619415.smt2
smtlib.784698.smt2
z3.677614.smt2
smtlib.629331.smt2
z3.634265.smt2
smtlib.711486.smt2
z3.809583.smt2
z3.778229.smt2
z3.867637.smt2
smtlib.661781.smt2
smtlib.653905.smt2
z3.869659.smt2
smtlib.652843.smt2
z3.622683.smt2
z3.792511.smt2
smtlib.562301.smt2
smtlib.825782.smt2
smtlib.792971.smt2
smtlib.629402.smt2
z3.714299.smt2
z3.714184.smt2
z3.942623.smt2
z3.956070.smt2
smtlib.697550.smt2
z3.912508.smt2
z3.933657.smt2
smtlib.794151.smt2
z3.750959.smt2
z3.617112.smt2
z3.821986.smt2
z3.698880.smt2
z3.955746.smt2
smtlib.912497.smt2
smtlib.813971.smt2
smtlib.877834.smt2
QF_UFLRA • Charts • Solver Isomap
smtlib.620524.smt2
smtlib.626159.smt2
smtlib.623586.smt2
smtlib.624914.smt2
smtlib.624882.smt2
smtlib.624898.smt2
smtlib.627677.smt2
smtlib.626139.smt2
smtlib.624916.smt2
smtlib.626179.smt2
QF_UFNRA • Charts • Solver Isomap
smtlib.631195.smt2
z3.641736.smt2
smtlib.640350.smt2
smtlib.630867.smt2
smtlib.630785.smt2
smtlib.631277.smt2
smtlib.631113.smt2
smtlib.631031.smt2
z3.630166.smt2
smtlib.630949.smt2
UFLRA • Charts • Solver Isomap
smtlib.627531.smt2
smtlib.627605.smt2
smtlib.623474.smt2
smtlib.627688.smt2
smtlib.623531.smt2
smtlib.620535.smt2
smtlib.623417.smt2
smtlib.623597.smt2
smtlib.627457.smt2
smtlib.620487.smt2