20230329-denghang Benchmarks

Family
Namedenghang
Generation Date2023-03-29
First Occurrence2023-07-06
Benchmarks999

Benchmarks

QF_SLIA • Charts • Solver Isomap
instance44876.smt2
instance44973.smt2
instance57220.smt2
instance50737.smt2
instance50680.smt2
instance58534.smt2
instance37.smt2
instance55430.smt2
instance51385.smt2
instance50391.smt2
instance55418.smt2
instance56403.smt2
instance48332.smt2
instance49887.smt2
instance46003.smt2
instance52105.smt2
instance44832.smt2
instance56461.smt2
instance50706.smt2
instance49220.smt2
instance47252.smt2
instance51528.smt2
instance49255.smt2
instance45143.smt2
instance47041.smt2
instance46821.smt2
instance46876.smt2
instance51917.smt2
instance48866.smt2
instance44337.smt2
instance49106.smt2
instance50708.smt2
instance48996.smt2
instance58134.smt2
instance53900.smt2
instance56788.smt2
instance49053.smt2
instance55821.smt2
instance54703.smt2
instance44324.smt2
instance54833.smt2
instance54122.smt2
instance57685.smt2
instance46411.smt2
instance52804.smt2
instance52018.smt2
instance58114.smt2
instance53855.smt2
instance54972.smt2
instance57136.smt2
instance55450.smt2
instance47474.smt2
instance56074.smt2
instance58545.smt2
instance48126.smt2
instance44844.smt2
instance58204.smt2
instance51481.smt2
instance49321.smt2
instance54209.smt2
instance56949.smt2
instance44557.smt2
instance54912.smt2
instance49464.smt2
instance49949.smt2
instance56700.smt2
instance52343.smt2
instance56889.smt2
instance45161.smt2
instance58091.smt2
instance58514.smt2
instance50674.smt2
instance58101.smt2
instance54925.smt2
instance45549.smt2
instance58486.smt2
instance45498.smt2
instance48657.smt2
instance46351.smt2
instance46004.smt2
instance58030.smt2
instance48454.smt2
instance45690.smt2
instance54239.smt2
instance49364.smt2
instance47900.smt2
instance46671.smt2
instance56679.smt2
instance58442.smt2
instance57869.smt2
instance53305.smt2
instance52880.smt2
instance50013.smt2
instance44134.smt2
instance57018.smt2
instance57535.smt2
instance52916.smt2
instance46002.smt2
instance52584.smt2
instance53746.smt2
instance57105.smt2
instance52254.smt2
instance55193.smt2
instance40916.smt2
instance52369.smt2
instance49068.smt2
instance55764.smt2
instance50920.smt2
instance56391.smt2
instance52755.smt2
instance49745.smt2
instance54585.smt2
instance50064.smt2
instance51169.smt2
instance44814.smt2
instance47364.smt2
instance53501.smt2
instance50952.smt2
instance45394.smt2
instance46208.smt2
instance53586.smt2
instance58301.smt2
instance46221.smt2
instance53425.smt2
instance49704.smt2
instance48170.smt2
instance48437.smt2
instance45008.smt2
instance49117.smt2
instance45103.smt2
instance55820.smt2
instance54854.smt2
instance45366.smt2
instance44653.smt2
instance57574.smt2
instance46336.smt2
instance51717.smt2
instance44108.smt2
instance54687.smt2
instance45508.smt2
instance57439.smt2
instance56039.smt2
instance31854.smt2
instance51369.smt2
instance48787.smt2
instance54057.smt2
instance45284.smt2
instance46375.smt2
instance48810.smt2
instance45650.smt2
instance45785.smt2
instance49808.smt2
instance57000.smt2
instance54966.smt2
instance52259.smt2
instance44525.smt2
instance55770.smt2
instance54410.smt2
instance56567.smt2
instance46350.smt2
instance46462.smt2
instance56324.smt2
instance51804.smt2
instance58269.smt2
instance47205.smt2
instance53707.smt2
instance57367.smt2
instance51595.smt2
instance44842.smt2
instance50344.smt2
instance47257.smt2
instance47897.smt2
instance55145.smt2
instance44300.smt2
instance48116.smt2
instance53722.smt2
instance50286.smt2
instance58288.smt2
instance44318.smt2
instance56874.smt2
instance52279.smt2
instance46972.smt2
instance44110.smt2
instance51349.smt2
instance47142.smt2
instance48912.smt2
instance50182.smt2
instance50245.smt2
instance54589.smt2
instance53023.smt2
instance53685.smt2
instance48330.smt2
instance50121.smt2
instance55025.smt2
instance52395.smt2
instance309.smt2
instance44345.smt2
instance49814.smt2
instance46026.smt2
instance47382.smt2
instance56100.smt2
instance53637.smt2
instance55381.smt2
instance49043.smt2
instance46385.smt2
instance51671.smt2
instance51784.smt2
instance55904.smt2
instance56132.smt2
instance51739.smt2
instance50122.smt2
instance45358.smt2
instance44257.smt2
instance54389.smt2
instance49159.smt2
instance46589.smt2
instance58415.smt2
instance48102.smt2
instance54676.smt2
instance58164.smt2
instance58329.smt2
instance52715.smt2
instance47239.smt2
instance54292.smt2
instance58448.smt2
instance55189.smt2
instance50051.smt2
instance58241.smt2
instance47408.smt2
instance51681.smt2
instance49727.smt2
instance46513.smt2
instance44604.smt2
instance52227.smt2
instance49206.smt2
instance49258.smt2
instance54593.smt2
instance48267.smt2
instance57446.smt2
instance47261.smt2
instance51184.smt2
instance51992.smt2
instance47906.smt2
instance50586.smt2
instance50618.smt2
instance51620.smt2
instance48039.smt2
instance55806.smt2
instance31959.smt2
instance47975.smt2
instance53606.smt2
instance53300.smt2
instance55296.smt2
instance48185.smt2
instance44067.smt2
instance45801.smt2
instance46901.smt2
instance58201.smt2
instance57017.smt2
instance50996.smt2
instance49697.smt2
instance49844.smt2
instance48913.smt2
instance47957.smt2
instance51030.smt2
instance49906.smt2
instance45234.smt2
instance48286.smt2
instance47179.smt2
instance54222.smt2
instance53726.smt2
instance53714.smt2
instance54388.smt2
instance53317.smt2
instance44702.smt2
instance52636.smt2
instance52831.smt2
instance57590.smt2
instance52082.smt2
instance56636.smt2
instance58373.smt2
instance48506.smt2
instance45521.smt2
instance58110.smt2
instance48235.smt2
instance45921.smt2
instance56433.smt2
instance45440.smt2
instance55842.smt2
instance53725.smt2
instance52071.smt2
instance56382.smt2
instance51168.smt2
instance46328.smt2
instance53150.smt2
instance56174.smt2
instance53862.smt2
instance54078.smt2
instance48683.smt2
instance50565.smt2
instance48862.smt2
instance48023.smt2
instance55508.smt2
instance47307.smt2
instance57539.smt2
instance49432.smt2
instance44959.smt2
instance51891.smt2
instance54751.smt2
instance56976.smt2
instance47849.smt2
instance44241.smt2
instance46875.smt2
instance57107.smt2
instance50079.smt2
instance55255.smt2
instance45313.smt2
instance50601.smt2
instance49202.smt2
instance55083.smt2
instance57126.smt2
instance44433.smt2
instance54650.smt2
instance51973.smt2
instance44884.smt2
instance48172.smt2
instance55946.smt2
instance45857.smt2
instance46534.smt2
instance48225.smt2
instance52962.smt2
instance52773.smt2
instance57300.smt2
instance50115.smt2
instance23794.smt2
instance55840.smt2
instance44962.smt2
instance51135.smt2
instance46040.smt2
instance49086.smt2
instance53582.smt2
instance51728.smt2
instance53831.smt2
instance47209.smt2
instance49186.smt2
instance56944.smt2
instance56659.smt2
instance44914.smt2
instance52441.smt2
instance46408.smt2
instance46684.smt2
instance57211.smt2
instance57182.smt2
instance53308.smt2
instance47896.smt2
instance56751.smt2
instance57171.smt2
instance46207.smt2
instance57481.smt2
instance45097.smt2
instance58338.smt2
instance58141.smt2
instance52628.smt2
instance48410.smt2
instance55879.smt2
instance45400.smt2
instance44519.smt2
instance47987.smt2
instance56934.smt2
instance46714.smt2
instance56333.smt2
instance48718.smt2
instance45773.smt2
instance44356.smt2
instance50199.smt2
instance50313.smt2
instance45599.smt2
instance45864.smt2
instance51599.smt2
instance49193.smt2
instance49556.smt2
instance46993.smt2
instance44503.smt2
instance45337.smt2
instance53054.smt2
instance48946.smt2
instance54363.smt2
instance53664.smt2
instance50003.smt2
instance56585.smt2
instance58429.smt2
instance46307.smt2
instance52041.smt2
instance48025.smt2
instance49081.smt2
instance56651.smt2
instance47108.smt2
instance57197.smt2
instance55955.smt2
instance54521.smt2
instance56750.smt2
instance55712.smt2
instance57679.smt2
instance50037.smt2
instance44360.smt2
instance44808.smt2
instance55321.smt2
instance52452.smt2
instance44400.smt2
instance55347.smt2
instance52048.smt2
instance47695.smt2
instance49233.smt2
instance44052.smt2
instance57284.smt2
instance52910.smt2
instance44401.smt2
instance51087.smt2
instance47687.smt2
instance47773.smt2
instance57100.smt2
instance48750.smt2
instance46592.smt2
instance46478.smt2
instance56837.smt2
instance57014.smt2
instance57456.smt2
instance50394.smt2
instance48656.smt2
instance54529.smt2
instance48539.smt2
instance49471.smt2
instance48591.smt2
instance47584.smt2
instance46227.smt2
instance51723.smt2
instance52429.smt2
instance52869.smt2
instance45426.smt2
instance45605.smt2
instance54471.smt2
instance56596.smt2
instance48449.smt2
instance51652.smt2
instance51289.smt2
instance52733.smt2
instance48193.smt2
instance54938.smt2
instance56926.smt2
instance54376.smt2
instance56512.smt2
instance55250.smt2
instance47232.smt2
instance47104.smt2
instance56738.smt2
instance47125.smt2
instance54085.smt2
instance53169.smt2
instance52075.smt2
instance49438.smt2
instance51628.smt2
instance56173.smt2
instance51189.smt2
instance51343.smt2
instance57788.smt2
instance44240.smt2
instance49524.smt2
instance51704.smt2
instance47539.smt2
instance49713.smt2
instance44179.smt2
instance47918.smt2
instance50923.smt2
instance52744.smt2
instance45753.smt2
instance54614.smt2
instance51014.smt2
instance48926.smt2
instance44930.smt2
instance47076.smt2
instance48603.smt2
instance56245.smt2
instance46236.smt2
instance56435.smt2
instance52486.smt2
instance53984.smt2
instance45227.smt2
instance52104.smt2
instance55829.smt2
instance47085.smt2
instance57903.smt2
instance46726.smt2
instance49922.smt2
instance53945.smt2
instance45064.smt2
instance45040.smt2
instance44125.smt2
instance58104.smt2
instance51561.smt2
instance50466.smt2
instance44990.smt2
instance50649.smt2
instance44160.smt2
instance44980.smt2
instance50833.smt2
instance56472.smt2
instance56343.smt2
instance57248.smt2
instance50724.smt2
instance52119.smt2
instance48470.smt2
instance47725.smt2
instance56744.smt2
instance51347.smt2
instance55686.smt2
instance55942.smt2
instance49858.smt2
instance47890.smt2
instance57221.smt2
instance54224.smt2
instance58540.smt2
instance47202.smt2
instance47654.smt2
instance49705.smt2
instance53014.smt2
instance44173.smt2
instance48897.smt2
instance48485.smt2
instance51596.smt2
instance56107.smt2
instance50790.smt2
instance50267.smt2
instance51375.smt2
instance53393.smt2
instance46223.smt2
instance50454.smt2
instance45048.smt2
instance45171.smt2
instance54575.smt2
instance53027.smt2
instance56475.smt2
instance41232.smt2
instance45225.smt2
instance44796.smt2
instance51221.smt2
instance57564.smt2
instance51156.smt2
instance52218.smt2
instance49929.smt2
instance51696.smt2
instance46837.smt2
instance57548.smt2
instance54358.smt2
instance50927.smt2
instance57156.smt2
instance47902.smt2
instance54969.smt2
instance51677.smt2
instance40028.smt2
instance50900.smt2
instance50628.smt2
instance54856.smt2
instance55371.smt2
instance56948.smt2
instance53644.smt2
instance58430.smt2
instance47330.smt2
instance56528.smt2
instance47289.smt2
instance52362.smt2
instance47868.smt2
instance57824.smt2
instance56509.smt2
instance47388.smt2
instance18816.smt2
instance48573.smt2
instance46308.smt2
instance44155.smt2
instance49918.smt2
instance48896.smt2
instance9147.smt2
instance50470.smt2
instance56119.smt2
instance56020.smt2
instance52858.smt2
instance47834.smt2
instance52311.smt2
instance51875.smt2
instance45760.smt2
instance46942.smt2
instance52173.smt2
instance54960.smt2
instance54158.smt2
instance57466.smt2
instance52149.smt2
instance44265.smt2
instance58468.smt2
instance49817.smt2
instance55861.smt2
instance45149.smt2
instance51174.smt2
instance44486.smt2
instance50535.smt2
instance58451.smt2
instance56384.smt2
instance46005.smt2
instance1309.smt2
instance50137.smt2
instance57553.smt2
instance54088.smt2
instance51556.smt2
instance48072.smt2
instance54445.smt2
instance44305.smt2
instance47788.smt2
instance54715.smt2
instance49798.smt2
instance54062.smt2
instance52183.smt2
instance48967.smt2
instance2904.smt2
instance55023.smt2
instance50324.smt2
instance57280.smt2
instance53625.smt2
instance53002.smt2
instance51884.smt2
instance53408.smt2
instance46540.smt2
instance44567.smt2
instance48525.smt2
instance54774.smt2
instance49096.smt2
instance53615.smt2
instance48905.smt2
instance55088.smt2
instance52410.smt2
instance56290.smt2
instance45553.smt2
instance44640.smt2
instance57927.smt2
instance44126.smt2
instance44446.smt2
instance49393.smt2
instance47363.smt2
instance44190.smt2
instance48285.smt2
instance48641.smt2
instance52507.smt2
instance47718.smt2
instance57730.smt2
instance58152.smt2
instance49012.smt2
instance53795.smt2
instance57718.smt2
instance48933.smt2
instance48481.smt2
instance53337.smt2
instance49291.smt2
instance55497.smt2
instance57364.smt2
instance58400.smt2
instance47644.smt2
instance54178.smt2
instance46952.smt2
instance52967.smt2
instance52164.smt2
instance50525.smt2
instance48462.smt2
instance57778.smt2
instance46471.smt2
instance48435.smt2
instance54066.smt2
instance53843.smt2
instance47334.smt2
instance44061.smt2
instance56626.smt2
instance46583.smt2
instance57516.smt2
instance48741.smt2
instance55027.smt2
instance46074.smt2
instance55667.smt2
instance51136.smt2
instance45899.smt2
instance53821.smt2
instance53392.smt2
instance53928.smt2
instance52005.smt2
instance51729.smt2
instance48723.smt2
instance56908.smt2
instance44902.smt2
instance55860.smt2
instance45868.smt2
instance50136.smt2
instance57271.smt2
instance52358.smt2
instance49621.smt2
instance48122.smt2
instance57645.smt2
instance48945.smt2
instance45365.smt2
instance53968.smt2
instance51542.smt2
instance47576.smt2
instance55059.smt2
instance54449.smt2
instance53151.smt2
instance45534.smt2
instance58325.smt2
instance45720.smt2
instance57116.smt2
instance47843.smt2
instance47443.smt2
instance49136.smt2
instance52789.smt2
instance52144.smt2
instance55782.smt2
instance51491.smt2
instance55385.smt2
instance50234.smt2
instance53097.smt2
instance47929.smt2
instance55695.smt2
instance48224.smt2
instance48433.smt2
instance54672.smt2
instance50214.smt2
instance52950.smt2
instance53040.smt2
instance48208.smt2
instance56274.smt2
instance53365.smt2
instance54941.smt2
instance54488.smt2
instance56795.smt2
instance51237.smt2
instance48937.smt2
instance50348.smt2
instance46119.smt2
instance24782.smt2
instance46906.smt2
instance53705.smt2
instance52320.smt2
instance48582.smt2
instance56029.smt2
instance50637.smt2
instance47290.smt2
instance56031.smt2
instance46105.smt2
instance56363.smt2
instance47441.smt2
instance46749.smt2
instance55787.smt2
instance49634.smt2
instance55197.smt2
instance46612.smt2
instance52026.smt2
instance50607.smt2
instance49932.smt2
instance48228.smt2
instance44989.smt2
instance56668.smt2
instance51708.smt2
instance45339.smt2
instance52477.smt2
instance50668.smt2
instance55592.smt2
instance46820.smt2
instance51103.smt2
instance51238.smt2
instance53937.smt2
instance49723.smt2
instance57222.smt2
instance46088.smt2
instance49810.smt2
instance49952.smt2
instance50780.smt2
instance45200.smt2
instance44178.smt2
instance53252.smt2
instance58133.smt2
instance48550.smt2
instance49084.smt2
instance44725.smt2
instance50521.smt2
instance51022.smt2
instance58173.smt2
instance50660.smt2
instance47519.smt2
instance51163.smt2
instance58555.smt2
instance45802.smt2
instance48961.smt2
instance52572.smt2
instance50082.smt2
instance50269.smt2
instance50838.smt2
instance53178.smt2
instance44618.smt2
instance48081.smt2
instance45342.smt2
instance48780.smt2
instance57626.smt2
instance48088.smt2
instance44929.smt2
instance56650.smt2
instance55650.smt2
instance48730.smt2
instance49016.smt2
instance53583.smt2
instance49834.smt2
instance51463.smt2
instance57558.smt2
instance51059.smt2
instance56446.smt2
instance51264.smt2
instance55832.smt2
instance52209.smt2
instance57926.smt2
instance55466.smt2
instance51994.smt2
instance44747.smt2
instance47127.smt2
instance51400.smt2
instance20549.smt2
instance45134.smt2
instance45049.smt2
instance49371.smt2
instance53910.smt2
instance48175.smt2
instance57114.smt2
instance53440.smt2
instance57676.smt2
instance55103.smt2
instance44997.smt2
instance58213.smt2
instance48548.smt2
instance49173.smt2
instance57455.smt2
instance46162.smt2
instance44745.smt2
instance49211.smt2
instance46365.smt2
instance57298.smt2
instance57992.smt2
instance45002.smt2
instance44673.smt2
instance53128.smt2
instance57489.smt2
instance15073.smt2
instance49797.smt2
instance49525.smt2
instance58520.smt2
instance47938.smt2
instance46641.smt2
instance53454.smt2
instance45863.smt2
instance47802.smt2
instance57411.smt2
instance47619.smt2
instance57584.smt2
instance44463.smt2
instance54423.smt2
instance48558.smt2
instance57797.smt2
instance55636.smt2
instance48962.smt2
instance55784.smt2
instance58102.smt2
instance46755.smt2
instance48928.smt2
instance53497.smt2
instance52896.smt2
instance50210.smt2
instance53841.smt2
instance46422.smt2
instance56798.smt2
instance56904.smt2
instance46257.smt2
instance48427.smt2
instance54041.smt2
instance47347.smt2
instance52463.smt2
instance53035.smt2
instance46356.smt2
instance57942.smt2
instance30657.smt2
instance45620.smt2
instance51437.smt2
instance51324.smt2
instance48168.smt2
instance44769.smt2
instance52132.smt2
instance57085.smt2
instance51448.smt2
instance47457.smt2
instance52978.smt2
instance53439.smt2
instance175.smt2
instance51155.smt2
instance55584.smt2
instance49805.smt2
instance57306.smt2
instance54732.smt2
instance56674.smt2
instance46242.smt2
instance54052.smt2
instance54926.smt2
instance51730.smt2
instance56561.smt2
instance47924.smt2
instance48987.smt2
instance48390.smt2
instance53146.smt2
instance57042.smt2
instance47782.smt2
instance50304.smt2
instance56332.smt2
instance46836.smt2
instance55112.smt2
instance58017.smt2
instance52783.smt2
instance57570.smt2
instance50277.smt2
instance58332.smt2
instance53269.smt2
instance47444.smt2
instance57871.smt2
instance51254.smt2
instance54111.smt2
instance55921.smt2
instance45393.smt2
instance54829.smt2
instance57137.smt2
instance45124.smt2
instance49412.smt2
instance44676.smt2
instance54637.smt2
instance46826.smt2
instance45777.smt2
instance55060.smt2
instance54236.smt2
instance48105.smt2
instance44717.smt2
instance56168.smt2
instance57234.smt2
instance53702.smt2
instance46625.smt2
instance58418.smt2
instance45800.smt2
instance30869.smt2
instance47547.smt2
instance55750.smt2
instance58621.smt2
instance51359.smt2
instance56763.smt2
instance57690.smt2
instance46444.smt2
instance58246.smt2
instance57976.smt2
instance49646.smt2
instance47032.smt2
instance44806.smt2
instance53619.smt2
instance50186.smt2
instance50188.smt2
instance58414.smt2
instance48648.smt2
instance47166.smt2
instance56822.smt2
instance54351.smt2
instance44648.smt2
instance53198.smt2
instance50659.smt2
instance53260.smt2
instance48713.smt2
instance49135.smt2
instance48367.smt2
instance56141.smt2
instance55705.smt2
instance53816.smt2
instance54484.smt2
instance56556.smt2
instance58587.smt2
instance45989.smt2
instance51396.smt2
instance54100.smt2
instance58336.smt2
instance56400.smt2
instance57153.smt2
instance45482.smt2
instance51360.smt2
instance57721.smt2
instance49501.smt2
instance56285.smt2
instance45638.smt2
instance46147.smt2