20230329-woorpje-lu Benchmarks

Family
Namewoorpje-lu
Generation Date2023-03-29
First Occurrence2023-07-06
Benchmarks809

Benchmarks

QF_SChartsSolver Isomap
track02/02_track_3.smt2
track02/02_track_2.smt2
track02/02_track_7.smt2
track02/02_track_1.smt2
track02/02_track_4.smt2
track02/02_track_9.smt2
track02/02_track_6.smt2
track02/02_track_8.smt2
track01/01_track_37.smt2
track02/02_track_5.smt2
track01/01_track_90.smt2
track01/01_track_76.smt2
track01/01_track_175.smt2
track01/01_track_191.smt2
track01/01_track_8.smt2
track01/01_track_167.smt2
track01/01_track_200.smt2
track01/01_track_15.smt2
track01/01_track_184.smt2
track01/01_track_154.smt2
track01/01_track_169.smt2
track01/01_track_75.smt2
track01/01_track_181.smt2
track01/01_track_73.smt2
track01/01_track_179.smt2
track01/01_track_157.smt2
track01/01_track_69.smt2
track01/01_track_176.smt2
track01/01_track_47.smt2
track01/01_track_20.smt2
track01/01_track_24.smt2
track01/01_track_160.smt2
track01/01_track_96.smt2
track01/01_track_10.smt2
track01/01_track_26.smt2
track01/01_track_72.smt2
track01/01_track_130.smt2
track01/01_track_198.smt2
track01/01_track_30.smt2
track01/01_track_81.smt2
track01/01_track_168.smt2
track01/01_track_18.smt2
track01/01_track_64.smt2
track01/01_track_111.smt2
track01/01_track_141.smt2
track01/01_track_197.smt2
track01/01_track_9.smt2
track01/01_track_180.smt2
track01/01_track_88.smt2
track01/01_track_145.smt2
track01/01_track_31.smt2
track01/01_track_188.smt2
track01/01_track_107.smt2
track01/01_track_132.smt2
track01/01_track_140.smt2
track01/01_track_162.smt2
track01/01_track_77.smt2
track01/01_track_192.smt2
track01/01_track_159.smt2
track01/01_track_110.smt2
track01/01_track_129.smt2
track01/01_track_144.smt2
track01/01_track_122.smt2
track01/01_track_13.smt2
track01/01_track_101.smt2
track01/01_track_83.smt2
track01/01_track_22.smt2
track01/01_track_44.smt2
track01/01_track_59.smt2
track01/01_track_34.smt2
track01/01_track_86.smt2
track01/01_track_186.smt2
track01/01_track_174.smt2
track01/01_track_121.smt2
track01/01_track_150.smt2
track01/01_track_196.smt2
track01/01_track_36.smt2
track01/01_track_133.smt2
track01/01_track_60.smt2
track01/01_track_3.smt2
track01/01_track_92.smt2
track01/01_track_56.smt2
track01/01_track_51.smt2
track01/01_track_38.smt2
track01/01_track_139.smt2
track01/01_track_25.smt2
track01/01_track_49.smt2
track01/01_track_112.smt2
track01/01_track_136.smt2
track01/01_track_185.smt2
track01/01_track_94.smt2
track01/01_track_32.smt2
track01/01_track_53.smt2
track01/01_track_119.smt2
track01/01_track_104.smt2
track01/01_track_183.smt2
track01/01_track_16.smt2
track01/01_track_28.smt2
track01/01_track_147.smt2
track01/01_track_114.smt2
track01/01_track_12.smt2
track01/01_track_166.smt2
track01/01_track_189.smt2
track01/01_track_138.smt2
track01/01_track_199.smt2
track01/01_track_120.smt2
track01/01_track_48.smt2
track01/01_track_45.smt2
track01/01_track_155.smt2
track01/01_track_173.smt2
track01/01_track_66.smt2
track01/01_track_93.smt2
track01/01_track_71.smt2
track01/01_track_42.smt2
track01/01_track_27.smt2
track01/01_track_193.smt2
track01/01_track_91.smt2
track01/01_track_19.smt2
track01/01_track_1.smt2
track01/01_track_50.smt2
track01/01_track_172.smt2
track01/01_track_195.smt2
track01/01_track_148.smt2
track01/01_track_152.smt2
track01/01_track_117.smt2
track01/01_track_153.smt2
track01/01_track_102.smt2
track01/01_track_62.smt2
track01/01_track_143.smt2
track01/01_track_109.smt2
track01/01_track_41.smt2
track01/01_track_29.smt2
track01/01_track_125.smt2
track01/01_track_61.smt2
track01/01_track_87.smt2
track01/01_track_99.smt2
track01/01_track_98.smt2
track01/01_track_137.smt2
track01/01_track_124.smt2
track01/01_track_39.smt2
track01/01_track_63.smt2
track01/01_track_194.smt2
track01/01_track_187.smt2
track01/01_track_177.smt2
track01/01_track_43.smt2
track01/01_track_79.smt2
track01/01_track_67.smt2
track01/01_track_128.smt2
track01/01_track_103.smt2
track01/01_track_170.smt2
track01/01_track_158.smt2
track01/01_track_108.smt2
track01/01_track_163.smt2
track01/01_track_135.smt2
track01/01_track_123.smt2
track01/01_track_6.smt2
track01/01_track_151.smt2
track01/01_track_190.smt2
track01/01_track_105.smt2
track01/01_track_74.smt2
track01/01_track_106.smt2
track01/01_track_7.smt2
track01/01_track_115.smt2
track01/01_track_17.smt2
track01/01_track_161.smt2
track01/01_track_54.smt2
track01/01_track_171.smt2
track01/01_track_126.smt2
track01/01_track_82.smt2
track01/01_track_35.smt2
track01/01_track_85.smt2
track01/01_track_118.smt2
track01/01_track_89.smt2
track01/01_track_78.smt2
track01/01_track_97.smt2
track01/01_track_95.smt2
track01/01_track_127.smt2
track01/01_track_164.smt2
track01/01_track_33.smt2
track01/01_track_149.smt2
track01/01_track_142.smt2
track01/01_track_100.smt2
track01/01_track_46.smt2
track01/01_track_52.smt2
track01/01_track_21.smt2
track01/01_track_68.smt2
track01/01_track_116.smt2
track01/01_track_182.smt2
track01/01_track_178.smt2
track01/01_track_113.smt2
track01/01_track_11.smt2
track01/01_track_2.smt2
track01/01_track_40.smt2
track01/01_track_57.smt2
track01/01_track_156.smt2
track01/01_track_58.smt2
track01/01_track_65.smt2
track01/01_track_146.smt2
track01/01_track_4.smt2
track01/01_track_5.smt2
track01/01_track_80.smt2
track01/01_track_165.smt2
track01/01_track_70.smt2
track01/01_track_55.smt2
track01/01_track_131.smt2
track01/01_track_23.smt2
track01/01_track_14.smt2
track01/01_track_84.smt2
track01/01_track_134.smt2
track04/04_track_173.smt2
track04/04_track_178.smt2
track04/04_track_169.smt2
track04/04_track_29.smt2
track04/04_track_56.smt2
track04/04_track_121.smt2
track04/04_track_120.smt2
track04/04_track_117.smt2
track04/04_track_149.smt2
track04/04_track_171.smt2
track04/04_track_185.smt2
track04/04_track_133.smt2
track04/04_track_139.smt2
track04/04_track_12.smt2
track04/04_track_48.smt2
track04/04_track_141.smt2
track04/04_track_96.smt2
track04/04_track_73.smt2
track04/04_track_110.smt2
track04/04_track_70.smt2
track04/04_track_50.smt2
track04/04_track_25.smt2
track04/04_track_137.smt2
track04/04_track_24.smt2
track04/04_track_151.smt2
track04/04_track_112.smt2
track04/04_track_131.smt2
track04/04_track_181.smt2
track04/04_track_84.smt2
track04/04_track_1.smt2
track04/04_track_17.smt2
track04/04_track_125.smt2
track04/04_track_188.smt2
track04/04_track_18.smt2
track04/04_track_87.smt2
track04/04_track_11.smt2
track04/04_track_7.smt2
track04/04_track_76.smt2
track04/04_track_20.smt2
track04/04_track_122.smt2
track04/04_track_156.smt2
track04/04_track_35.smt2
track04/04_track_192.smt2
track04/04_track_80.smt2
track04/04_track_88.smt2
track04/04_track_126.smt2
track04/04_track_54.smt2
track04/04_track_9.smt2
track04/04_track_86.smt2
track04/04_track_179.smt2
track04/04_track_15.smt2
track04/04_track_155.smt2
track04/04_track_167.smt2
track04/04_track_194.smt2
track04/04_track_42.smt2
track04/04_track_166.smt2
track04/04_track_200.smt2
track04/04_track_140.smt2
track04/04_track_33.smt2
track04/04_track_77.smt2
track04/04_track_68.smt2
track04/04_track_51.smt2
track04/04_track_168.smt2
track04/04_track_59.smt2
track04/04_track_154.smt2
track04/04_track_10.smt2
track04/04_track_164.smt2
track04/04_track_31.smt2
track04/04_track_47.smt2
track04/04_track_44.smt2
track04/04_track_130.smt2
track04/04_track_108.smt2
track04/04_track_189.smt2
track04/04_track_85.smt2
track04/04_track_72.smt2
track04/04_track_8.smt2
track04/04_track_184.smt2
track04/04_track_134.smt2
track04/04_track_124.smt2
track04/04_track_129.smt2
track04/04_track_115.smt2
track04/04_track_161.smt2
track04/04_track_177.smt2
track04/04_track_61.smt2
track04/04_track_64.smt2
track04/04_track_148.smt2
track04/04_track_182.smt2
track04/04_track_99.smt2
track04/04_track_183.smt2
track04/04_track_82.smt2
track04/04_track_78.smt2
track04/04_track_196.smt2
track04/04_track_191.smt2
track04/04_track_100.smt2
track04/04_track_104.smt2
track04/04_track_119.smt2
track04/04_track_186.smt2
track04/04_track_157.smt2
track04/04_track_172.smt2
track04/04_track_89.smt2
track04/04_track_123.smt2
track04/04_track_170.smt2
track04/04_track_19.smt2
track04/04_track_55.smt2
track04/04_track_198.smt2
track04/04_track_2.smt2
track04/04_track_195.smt2
track04/04_track_43.smt2
track04/04_track_23.smt2
track04/04_track_197.smt2
track04/04_track_90.smt2
track04/04_track_150.smt2
track04/04_track_180.smt2
track04/04_track_127.smt2
track04/04_track_27.smt2
track04/04_track_57.smt2
track04/04_track_144.smt2
track04/04_track_146.smt2
track04/04_track_36.smt2
track04/04_track_21.smt2
track04/04_track_111.smt2
track04/04_track_114.smt2
track04/04_track_28.smt2
track04/04_track_81.smt2
track04/04_track_193.smt2
track04/04_track_113.smt2
track04/04_track_38.smt2
track04/04_track_41.smt2
track04/04_track_162.smt2
track04/04_track_152.smt2
track04/04_track_174.smt2
track04/04_track_79.smt2
track04/04_track_165.smt2
track04/04_track_62.smt2
track04/04_track_128.smt2
track04/04_track_109.smt2
track04/04_track_98.smt2
track04/04_track_159.smt2
track04/04_track_116.smt2
track04/04_track_26.smt2
track04/04_track_60.smt2
track04/04_track_106.smt2
track04/04_track_132.smt2
track04/04_track_94.smt2
track04/04_track_107.smt2
track04/04_track_93.smt2
track04/04_track_32.smt2
track04/04_track_143.smt2
track04/04_track_101.smt2
track04/04_track_58.smt2
track04/04_track_92.smt2
track04/04_track_65.smt2
track04/04_track_105.smt2
track04/04_track_163.smt2
track04/04_track_97.smt2
track04/04_track_145.smt2
track04/04_track_158.smt2
track04/04_track_83.smt2
track04/04_track_190.smt2
track04/04_track_187.smt2
track04/04_track_153.smt2
track04/04_track_147.smt2
track04/04_track_102.smt2
track04/04_track_52.smt2
track04/04_track_3.smt2
track04/04_track_5.smt2
track04/04_track_67.smt2
track04/04_track_175.smt2
track04/04_track_69.smt2
track04/04_track_142.smt2
track04/04_track_66.smt2
track04/04_track_160.smt2
track04/04_track_37.smt2
track04/04_track_138.smt2
track04/04_track_53.smt2
track04/04_track_13.smt2
track04/04_track_103.smt2
track04/04_track_46.smt2
track04/04_track_75.smt2
track04/04_track_49.smt2
track04/04_track_135.smt2
track04/04_track_199.smt2
track04/04_track_4.smt2
track04/04_track_30.smt2
track04/04_track_136.smt2
track04/04_track_118.smt2
track04/04_track_22.smt2
track04/04_track_176.smt2
track04/04_track_6.smt2
track04/04_track_45.smt2
track04/04_track_95.smt2
track04/04_track_34.smt2
track04/04_track_14.smt2
track04/04_track_91.smt2
track04/04_track_40.smt2
track04/04_track_39.smt2
track03/03_track_108.smt2
track03/03_track_58.smt2
track04/04_track_71.smt2
track04/04_track_74.smt2
track04/04_track_63.smt2
track04/04_track_16.smt2
track03/03_track_26.smt2
track03/03_track_41.smt2
track03/03_track_81.smt2
track03/03_track_128.smt2
track03/03_track_31.smt2
track03/03_track_175.smt2
track03/03_track_149.smt2
track03/03_track_65.smt2
track03/03_track_168.smt2
track03/03_track_92.smt2
track03/03_track_115.smt2
track03/03_track_37.smt2
track03/03_track_71.smt2
track03/03_track_148.smt2
track03/03_track_24.smt2
track03/03_track_70.smt2
track03/03_track_159.smt2
track03/03_track_86.smt2
track03/03_track_192.smt2
track03/03_track_89.smt2
track03/03_track_110.smt2
track03/03_track_10.smt2
track03/03_track_122.smt2
track03/03_track_123.smt2
track03/03_track_98.smt2
track03/03_track_38.smt2
track03/03_track_40.smt2
track03/03_track_80.smt2
track03/03_track_97.smt2
track03/03_track_96.smt2
track03/03_track_160.smt2
track03/03_track_167.smt2
track03/03_track_15.smt2
track03/03_track_7.smt2
track03/03_track_1.smt2
track03/03_track_193.smt2
track03/03_track_124.smt2
track03/03_track_191.smt2
track03/03_track_152.smt2
track03/03_track_63.smt2
track03/03_track_48.smt2
track03/03_track_84.smt2
track03/03_track_74.smt2
track03/03_track_36.smt2
track03/03_track_99.smt2
track03/03_track_68.smt2
track03/03_track_32.smt2
track03/03_track_139.smt2
track03/03_track_67.smt2
track03/03_track_199.smt2
track03/03_track_196.smt2
track03/03_track_93.smt2
track03/03_track_87.smt2
track03/03_track_20.smt2
track03/03_track_112.smt2
track03/03_track_186.smt2
track03/03_track_83.smt2
track03/03_track_11.smt2
track03/03_track_66.smt2
track03/03_track_95.smt2
track03/03_track_137.smt2
track03/03_track_107.smt2
track03/03_track_133.smt2
track03/03_track_131.smt2
track03/03_track_169.smt2
track03/03_track_174.smt2
track03/03_track_91.smt2
track03/03_track_106.smt2
track03/03_track_33.smt2
track03/03_track_177.smt2
track03/03_track_88.smt2
track03/03_track_111.smt2
track03/03_track_3.smt2
track03/03_track_23.smt2
track03/03_track_82.smt2
track03/03_track_118.smt2
track03/03_track_144.smt2
track03/03_track_59.smt2
track03/03_track_62.smt2
track03/03_track_100.smt2
track03/03_track_117.smt2
track03/03_track_104.smt2
track03/03_track_79.smt2
track03/03_track_126.smt2
track03/03_track_44.smt2
track03/03_track_22.smt2
track03/03_track_130.smt2
track03/03_track_187.smt2
track03/03_track_78.smt2
track03/03_track_179.smt2
track03/03_track_170.smt2
track03/03_track_136.smt2
track03/03_track_154.smt2
track03/03_track_113.smt2
track03/03_track_129.smt2
track03/03_track_57.smt2
track03/03_track_180.smt2
track03/03_track_181.smt2
track03/03_track_64.smt2
track03/03_track_116.smt2
track03/03_track_120.smt2
track03/03_track_49.smt2
track03/03_track_77.smt2
track03/03_track_164.smt2
track03/03_track_140.smt2
track03/03_track_76.smt2
track03/03_track_121.smt2
track03/03_track_165.smt2
track03/03_track_101.smt2
track03/03_track_173.smt2
track03/03_track_21.smt2
track03/03_track_195.smt2
track03/03_track_194.smt2
track03/03_track_28.smt2
track03/03_track_158.smt2
track03/03_track_18.smt2
track03/03_track_183.smt2
track03/03_track_47.smt2
track03/03_track_105.smt2
track03/03_track_135.smt2
track03/03_track_151.smt2
track03/03_track_161.smt2
track03/03_track_35.smt2
track03/03_track_109.smt2
track03/03_track_61.smt2
track03/03_track_166.smt2
track03/03_track_73.smt2
track03/03_track_171.smt2
track03/03_track_13.smt2
track03/03_track_141.smt2
track03/03_track_162.smt2
track03/03_track_103.smt2
track03/03_track_145.smt2
track03/03_track_42.smt2
track03/03_track_182.smt2
track03/03_track_72.smt2
track03/03_track_12.smt2
track03/03_track_198.smt2
track03/03_track_52.smt2
track03/03_track_127.smt2
track03/03_track_19.smt2
track03/03_track_146.smt2
track03/03_track_189.smt2
track03/03_track_132.smt2
track03/03_track_200.smt2
track03/03_track_94.smt2
track03/03_track_188.smt2
track03/03_track_46.smt2
track03/03_track_178.smt2
track03/03_track_176.smt2
track03/03_track_155.smt2
track03/03_track_143.smt2
track03/03_track_190.smt2
track03/03_track_4.smt2
track03/03_track_50.smt2
track03/03_track_54.smt2
track03/03_track_138.smt2
track03/03_track_114.smt2
track03/03_track_197.smt2
track03/03_track_142.smt2
track03/03_track_85.smt2
track03/03_track_147.smt2
track03/03_track_14.smt2
track03/03_track_134.smt2
track03/03_track_2.smt2
track03/03_track_153.smt2
track03/03_track_172.smt2
track03/03_track_16.smt2
track03/03_track_34.smt2
track03/03_track_102.smt2
track03/03_track_17.smt2
track03/03_track_184.smt2
track03/03_track_90.smt2
track03/03_track_125.smt2
track03/03_track_51.smt2
track03/03_track_9.smt2
track03/03_track_5.smt2
track03/03_track_27.smt2
track03/03_track_163.smt2
track03/03_track_45.smt2
track03/03_track_39.smt2
track03/03_track_60.smt2
track03/03_track_30.smt2
track03/03_track_69.smt2
track03/03_track_150.smt2
track03/03_track_185.smt2
track03/03_track_119.smt2
track03/03_track_157.smt2
track03/03_track_25.smt2
track03/03_track_156.smt2
track03/03_track_29.smt2
track03/03_track_56.smt2
track03/03_track_8.smt2
track03/03_track_75.smt2
track03/03_track_53.smt2
track03/03_track_43.smt2
track03/03_track_6.smt2
track03/03_track_55.smt2
QF_SLIAChartsSolver Isomap
track05/05_track_141.smt2
track05/05_track_192.smt2
track05/05_track_57.smt2
track05/05_track_96.smt2
track05/05_track_190.smt2
track05/05_track_55.smt2
track05/05_track_70.smt2
track05/05_track_104.smt2
track05/05_track_10.smt2
track05/05_track_78.smt2
track05/05_track_165.smt2
track05/05_track_194.smt2
track05/05_track_147.smt2
track05/05_track_115.smt2
track05/05_track_193.smt2
track05/05_track_127.smt2
track05/05_track_34.smt2
track05/05_track_159.smt2
track05/05_track_16.smt2
track05/05_track_76.smt2
track05/05_track_174.smt2
track05/05_track_85.smt2
track05/05_track_9.smt2
track05/05_track_81.smt2
track05/05_track_131.smt2
track05/05_track_24.smt2
track05/05_track_122.smt2
track05/05_track_66.smt2
track05/05_track_124.smt2
track05/05_track_103.smt2
track05/05_track_19.smt2
track05/05_track_93.smt2
track05/05_track_31.smt2
track05/05_track_173.smt2
track05/05_track_191.smt2
track05/05_track_37.smt2
track05/05_track_164.smt2
track05/05_track_14.smt2
track05/05_track_183.smt2
track05/05_track_108.smt2
track05/05_track_186.smt2
track05/05_track_52.smt2
track05/05_track_146.smt2
track05/05_track_189.smt2
track05/05_track_83.smt2
track05/05_track_138.smt2
track05/05_track_151.smt2
track05/05_track_86.smt2
track05/05_track_45.smt2
track05/05_track_117.smt2
track05/05_track_149.smt2
track05/05_track_121.smt2
track05/05_track_79.smt2
track05/05_track_176.smt2
track05/05_track_18.smt2
track05/05_track_74.smt2
track05/05_track_157.smt2
track05/05_track_91.smt2
track05/05_track_59.smt2
track05/05_track_110.smt2
track05/05_track_113.smt2
track05/05_track_40.smt2
track05/05_track_62.smt2
track05/05_track_195.smt2
track05/05_track_181.smt2
track05/05_track_160.smt2
track05/05_track_6.smt2
track05/05_track_140.smt2
track05/05_track_119.smt2
track05/05_track_67.smt2
track05/05_track_56.smt2
track05/05_track_188.smt2
track05/05_track_92.smt2
track05/05_track_106.smt2
track05/05_track_143.smt2
track05/05_track_178.smt2
track05/05_track_152.smt2
track05/05_track_166.smt2
track05/05_track_87.smt2
track05/05_track_20.smt2
track05/05_track_168.smt2
track05/05_track_1.smt2
track05/05_track_98.smt2
track05/05_track_107.smt2
track05/05_track_73.smt2
track05/05_track_153.smt2
track05/05_track_53.smt2
track05/05_track_139.smt2
track05/05_track_7.smt2
track05/05_track_48.smt2
track05/05_track_172.smt2
track05/05_track_44.smt2
track05/05_track_134.smt2
track05/05_track_162.smt2
track05/05_track_132.smt2
track05/05_track_43.smt2
track05/05_track_105.smt2
track05/05_track_8.smt2
track05/05_track_29.smt2
track05/05_track_94.smt2
track05/05_track_136.smt2
track05/05_track_111.smt2
track05/05_track_200.smt2
track05/05_track_145.smt2
track05/05_track_184.smt2
track05/05_track_179.smt2
track05/05_track_100.smt2
track05/05_track_161.smt2
track05/05_track_71.smt2
track05/05_track_49.smt2
track05/05_track_23.smt2
track05/05_track_170.smt2
track05/05_track_120.smt2
track05/05_track_77.smt2
track05/05_track_5.smt2
track05/05_track_125.smt2
track05/05_track_197.smt2
track05/05_track_142.smt2
track05/05_track_167.smt2
track05/05_track_169.smt2
track05/05_track_88.smt2
track05/05_track_148.smt2
track05/05_track_196.smt2
track05/05_track_112.smt2
track05/05_track_63.smt2
track05/05_track_65.smt2
track05/05_track_177.smt2
track05/05_track_33.smt2
track05/05_track_144.smt2
track05/05_track_185.smt2
track05/05_track_99.smt2
track05/05_track_180.smt2
track05/05_track_3.smt2
track05/05_track_130.smt2
track05/05_track_46.smt2
track05/05_track_4.smt2
track05/05_track_128.smt2
track05/05_track_36.smt2
track05/05_track_82.smt2
track05/05_track_17.smt2
track05/05_track_135.smt2
track05/05_track_21.smt2
track05/05_track_95.smt2
track05/05_track_114.smt2
track05/05_track_187.smt2
track05/05_track_47.smt2
track05/05_track_26.smt2
track05/05_track_156.smt2
track05/05_track_61.smt2
track05/05_track_50.smt2
track05/05_track_60.smt2
track05/05_track_101.smt2
track05/05_track_51.smt2
track05/05_track_69.smt2
track05/05_track_84.smt2
track05/05_track_158.smt2
track05/05_track_123.smt2
track05/05_track_42.smt2
track05/05_track_199.smt2
track05/05_track_154.smt2
track05/05_track_116.smt2
track05/05_track_137.smt2
track05/05_track_54.smt2
track05/05_track_11.smt2
track05/05_track_133.smt2
track05/05_track_171.smt2
track05/05_track_28.smt2
track05/05_track_58.smt2
track05/05_track_155.smt2
track05/05_track_150.smt2
track05/05_track_90.smt2
track05/05_track_89.smt2
track05/05_track_30.smt2
track05/05_track_175.smt2
track05/05_track_182.smt2
track05/05_track_22.smt2
track05/05_track_25.smt2
track05/05_track_163.smt2
track05/05_track_2.smt2
track05/05_track_32.smt2
track05/05_track_109.smt2
track05/05_track_129.smt2
track05/05_track_64.smt2
track05/05_track_39.smt2
track05/05_track_41.smt2
track05/05_track_12.smt2
track05/05_track_13.smt2
track05/05_track_35.smt2
track05/05_track_102.smt2
track05/05_track_118.smt2
track05/05_track_27.smt2
track05/05_track_75.smt2
track05/05_track_198.smt2
track05/05_track_126.smt2
track05/05_track_68.smt2
track05/05_track_80.smt2
track05/05_track_97.smt2
track05/05_track_15.smt2
track05/05_track_72.smt2
track05/05_track_38.smt2