20220315-MathProblems Benchmarks

Family
NameMathProblems
Generation Date2022-03-15
First Occurrence2022-08-10
Benchmarks1100

Benchmarks

QF_NIA • Charts • Solver Isomap
STC_0067.smt2
STC_0999.smt2
STC_0094.smt2
TA_03.smt2
STC_0782.smt2
STC_0206.smt2
STC_0174.smt2
STC_0553.smt2
STC_0728.smt2
STC_0770.smt2
STC_0887.smt2
STC_0134.smt2
STC_0715.smt2
STC_0664.smt2
STC_0776.smt2
STC_0753.smt2
STC_0959.smt2
TA_08.smt2
STC_0270.smt2
STC_0210.smt2
STC_0331.smt2
SQ_05.smt2
STC_0076.smt2
STC_0670.smt2
STC_0659.smt2
STC_0853.smt2
STC_0339.smt2
STC_0532.smt2
STC_0409.smt2
STC_0788.smt2
STC_0892.smt2
STC_0145.smt2
STC_0179.smt2
STC_0536.smt2
STC_0097.smt2
STC_0907.smt2
STC_0251.smt2
STC_0040.smt2
STC_0662.smt2
STC_0320.smt2
SF_05.smt2
STC_0850.smt2
STC_0561.smt2
STC_0360.smt2
STC_0557.smt2
SF_02.smt2
STC_0930.smt2
MF_08.smt2
STC_0759.smt2
MQ_12.smt2
STC_0993.smt2
STC_0262.smt2
STC_0278.smt2
STC_0541.smt2
STC_0550.smt2
STC_0306.smt2
STC_0130.smt2
STC_0801.smt2
STC_0923.smt2
STC_0605.smt2
STC_0408.smt2
STC_0380.smt2
STC_0430.smt2
STC_0305.smt2
SQ_11.smt2
STC_0902.smt2
STC_0848.smt2
STC_0757.smt2
MC_06.smt2
STC_0655.smt2
STC_0766.smt2
STC_0442.smt2
STC_0979.smt2
STC_0663.smt2
STC_0954.smt2
STC_0569.smt2
STC_0918.smt2
STC_0731.smt2
STC_0847.smt2
STC_0260.smt2
STC_0401.smt2
STC_0352.smt2
STC_0153.smt2
STC_0750.smt2
STC_0597.smt2
STC_0142.smt2
STC_0876.smt2
MQ_07.smt2
STC_0762.smt2
STC_0681.smt2
STC_0284.smt2
MC_03.smt2
STC_0537.smt2
STC_0661.smt2
STC_0530.smt2
STC_0026.smt2
STC_0651.smt2
STC_0772.smt2
STC_0008.smt2
STC_0493.smt2
STC_0755.smt2
STC_0138.smt2
STC_0593.smt2
STC_0169.smt2
STC_0315.smt2
STC_0161.smt2
STC_0205.smt2
STC_0984.smt2
STC_0758.smt2
STC_0268.smt2
STC_0108.smt2
STC_0375.smt2
STC_0895.smt2
STC_0754.smt2
STC_0286.smt2
STC_0513.smt2
STC_0682.smt2
STC_0271.smt2
STC_0058.smt2
STC_0330.smt2
STC_0475.smt2
STC_0228.smt2
STC_0911.smt2
STC_0029.smt2
STC_0596.smt2
STC_0916.smt2
STC_0223.smt2
MC_02.smt2
STC_0623.smt2
STC_0542.smt2
MC_07.smt2
MC_10.smt2
STC_0279.smt2
STC_0602.smt2
STC_0686.smt2
STC_0421.smt2
STC_0006.smt2
STC_0063.smt2
STC_0928.smt2
STC_0337.smt2
STC_0099.smt2
STC_0816.smt2
STC_0884.smt2
STC_0943.smt2
STC_0540.smt2
STC_0685.smt2
SF_11.smt2
STC_0345.smt2
STC_0182.smt2
STC_0031.smt2
STC_0496.smt2
STC_0177.smt2
STC_0622.smt2
STC_0520.smt2
STC_0397.smt2
STC_0267.smt2
STC_0273.smt2
STC_0359.smt2
STC_0791.smt2
STC_0307.smt2
STC_0162.smt2
SF_08.smt2
STC_0431.smt2
STC_0507.smt2
STC_0215.smt2
STC_0244.smt2
STC_0992.smt2
STC_1000.smt2
STC_0044.smt2
STC_0001.smt2
STC_0027.smt2
STC_0428.smt2
STC_0191.smt2
STC_0390.smt2
STC_0936.smt2
STC_0700.smt2
STC_0606.smt2
MC_12.smt2
STC_0467.smt2
STC_0894.smt2
STC_0701.smt2
STC_0981.smt2
STC_0900.smt2
STC_0385.smt2
STC_0457.smt2
MF_06.smt2
STC_0517.smt2
RTA_097.smt2
STC_0974.smt2
STC_0098.smt2
STC_0699.smt2
STC_0113.smt2
STC_0734.smt2
STC_0696.smt2
STC_0618.smt2
STC_0784.smt2
STC_0487.smt2
STC_0994.smt2
STC_0997.smt2
STC_0985.smt2
STC_0272.smt2
STC_0151.smt2
STC_0779.smt2
STC_0977.smt2
SF_09.smt2
STC_0158.smt2
STC_0872.smt2
STC_0906.smt2
STC_0671.smt2
STC_0631.smt2
STC_0212.smt2
STC_0404.smt2
STC_0256.smt2
STC_0242.smt2
STC_0657.smt2
STC_0859.smt2
STC_0697.smt2
STC_0889.smt2
MS_10.smt2
STC_0571.smt2
STC_0283.smt2
SC_07.smt2
STC_0823.smt2
STC_0107.smt2
STC_0817.smt2
STC_0583.smt2
STC_0830.smt2
STC_0719.smt2
STC_0865.smt2
STC_0022.smt2
STC_0248.smt2
STC_0890.smt2
MF_04.smt2
STC_0829.smt2
STC_0172.smt2
STC_0879.smt2
STC_0289.smt2
STC_0377.smt2
STC_0239.smt2
STC_0217.smt2
STC_0492.smt2
STC_0566.smt2
SC_10.smt2
STC_0790.smt2
STC_0628.smt2
STC_0632.smt2
STC_0354.smt2
STC_0394.smt2
STC_0062.smt2
STC_0582.smt2
STC_0091.smt2
STC_0732.smt2
SC_02.smt2
STC_0527.smt2
STC_0854.smt2
STC_0165.smt2
STC_0738.smt2
STC_0525.smt2
STC_0351.smt2
STC_0905.smt2
STC_0350.smt2
STC_0192.smt2
STC_0861.smt2
STC_0760.smt2
STC_0514.smt2
STC_0346.smt2
STC_0824.smt2
MC_11.smt2
STC_0035.smt2
STC_0917.smt2
STC_0524.smt2
STC_0691.smt2
STC_0866.smt2
STC_0522.smt2
STC_0176.smt2
STC_0958.smt2
STC_0535.smt2
MS_07.smt2
STC_0932.smt2
STC_0230.smt2
SQ_06.smt2
STC_0319.smt2
STC_0867.smt2
STC_0213.smt2
STC_0464.smt2
STC_0952.smt2
STC_0231.smt2
STC_0921.smt2
STC_0078.smt2
STC_0453.smt2
STC_0747.smt2
STC_0020.smt2
STC_0034.smt2
STC_0458.smt2
STC_0372.smt2
STC_0238.smt2
STC_0629.smt2
STC_0939.smt2
STC_0473.smt2
STC_0810.smt2
SQ_09.smt2
STC_0523.smt2
STC_0105.smt2
STC_0914.smt2
STC_0871.smt2
SC_05.smt2
STC_0849.smt2
STC_0166.smt2
STC_0703.smt2
RTA_091.smt2
STC_0676.smt2
STC_0945.smt2
STC_0555.smt2
STC_0355.smt2
STC_0118.smt2
STC_0310.smt2
STC_0630.smt2
STC_0708.smt2
STC_0559.smt2
STC_0672.smt2
STC_0607.smt2
STC_0024.smt2
STC_0609.smt2
STC_0204.smt2
STC_0647.smt2
MQ_04.smt2
STC_0148.smt2
STC_0296.smt2
STC_0680.smt2
MC_08.smt2
STC_0147.smt2
STC_0136.smt2
STC_0393.smt2
STC_0600.smt2
MF_10.smt2
STC_0809.smt2
MF_07.smt2
STC_0707.smt2
STC_0785.smt2
TA_01.smt2
STC_0820.smt2
STC_0250.smt2
STC_0498.smt2
STC_0111.smt2
STC_0794.smt2
STC_0562.smt2
MC_05.smt2
STC_0389.smt2
STC_0951.smt2
STC_0141.smt2
STC_0819.smt2
STC_0180.smt2
STC_0577.smt2
STC_0066.smt2
STC_0116.smt2
STC_0095.smt2
STC_0646.smt2
STC_0135.smt2
STC_0857.smt2
STC_0168.smt2
STC_0300.smt2
STC_0761.smt2
STC_0266.smt2
STC_0144.smt2
STC_0846.smt2
STC_0190.smt2
STC_0841.smt2
STC_0249.smt2
STC_0896.smt2
STC_0765.smt2
STC_0114.smt2
STC_0152.smt2
STC_0567.smt2
MC_09.smt2
STC_0456.smt2
STC_0019.smt2
STC_0314.smt2
STC_0119.smt2
STC_0083.smt2
STC_0313.smt2
STC_0160.smt2
STC_0626.smt2
STC_0233.smt2
STC_0454.smt2
STC_0247.smt2
SC_06.smt2
STC_0353.smt2
STC_0831.smt2
STC_0472.smt2
STC_0332.smt2
STC_0383.smt2
STC_0156.smt2
SC_09.smt2
STC_0677.smt2
STC_0226.smt2
STC_0064.smt2
STC_0764.smt2
STC_0518.smt2
STC_0556.smt2
STC_0922.smt2
STC_0714.smt2
STC_0580.smt2
STC_0376.smt2
STC_0203.smt2
MS_09.smt2
TA_07.smt2
RTA_100.smt2
STC_0382.smt2
STC_0173.smt2
STC_0126.smt2
STC_0634.smt2
STC_0309.smt2
STC_0370.smt2
STC_0437.smt2
STC_0855.smt2
STC_0446.smt2
STC_0689.smt2
STC_0619.smt2
STC_0675.smt2
TA_11.smt2
STC_0585.smt2
STC_0769.smt2
STC_0336.smt2
STC_0598.smt2
STC_0604.smt2
STC_0756.smt2
STC_0991.smt2
STC_0361.smt2
STC_0925.smt2
STC_0302.smt2
STC_0415.smt2
STC_0482.smt2
STC_0291.smt2
STC_0227.smt2
STC_0338.smt2
STC_0340.smt2
STC_0827.smt2
STC_0422.smt2
STC_0526.smt2
STC_0545.smt2
STC_0723.smt2
STC_0477.smt2
STC_0030.smt2
STC_0072.smt2
STC_0811.smt2
STC_0462.smt2
STC_0327.smt2
STC_0117.smt2
STC_0363.smt2
STC_0241.smt2
STC_0410.smt2
STC_0970.smt2
STC_0468.smt2
STC_0821.smt2
STC_0056.smt2
STC_0587.smt2
STC_0424.smt2
STC_0832.smt2
TA_04.smt2
STC_0225.smt2
MQ_11.smt2
STC_0207.smt2
STC_0488.smt2
STC_0965.smt2
STC_0129.smt2
STC_0825.smt2
MS_11.smt2
STC_0265.smt2
STC_0032.smt2
SQ_03.smt2
STC_0218.smt2
STC_0667.smt2
STC_0937.smt2
STC_0948.smt2
STC_0712.smt2
STC_0441.smt2
STC_0061.smt2
STC_0718.smt2
STC_0702.smt2
STC_0565.smt2
STC_0491.smt2
STC_0835.smt2
STC_0433.smt2
STC_0365.smt2
STC_0878.smt2
STC_0381.smt2
STC_0495.smt2
STC_0449.smt2
SF_10.smt2
STC_0617.smt2
STC_0308.smt2
STC_0335.smt2
STC_0988.smt2
STC_0798.smt2
STC_0342.smt2
STC_0387.smt2
STC_0413.smt2
STC_0996.smt2
STC_0211.smt2
STC_0277.smt2
STC_0197.smt2
RTA_099.smt2
STC_0742.smt2
STC_0990.smt2
STC_0329.smt2
STC_0726.smt2
STC_0133.smt2
STC_0973.smt2
STC_0688.smt2
STC_0183.smt2
STC_0611.smt2
STC_0982.smt2
STC_0775.smt2
STC_0665.smt2
STC_0057.smt2
STC_0362.smt2
STC_0426.smt2
STC_0014.smt2
MQ_05.smt2
STC_0669.smt2
STC_0198.smt2
STC_0505.smt2
STC_0573.smt2
STC_0420.smt2
STC_0531.smt2
STC_0961.smt2
STC_0638.smt2
STC_0679.smt2
STC_0822.smt2
STC_0940.smt2
STC_0167.smt2
STC_0425.smt2
STC_0709.smt2
STC_0171.smt2
STC_0710.smt2
STC_0603.smt2
STC_0546.smt2
STC_0903.smt2
STC_0763.smt2
STC_0455.smt2
STC_0344.smt2
STC_0880.smt2
STC_0443.smt2
STC_0224.smt2
STC_0194.smt2
STC_0551.smt2
STC_0673.smt2
STC_0674.smt2
STC_0875.smt2
STC_0668.smt2
STC_0405.smt2
STC_0946.smt2
STC_0364.smt2
STC_0297.smt2
STC_0840.smt2
STC_0470.smt2
STC_0021.smt2
STC_0886.smt2
STC_0478.smt2
STC_0751.smt2
STC_0845.smt2
STC_0725.smt2
STC_0653.smt2
STC_0521.smt2
SC_12.smt2
STC_0828.smt2
STC_0915.smt2
STC_0326.smt2
MS_05.smt2
STC_0371.smt2
STC_0826.smt2
STC_0418.smt2
STC_0311.smt2
STC_0069.smt2
STC_0398.smt2
STC_0864.smt2
STC_0051.smt2
STC_0068.smt2
STC_0448.smt2
STC_0786.smt2
STC_0399.smt2
STC_0321.smt2
STC_0253.smt2
STC_0301.smt2
STC_0086.smt2
STC_0122.smt2
STC_0170.smt2
STC_0004.smt2
STC_0568.smt2
STC_0870.smt2
STC_0720.smt2
STC_0998.smt2
STC_0976.smt2
STC_0050.smt2
STC_0576.smt2
STC_0445.smt2
STC_0654.smt2
STC_0392.smt2
STC_0304.smt2
STC_0544.smt2
STC_0924.smt2
STC_0806.smt2
STC_0088.smt2
STC_0199.smt2
STC_0395.smt2
STC_0220.smt2
STC_0293.smt2
STC_0427.smt2
STC_0995.smt2
STC_0953.smt2
STC_0101.smt2
STC_0287.smt2
STC_0015.smt2
STC_0589.smt2
STC_0460.smt2
STC_0196.smt2
STC_0280.smt2
STC_0534.smt2
STC_0883.smt2
STC_0975.smt2
STC_0236.smt2
STC_0711.smt2
STC_0007.smt2
STC_0658.smt2
MF_12.smt2
STC_0219.smt2
STC_0591.smt2
STC_0860.smt2
STC_0983.smt2
STC_0403.smt2
RTA_095.smt2
STC_0010.smt2
STC_0964.smt2
TA_13.smt2
STC_0245.smt2
TA_10.smt2
STC_0814.smt2
STC_0645.smt2
STC_0070.smt2
STC_0157.smt2
MF_09.smt2
STC_0048.smt2
STC_0299.smt2
RTA_093.smt2
STC_0092.smt2
STC_0463.smt2
STC_0558.smt2
STC_0396.smt2
STC_0369.smt2
STC_0275.smt2
STC_0942.smt2
STC_0290.smt2
STC_0391.smt2
STC_0503.smt2
STC_0079.smt2
STC_0090.smt2
STC_0414.smt2
STC_0325.smt2
STC_0971.smt2
STC_0295.smt2
STC_0258.smt2
STC_0616.smt2
STC_0075.smt2
STC_0744.smt2
STC_0181.smt2
STC_0506.smt2
STC_0745.smt2
STC_0595.smt2
STC_0303.smt2
STC_0705.smt2
STC_0724.smt2
STC_0851.smt2
RTA_096.smt2
STC_0096.smt2
STC_0012.smt2
MS_02.smt2
STC_0465.smt2
STC_0435.smt2
STC_0516.smt2
STC_0572.smt2
STC_0560.smt2
STC_0312.smt2
STC_0773.smt2
STC_0374.smt2
STC_0013.smt2
STC_0106.smt2
STC_0043.smt2
STC_0416.smt2
STC_0610.smt2
STC_0736.smt2
STC_0778.smt2
STC_0322.smt2
STC_0740.smt2
STC_0193.smt2
STC_0512.smt2
STC_0011.smt2
STC_0497.smt2
STC_0087.smt2
STC_0131.smt2
STC_0323.smt2
STC_0834.smt2
STC_0783.smt2
STC_0839.smt2
STC_0109.smt2
STC_0103.smt2
STC_0844.smt2
RTA_094.smt2
STC_0081.smt2
STC_0771.smt2
STC_0053.smt2
STC_0743.smt2
STC_0796.smt2
STC_0378.smt2
STC_0807.smt2
STC_0159.smt2
SF_07.smt2
STC_0862.smt2
STC_0904.smt2
MQ_03.smt2
SQ_02.smt2
STC_0739.smt2
STC_0484.smt2
STC_0508.smt2
STC_0494.smt2
STC_0246.smt2
STC_0137.smt2
STC_0459.smt2
STC_0388.smt2
STC_0549.smt2
STC_0003.smt2
STC_0510.smt2
STC_0328.smt2
STC_0813.smt2
STC_0931.smt2
STC_0140.smt2
STC_0252.smt2
STC_0349.smt2
STC_0071.smt2
STC_0621.smt2
STC_0317.smt2
STC_0447.smt2
STC_0586.smt2
STC_0899.smt2
SC_03.smt2
STC_0466.smt2
STC_0189.smt2
STC_0261.smt2
STC_0601.smt2
STC_0411.smt2
STC_0009.smt2
STC_0476.smt2
RTA_098.smt2
STC_0636.smt2
STC_0578.smt2
STC_0613.smt2
STC_0146.smt2
STC_0746.smt2
STC_0528.smt2
STC_0054.smt2
STC_0469.smt2
STC_0935.smt2
STC_0037.smt2
TA_02.smt2
MQ_06.smt2
STC_0752.smt2
STC_0276.smt2
STC_0694.smt2
STC_0575.smt2
STC_0419.smt2
STC_0842.smt2
STC_0539.smt2
MS_03.smt2
STC_0614.smt2
STC_0018.smt2
STC_0704.smt2
STC_0698.smt2
STC_0406.smt2
STC_0269.smt2
STC_0797.smt2
STC_0175.smt2
STC_0036.smt2
STC_0863.smt2
STC_0281.smt2
STC_0235.smt2
STC_0178.smt2
STC_0968.smt2
STC_0969.smt2
STC_0357.smt2
STC_0643.smt2
STC_0590.smt2
STC_0978.smt2
STC_0913.smt2
STC_0808.smt2
STC_0285.smt2
STC_0777.smt2
STC_0660.smt2
STC_0529.smt2
STC_0684.smt2
STC_0025.smt2
STC_0149.smt2
STC_0450.smt2
STC_0084.smt2
SC_08.smt2
STC_0955.smt2
STC_0768.smt2
SF_03.smt2
STC_0490.smt2
STC_0082.smt2
STC_0581.smt2
STC_0358.smt2
STC_0957.smt2
STC_0908.smt2
TA_06.smt2
STC_0187.smt2
STC_0292.smt2
STC_0960.smt2
STC_0221.smt2
STC_0650.smt2
STC_0885.smt2
STC_0838.smt2
MF_02.smt2
STC_0640.smt2
STC_0074.smt2
STC_0898.smt2
STC_0730.smt2
STC_0274.smt2
STC_0642.smt2
STC_0480.smt2
STC_0721.smt2
MF_11.smt2
STC_0334.smt2
STC_0164.smt2
STC_0407.smt2
MF_05.smt2
STC_0208.smt2
STC_0023.smt2
STC_0800.smt2
STC_0874.smt2
STC_0793.smt2
STC_0440.smt2
STC_0787.smt2
STC_0452.smt2
STC_0483.smt2
STC_0500.smt2
STC_0881.smt2
STC_0298.smt2
STC_0963.smt2
STC_0533.smt2
STC_0926.smt2
STC_0438.smt2
STC_0120.smt2
STC_0774.smt2
STC_0202.smt2
STC_0485.smt2
STC_0080.smt2
STC_0348.smt2
STC_0637.smt2
STC_0727.smt2
STC_0155.smt2
STC_0237.smt2
STC_0451.smt2
STC_0767.smt2
STC_0950.smt2
STC_0316.smt2
STC_0564.smt2
STC_0038.smt2
STC_0666.smt2
STC_0729.smt2
STC_0045.smt2
STC_0944.smt2
STC_0471.smt2
STC_0125.smt2
STC_0502.smt2
STC_0209.smt2
STC_0873.smt2
STC_0641.smt2
STC_0852.smt2
STC_0123.smt2
STC_0489.smt2
STC_0461.smt2
STC_0429.smt2
STC_0812.smt2
STC_0222.smt2
STC_0400.smt2
STC_0479.smt2
STC_0379.smt2
STC_0644.smt2
STC_0733.smt2
STC_0127.smt2
STC_0706.smt2
STC_0059.smt2
RTA_092.smt2
STC_0186.smt2
STC_0592.smt2
STC_0257.smt2
STC_0333.smt2
STC_0543.smt2
STC_0781.smt2
STC_0188.smt2
STC_0683.smt2
STC_0836.smt2
STC_0741.smt2
STC_0356.smt2
TA_12.smt2
STC_0804.smt2
STC_0288.smt2
STC_0005.smt2
STC_0049.smt2
STC_0912.smt2
STC_0100.smt2
STC_0017.smt2
STC_0649.smt2
MQ_09.smt2
STC_0947.smt2
STC_0124.smt2
STC_0499.smt2
STC_0367.smt2
STC_0538.smt2
STC_0434.smt2
STC_0115.smt2
STC_0737.smt2
STC_0046.smt2
STC_0552.smt2
STC_0938.smt2
STC_0799.smt2
STC_0060.smt2
STC_0104.smt2
STC_0620.smt2
STC_0891.smt2
STC_0240.smt2
MF_03.smt2
STC_0324.smt2
STC_0294.smt2
STC_0818.smt2
STC_0897.smt2
STC_0263.smt2
STC_0002.smt2
STC_0055.smt2
STC_0815.smt2
STC_0833.smt2
STC_0154.smt2
STC_0373.smt2
STC_0893.smt2
STC_0412.smt2
STC_0243.smt2
STC_0039.smt2
STC_0041.smt2
STC_0692.smt2
STC_0201.smt2
STC_0547.smt2
STC_0869.smt2
MQ_02.smt2
STC_0254.smt2
STC_0888.smt2
MC_04.smt2
MS_12.smt2
STC_0722.smt2
STC_0417.smt2
STC_0121.smt2
MS_06.smt2
MQ_08.smt2
STC_0234.smt2
STC_0877.smt2
STC_0986.smt2
STC_0588.smt2
STC_0933.smt2
STC_0927.smt2
STC_0343.smt2
STC_0858.smt2
STC_0439.smt2
MS_08.smt2
STC_0028.smt2
STC_0624.smt2
STC_0042.smt2
STC_0548.smt2
STC_0214.smt2
STC_0716.smt2
STC_0384.smt2
STC_0693.smt2
STC_0962.smt2
STC_0599.smt2
STC_0065.smt2
SC_04.smt2
TA_05.smt2
STC_0594.smt2
STC_0077.smt2
STC_0802.smt2
STC_0882.smt2
STC_0934.smt2
STC_0563.smt2
SF_04.smt2
STC_0184.smt2
STC_0347.smt2
STC_0608.smt2
STC_0941.smt2
SQ_08.smt2
STC_0856.smt2
STC_0110.smt2
STC_0509.smt2
STC_0639.smt2
STC_0229.smt2
STC_0318.smt2
STC_0635.smt2
STC_0102.smt2
STC_0143.smt2
STC_0795.smt2
STC_0713.smt2
STC_0515.smt2
STC_0033.smt2
STC_0436.smt2
STC_0574.smt2
STC_0282.smt2
SQ_10.smt2
STC_0652.smt2
STC_0949.smt2
STC_0717.smt2
STC_0511.smt2
SF_06.smt2
STC_0987.smt2
STC_0805.smt2
STC_0735.smt2
STC_0444.smt2
STC_0052.smt2
STC_0554.smt2
STC_0967.smt2
STC_0837.smt2
STC_0584.smt2
STC_0625.smt2
STC_0920.smt2
STC_0402.smt2
STC_0929.smt2
STC_0432.smt2
STC_0264.smt2
STC_0200.smt2
STC_0504.smt2
STC_0366.smt2
MS_04.smt2
SQ_12.smt2
STC_0748.smt2
STC_0259.smt2
STC_0486.smt2
STC_0195.smt2
STC_0910.smt2
STC_0579.smt2
STC_0386.smt2
STC_0690.smt2
STC_0232.smt2
STC_0919.smt2
STC_0139.smt2
STC_0972.smt2
STC_0150.smt2
STC_0615.smt2
STC_0792.smt2
STC_0085.smt2
STC_0570.smt2
STC_0073.smt2
STC_0868.smt2
STC_0627.smt2
MQ_10.smt2
STC_0612.smt2
TA_09.smt2
STC_0093.smt2
SF_12.smt2
STC_0695.smt2
STC_0909.smt2
STC_0633.smt2
STC_0687.smt2
STC_0989.smt2
STC_0216.smt2
STC_0481.smt2
STC_0423.smt2
STC_0016.smt2
STC_0656.smt2
STC_0803.smt2
STC_0966.smt2
STC_0341.smt2
STC_0901.smt2
STC_0780.smt2
STC_0843.smt2
STC_0789.smt2
STC_0112.smt2
STC_0163.smt2
STC_0749.smt2
STC_0678.smt2
STC_0089.smt2
STC_0128.smt2
STC_0519.smt2
STC_0047.smt2
STC_0501.smt2
STC_0132.smt2
STC_0956.smt2
SQ_07.smt2
STC_0255.smt2
SQ_04.smt2
STC_0648.smt2
STC_0474.smt2
STC_0368.smt2
STC_0980.smt2
STC_0185.smt2
SC_11.smt2